Fwd: Reducing boilerplate

Sylvain Henry hsyl20 at gmail.com
Fri Mar 11 20:59:10 UTC 2016

Hi Ben,

Thanks for your answer. No problem, I can wait.

With this proposal, we would have a really nice story about doing FFI
with GHC. I've been playing with DataKinds and other type-related
extensions for a few days (thanks to everyone involved in implementing
them!) and this extension would remove the last glitch:
Btw, the Vector part is inspired from what you did here:
https://github.com/expipiplus1/vulkan/pull/1 (thanks!)


2016-03-11 16:51 GMT+01:00 Ben Gamari <ben at well-typed.com>:
> Sylvain Henry <hsyl20 at gmail.com> writes:
>> Hi devs,
>> I would like to add the support for the following automatic
>> instance-deriving extension:
> Hi Sylvain,
> I suspect the person most qualified to answer these questions will be
> Simon who is currently in the middle of paper-writing season.
> Consequently, it may be a while until he is able to answer. That being
> said, I'm quite happy to hear that someone is thinking about these
> proposals.
> Cheers,
> - Ben

More information about the ghc-devs mailing list