Re: Fwd: Reducing boilerplate

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: https://github.com/hsyl20/ViperVM/blob/master/WritingBindings.md Btw, the Vector part is inspired from what you did here: https://github.com/expipiplus1/vulkan/pull/1 (thanks!) Cheers, Sylvain 2016-03-11 16:51 GMT+01:00 Ben Gamari :

Sylvain Henry 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