4 ms·

Thanks for a better explanation than I could have written myself. I also like this page as a more basic introduction to type systems: http://blogs.perl.org/use

Thanks for a better explanation than I could have written myself. I also like this page as a more basic introduction to type systems: http://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html http://blogs.perl.org/users/ovid/2010/08/what-to-know-before...

ionfish 16y ago
From a PL perspective, you can't beat Benjamin Pierce's Types and Programming Languages. http://www.cis.upenn.edu/~bcpierce/tapl/ http://www.cis.upenn.edu/~bcpierce/tapl/
- joelburget 16y ago
  Agreed.