Classes have finished for the year, and I finally have some time to get real work done! One of the whole host of things I got involved with this semester was working on designing a new programming language with my friend Alex Marquez.
One of the major hurdles for me is that a new type system is core to the language, and that type system uses all sorts of techniques that I’m unfamiliar with. Type inference, pure functional style, reification, currying, kinds (type of types) and many other things I now vaguely understand with from talking about the language with Alex, but there’s certainly a long way to go.
So I decided to rectify that by giving a shot at Haskell, that crazy, purely functional language with monads and all sorts of interesting things. I’m working through a collection of resources now, and thought I’d collect them here for others to start from.