News for hackers. Stuff that matters.

A comment on Why Don't People Use Formal Methods?. Parent comment

Re:Why Don't People Use Formal Methods? by chii on Tuesday January 22, 2019 @07:38AM (#18967813)
Or, don't split between primitives vs objects.

I think it's a mistake to make thet distinction in many language's design.

[ Parent | on HN ]
Re:Why Don't People Use Formal Methods? by Retra on Tuesday January 22, 2019 @10:22AM (#18968850)
The result of that will not be easy to use objects, but hard to use primitives.
[ Parent | on HN ]