Michael Sloan

posts about software


Type-Directed Permutation of Function Parameters

Variadic functions + unordered application. Read

Custom Type Errors for Unordered Function Application

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

Polymorphic Type-Directed Function Application

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

Unordered Function Application In Haskell

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


Inspecting Haskell Instance Resolution

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


Listening to podcasts along with music, on Android

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

GHCinception: Running GHCi in GHCi

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.