undefined | Better HN

0 pointsjnbiche12y ago0 comments

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.

0 comments

1 comments · 1 top-level

jcurbo12y ago

Thanks, those are good links too. I seem to recall seeing something similar to the first link, except in Haskell, but I can't seem to find it right now.

j / k navigate · click thread line to collapse