[ghc-steering-committee] Please review #696: Splitting out stable interfaces from template-haskell

[Moritz Angermann]

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.

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.

- moritz

On Mon, Jun 23, 2025 at 10:39 PM Malte Ott via ghc-steering-committee <
ghc-steering-committee at haskell.org> wrote:

> I agree. I like this.
>
> On 2025-06-23 10:06, Matthías Páll Gissurarson via ghc-steering-committee
> wrote:
> >    I think it's reasonable and well thought out. I vote accept.
> >
> >    On Mon, 23 Jun 2025 at 07:55, Sebastian Graf via
> ghc-steering-committee
> >    <[1]ghc-steering-committee at haskell.org> wrote:
> >
> >    Dear Committee,
> >
> >    With their proposal, Teo wants to reduce the maintenance cost for
> >    packages (such as `containers`) that depend on `template-haskell` only
> >    for comparatively stable APIs (`Lift`, quasiquoting), by carving out
> >    separate packages for these stable APIs.
> >    These so-called "type (A) clients" constitute a considerable share of
> >    all clients of `template-haskell`. It is a well-written proposal
> >    outlining a simple solution with a great cost/benefit ratio.
> >    I recommend we accept it.
> >
> >    Cheers,
> >    Sebastian
> >
> >    Am Mo., 16. Juni 2025 um 09:17 Uhr schrieb Adam Gundry via
> >    ghc-steering-committee <[2]ghc-steering-committee at haskell.org>:
> >
> >      Dear Committee,
> >
> >      Teo Camarasu proposes to split out smaller, more coherent packages
> >      with
> >      more stable interfaces from the template-haskell package:
> >
> >      [3]https://github.com/ghc-proposals/ghc-proposals/pull/696
> >      [4]
> https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-qua
> >      siquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst
> >
> >      I'd like to nominate Sebastian as the shepherd.
> >
> >      Please guide us to a conclusion as outlined in
> >      [5]https://github.com/ghc-proposals/ghc-proposals#committee-process
> >
> >      Cheers,
> >
> >      Adam
> >
> >      --
> >      Adam Gundry, Haskell Consultant
> >      Well-Typed LLP, [6]https://www.well-typed.com/
> >
> >      Registered in England & Wales, OC335890
> >      27 Old Gloucester Street, London WC1N 3AX, England
> >      _______________________________________________
> >      ghc-steering-committee mailing list
> >      [7]ghc-steering-committee at haskell.org
> >      [8]
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-co
> >      mmittee
> >
> >      _______________________________________________
> >      ghc-steering-committee mailing list
> >      [9]ghc-steering-committee at haskell.org
> >      [10]
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-c
> >      ommittee
> >
> >    --
> >
> >    --  [11]Matthías Páll Gissurarson
> >
> > References
> >
> >    1. mailto:ghc-steering-committee at haskell.org
> >    2. mailto:ghc-steering-committee at haskell.org
> >    3. https://github.com/ghc-proposals/ghc-proposals/pull/696
> >    4.
> https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst
> >    5. https://github.com/ghc-proposals/ghc-proposals#committee-process
> >    6. https://www.well-typed.com/
> >    7. mailto:ghc-steering-committee at haskell.org
> >    8.
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> >    9. mailto:ghc-steering-committee at haskell.org
> >   10.
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> >   11. http://mpg.is/
>
> > _______________________________________________
> > ghc-steering-committee mailing list
> > ghc-steering-committee at haskell.org
> > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20250624/d14457c7/attachment.html>