Types and Kinds is an opportunity for me to share the various and rambling thoughts I have. Some of these thoughts will lead to more thoughts (and perhaps even blog posts), and some won’t. Most of the thoughts will relate to type systems, especially Haskell’s evolving type system. I make no guarantees at all to keep this blog up-to-date in any way, but I will try to post here when something interesting comes up. If there is an idea here that interests you, please get in touch — I’d love to collaborate on developing any of these ideas further. Thanks for reading!
I use the tool BlogLiterately to produce my Haskell-related posts. I highly recommend it.
Types and Kinds 