Welcome!

This is my home on the internet. You can find my writing on software topics, contact information, resume, and other interests.

Latest Blog Posts

The type of (fmap . fmap)

Another unification exercise

Read More ...
August 30th, 2021

Readers on Readers

Dealing with a monad transformer stack of Readers, with different environment requirements

Read More ...
August 15th, 2021

Solving a Type Error - Couldn't Match Type

A walkthrough of a type mismatch error in GHC

Read More ...
July 31st, 2021

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 ...
May 17th, 2020