News for hackers. Stuff that matters.

A comment on What I Want from a Type System (2016). Parent comment

Re:What I Want from a Type System (2016) by z3t4 on Monday July 01, 2019 @02:19PM (#20328179)
To take it one step further, why does it need to have a type? Why can't the compiler just figure it out?
[ Parent | on HN ]
Re:What I Want from a Type System (2016) by golergka on Monday July 01, 2019 @03:10PM (#20328699)
Because a compiler can't figure out your business requirements?
[ Parent | on HN ]