<div dir="ltr"><div>I understand that some details are lacking. But I don't think, whatever the details are, that they will affect my opinion of the proposal: they are over my knowledge of Template Haskell.</div><div><br></div><div>This proposal seems well motivated. So, I'll count as an accept vote, when the details are eventually sorted out.<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Nov 5, 2019 at 10:45 PM Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I'm in the same camp as Simon here -- I'm still a little murky on how `Code` will interact with `Q`.<br>
<br>
Richard<br>
<br>
> On Nov 5, 2019, at 5:23 PM, Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>> wrote:<br>
> <br>
> I'm basically supportive, but would like to see answers to my recent questions incorporated in the proposal before it is accepted.<br>
> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/195#issuecomment-547522510" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/195#issuecomment-547522510</a><br>
> <br>
> Simon<br>
> <br>
> <br>
> | -----Original Message-----<br>
> | From: ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank">ghc-steering-committee-bounces@haskell.org</a>><br>
> | On Behalf Of Iavor Diatchki<br>
> | Sent: 05 November 2019 16:44<br>
> | To: ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
> | Subject: [ghc-steering-committee] #195 recommendation: accept<br>
> | <br>
> | Hello everyone,<br>
> | <br>
> | I am the shepherd for pull request #195 to wrap `Q (TExtp a)` into a<br>
> | newtype synonym `Code a`. The main change to the language is that the<br>
> | special Template Haskell notation for typed splices will will work<br>
> | with `Code a` rather than `Q (TExtp a)`.<br>
> | <br>
> | The benefit of having the newtype is that it makes it possible to<br>
> | abstract over `Code`. For example, you can work with typed name<br>
> | environments like `MapF Name Code`, where `MapF` is an "indexed"<br>
> | variant of `Map` which maps `Name a` to `Code a` (`MapF` is defined in<br>
> | package `parameterized-utils` on hackage).<br>
> | <br>
> | Making typed TH work with `Code` directly avoids the need to<br>
> | constantly switch between `Code` and `Q (TExp a)` and with the new<br>
> | system users of typed TH are not likely to deal with the latter much<br>
> | at all.<br>
> | <br>
> | For these reasons I recommend that we accept this proposal. Please<br>
> | let me know if you think otherwise.<br>
> | <br>
> | -Iavor<br>
> | _______________________________________________<br>
> | ghc-steering-committee mailing list<br>
> | <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> | <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.has" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.has</a><br>
> | <a href="http://kell.org" rel="noreferrer" target="_blank">kell.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-<br>
> | committee&data=02%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7Ce2fd3cfd09334b865fb<br>
> | 308d7620f5a8c%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637085690437517<br>
> | 136&sdata=Qug9nwlVpQIY2U6jw%2FXKOnPpNPfiG6EAfWgv%2BTOJ4e0%3D&reser<br>
> | ved=0<br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>