4 ms·
What's wrong to think that types are important? From mathematical point of view, types are interpreted as theorem statements and functions(values) that typechec
by hiker 12y ago
What's wrong to think that types are important? From mathematical point of view, types are interpreted as theorem statements and functions(values) that typecheck are considered proofs of those theorems. Types are fundamental.
See Curry-Howard correspondence http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspond... or, if feeling adventurous, Homotopy type theory dubbed to be a new foundation of mathematics: http://en.wikipedia.org/wiki/Homotopy_type_theory http://en.wikipedia.org/wiki/Homotopy_type_theory and http://homotopytypetheory.org/ http://homotopytypetheory.org/
- bkeroack 12y agoI don't disagree. I'm not saying types are bad or unneeded, simply that they can be overused. I think we are encouraged to use types to solve so many problems because they're one of the few things that compilers can easily check, rather than because types are the optimal solution.