Type checker plugins

Adam Gundry adam at well-typed.com
Fri Sep 12 16:41:59 UTC 2014

Hi folks,

Those of you at HIW last week might have been subjected to my lightning
talk on plugins for the GHC type checker, which should allow us to
properly implement nifty features like units of measure or type-level
numbers without recompiling GHC. I've written up a wiki page summarising
the idea:


Feedback is very welcome, particularly if (a) you have an interesting
use for this feature or (b) you think this is a terrible idea!



Adam Gundry, Haskell Consultant
Well-Typed LLP, http://www.well-typed.com/

More information about the Glasgow-haskell-users mailing list