A programmer with an interest in programming languages and types. Haskeller for fun.

Home

Recent Posts

Variance and Subtyping

Variance is a concept in type systems, especially those with subtyping. Keeping variance in mind when working with advanced type-level machinery in languages...

Installing Haskell in Current Year

After seeing first-timers fail to install GHC in various ways, I decided to write a quick guide on how to install Haskell. The point of this post won’t be on...