News for hackers. Stuff that matters.

A comment on Code is Engineering; Types are Science.

Re:Code is Engineering; Types are Science by kazinator on Monday April 06, 2020 @11:06AM (#22794379)
Types are Science. Static types are theoretical science. Dynamic types are empirical science.
[ Parent | on HN ]

There are no comments on this comment yet.