Michael Sloan

posts about software
(see also posts about ergonomics)

Variadic functions + unordered application. Read

Better type errors via GHC's custom type errors. Read

GHC plugin to choose a "best-match" parameter type. Read

Type system tricks to implement type-directed function application. Read

A sketch of how Haskell instance resolution errors could be improved. Read

A couple tips for listening to podcasts and music simultaneously. Read

My patches were merged, allowing GHC to be loaded into GHCi and run! Read

I hope you found something interesting or helpful!
If you like, you can subscribe to my Atom feed.