Great. Is there a clearly-articulated design on a wiki page?
Simon
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of
| Sylvain Henry
| Sent: 11 March 2016 20:59
| To: Ben Gamari
| Cc: ghc-devs@haskell.org
| Subject: 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
| >
| _______________________________________________
| ghc-devs mailing list
| ghc-devs@haskell.org
| https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.ha
| skell.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-
| devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c8bc41138302f4cc4
| 696e08d349efffd6%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=hSoMQAHQ8
| E5aWPa%2fK8FXsKcKoUUn7Xv6%2ftpaEX0%2b01M%3d
