News for hackers. Stuff that matters.

A comment on Code is Engineering; Types are Science. Parent comment

[dead]
Re:Code is Engineering; Types are Science by treeman79 on Monday April 06, 2020 @08:04AM (#22792947)
Seen type systems cripple a team before. Less stupid compiler errors. Far more logic bugs.

Typescript specifically. But web pages are a different mindset than most domains.

[ Parent | on HN ]
Re:Code is Engineering; Types are Science by jonnypotty on Monday April 06, 2020 @08:20AM (#22793048)
How do you see the mindset being different?
[ Parent | on HN ]
Re:Code is Engineering; Types are Science by treeman79 on Monday April 06, 2020 @11:01PM (#22799994)
Artsy programmers vs functional programmer.
[ Parent | on HN ]