wow i would actually really like to switch from GitHub Pages for my programming stuff, but Substack doesn’t let you use markdown? absolutely not what about embedding a gist: ah well the unicode character thing is really unfortunate main :: IO () main = do putStrLn "really, no…
This is Overcoming Software, a newsletter about thoughts on Haskell and other software concerns.
This is a really brief post to call out a nice trick for providing users a nice migration message when you delete a constructor in a sum type. The…
Everyone loves Haskell because it makes concurrent programming so easy! forkIO is great, and you’ve got STM and MVar and other fun tools that are…
Apparently, I’ve spent my entire life with a condition called “femoracetabular impingement.” The bones in my hips are deformed - the femoral neck is too…
Exceptions kind of suck in Haskell. You don’t get a stack trace. They don’t show up in the types of functions. They incorporate a subtyping mechanism…
I’m moving the programming stuff over to https://overcoming.software. Well, I will at some point in the future. But I don’t want to break links. So I…
RankNTypes is a language extension in Haskell that allows you to write even more polymorphic programs. The most basic explanation is that it allows the…
See all

Overcoming Software