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 mannykannot on Monday April 06, 2020 @08:52AM (#22793254)
I like the way you think, but maybe it can be flipped around: types are engineering, and code is... assembly? fabrication? Putting together a product is still part of engineering, but it is not called engineering if it is done on a 'try it and see' basis.
[ Parent | on HN ]
Re:Code is Engineering; Types are Science by jonfw on Monday April 06, 2020 @09:45AM (#22793619)
Code is more like hot rodding- you throw stuff together, making design decisions by the seat of your pants except for a high level plan (which stays very malleable)

It's very different than the 'conventional' engineering that goes into building a competitive race car

[ Parent | on HN ]