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 @10:54AM (#22794253)
Counterpoint: code is scripture; types are religion.
[ Parent | on HN ]
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 ]