Type checker plugins

Carter Schonwald carter.schonwald at gmail.com
Mon Oct 6 18:53:35 UTC 2014


yay :)

On Mon, Oct 6, 2014 at 2:42 PM, Iavor Diatchki <iavor.diatchki at gmail.com>
wrote:

> Hi Adam,
>
> I am back from vacation, and I think I should have some time to try to
> implement something along these lines.
>
> Cheers,
> -Iavor
>
> On Fri, Sep 12, 2014 at 9:41 AM, Adam Gundry <adam at well-typed.com> wrote:
>
>> 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:
>>
>> https://ghc.haskell.org/trac/ghc/wiki/Plugins/TypeChecker
>>
>> Feedback is very welcome, particularly if (a) you have an interesting
>> use for this feature or (b) you think this is a terrible idea!
>>
>> Thanks,
>>
>> Adam
>>
>>
>> --
>> Adam Gundry, Haskell Consultant
>> Well-Typed LLP, http://www.well-typed.com/
>>
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141006/67d1e31f/attachment.html>


More information about the Glasgow-haskell-users mailing list