Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Code is Engineering; Types are Science. Parent comment
Types are not just an engineering technology, they are a QA tool.
(also, at no stage have you provided an example for such "more elegant" statements)
There are no comments on this comment yet.
Types are not just an engineering technology, they are a QA tool.
(also, at no stage have you provided an example for such "more elegant" statements)