This is my home on the internet. You can find my writing on software topics, contact information, resume, and other interests.
Readers on Readers
Dealing with a monad transformer stack of Readers, with different environment requirements
Read More ...Solving a Type Error - Couldn't Match Type
A walkthrough of a type mismatch error in GHC
Read More ...Haskell Typeclasses & Dependency Injection
In this post, we take a look at Haskell Typeclasses as dependency injection on steroids.
Read More ...Type-Level Programming In Haskell - GADTs
This is the second post in a series about type-level programming in Haskell
Read More ...Type-Level Programming In Haskell - Phantom Types
This is the first post in a series about type-level programming in Haskell
Read More ...Initial Commit
In this post, I lay out my rationale for shipping this website as is, warts and all!
Read More ...