RE: Fwd: Reducing boilerplate

[Ben Gamari]

Simon Peyton Jones  writes:

> Great.  Is there a clearly-articulated design on a wiki page?
>
The design for the relevant GHC extension is here [1].

Cheers,

- Ben


[1] https://ghc.haskell.org/trac/ghc/wiki/InstanceTemplates



signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

RE: Fwd: Reducing boilerplate

[Simon Peyton Jones]

Great.  Is there a clearly-articulated design on a wiki page?

Simon

|  -Original Message-
|  From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
|  Sylvain Henry
|  Sent: 11 March 2016 20:59
|  To: Ben Gamari <b...@well-typed.com>
|  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 <b...@well-typed.com>:
|  > Sylvain Henry <hsy...@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
|  >
|  ___
|  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=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7c8bc41138302f4cc4
|  696e08d349efffd6%7c72f988bf86f141af91ab2d7cd011db47%7c1=hSoMQAHQ8
|  E5aWPa%2fK8FXsKcKoUUn7Xv6%2ftpaEX0%2b01M%3d
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Fwd: Reducing boilerplate

[Sylvain Henry]

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
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Fwd: Reducing boilerplate

[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



signature.asc
Description: PGP signature
___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs