plzoo

Thanks for the links -- wish I could take those courses in person. I haven't found anything like SICP (thus my question), but I feel compelled to mention two great practical repos I discovered yesterday thanks to HN, both of which are teaching me a lot about practical type systems: 1. https://github.com/tomprimozic/type-systems (great practical intro to Hindley-Milner and variations) 2. https://github.com/typeclassy/plzoo (collection of mini languages implemented in OCaml, many of which feature different type systems) Edit: Can't reply to jcurbo yet, but I'd be really interested in that Haskell link if you can remember it.

Well, the purpose of this project is purely to experiment with type systems, so this is far from a programming language (e.g. in a real compiler, you would want to save file/line information for AST nodes, so that the type-checker can report an error, not simply abort. Also, a compiler would not just type-infer/check the AST, but would annotate the AST with inferred types, so that they can be used in later stages (optimization, ...)). Shoot me an email if you need help with something. Also, check out [1]. > Please consider putting out a donation link so people can support your work (Bitcoin would be most convenient for me, but I'll definitely try to donate regardless). I'd prefer comments/bugs/interesting discussion. > Also, some kind of open source license would be great (MIT or BSD, maybe?). I'll do that ASAP, in the meantime, it's publ