What I Want from a Type System (2016)

Re:What I Want from a Type System (2016) by golergka on Monday July 01, 2019 @09:55AM (#20325246)

But why would you use the type "string" in the first place, instead of declaring a type "name"?

[ Parent | on HN ]

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 ]