News for hackers. Stuff that matters.

A comment on Code is Engineering; Types are Science. Parent comment

Re:Code is Engineering; Types are Science by OJFord on Monday April 06, 2020 @11:21AM (#22794506)
I don't understand this dichotomy - type checking vs. all other static analysis? Or unchecked types vs. static analysis without types? Or something else?
[ Parent | on HN ]

There are no comments on this comment yet.