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 AnimalMuppet on Monday April 06, 2020 @12:22PM (#22795010)
That doesn't seem quite right to me. Maybe code is sermons, types are scripture? Or even code is a religious person's lived-out life, and types are scripture?
[ Parent | on HN ]

There are no comments on this comment yet.