About this blog

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.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s