3 ms·
Making incorrect states impossible to represent is exactly what type systems are about. If you're still thinking in terms of something that's basically checking
by cylon13 6y ago
Making incorrect states impossible to represent is exactly what type systems are about. If you're still thinking in terms of something that's basically checking units, I'd recommend experiencing a more advanced type system like Haskell, at least for a few hundred or thousand lines of code. C or Java are terrible examples of what a type system is capable of.
- morelisp 6y agoIt's extremely formalized, but at least for me the foundation I always come back to to try to explain type systems is the taxonomy in chapter 1 of Stepanov and McJones's Elements of Programming[0]. Type systems help ensure your binary data are well-formed value (and your bits are numbers, your numbers are temperatures, etc. up various hierarchies). I find this is more convincing initially for mechanically sympathetic programmers (including myself) than any taxonomy of endofunctors. [0] http://elementsofprogramming.com/ http://elementsofprogramming.com/
- cylon13 6y agoThis is awesome, thanks for the resource!