<div dir="auto">While I’d rather see us burn TH outright to the ground, I’ve had some good discussions with Teo at ZuriHac as well and applaud his efforts to try to make the status quo at least somewhat better.</div><div dir="auto"><br></div><div dir="auto">I’m still afraid that any proliferation of TH is problematic, yet this is a pragmatic approach going into the right direction given the current situation.</div><div dir="auto"><br></div><div dir="auto">- moritz</div><div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Mon, Jun 23, 2025 at 10:39 PM Malte Ott via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I agree. I like this.<br>
<br>
On 2025-06-23 10:06, Matthías Páll Gissurarson via ghc-steering-committee wrote:<br>
> I think it's reasonable and well thought out. I vote accept.<br>
> <br>
> On Mon, 23 Jun 2025 at 07:55, Sebastian Graf via ghc-steering-committee<br>
> <[1]<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>> wrote:<br>
> <br>
> Dear Committee,<br>
> <br>
> With their proposal, Teo wants to reduce the maintenance cost for<br>
> packages (such as `containers`) that depend on `template-haskell` only<br>
> for comparatively stable APIs (`Lift`, quasiquoting), by carving out<br>
> separate packages for these stable APIs.<br>
> These so-called "type (A) clients" constitute a considerable share of<br>
> all clients of `template-haskell`. It is a well-written proposal<br>
> outlining a simple solution with a great cost/benefit ratio.<br>
> I recommend we accept it.<br>
> <br>
> Cheers,<br>
> Sebastian<br>
> <br>
> Am Mo., 16. Juni 2025 um 09:17 Uhr schrieb Adam Gundry via<br>
> ghc-steering-committee <[2]<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>:<br>
> <br>
> Dear Committee,<br>
> <br>
> Teo Camarasu proposes to split out smaller, more coherent packages<br>
> with<br>
> more stable interfaces from the template-haskell package:<br>
> <br>
> [3]<a href="https://github.com/ghc-proposals/ghc-proposals/pull/696" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/696</a><br>
> [4]<a href="https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-qua" rel="noreferrer" target="_blank">https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-qua</a><br>
> siquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst<br>
> <br>
> I'd like to nominate Sebastian as the shepherd.<br>
> <br>
> Please guide us to a conclusion as outlined in<br>
> [5]<a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br>
> <br>
> Cheers,<br>
> <br>
> Adam<br>
> <br>
> --<br>
> Adam Gundry, Haskell Consultant<br>
> Well-Typed LLP, [6]<a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
> <br>
> Registered in England & Wales, OC335890<br>
> 27 Old Gloucester Street, London WC1N 3AX, England<br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> [7]<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> [8]<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-co" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-co</a><br>
> mmittee<br>
> <br>
> _______________________________________________<br>
> ghc-steering-committee mailing list<br>
> [9]<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> [10]<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-c" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-c</a><br>
> ommittee<br>
> <br>
> --<br>
> <br>
> -- [11]Matthías Páll Gissurarson<br>
> <br>
> References<br>
> <br>
> 1. mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> 2. mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> 3. <a href="https://github.com/ghc-proposals/ghc-proposals/pull/696" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/696</a><br>
> 4. <a href="https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst" rel="noreferrer" target="_blank">https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst</a><br>
> 5. <a href="https://github.com/ghc-proposals/ghc-proposals#committee-process" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals#committee-process</a><br>
> 6. <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
> 7. mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> 8. <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>
> 9. mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
> 10. <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>
> 11. <a href="http://mpg.is/" rel="noreferrer" target="_blank">http://mpg.is/</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>
<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></div>