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

Arnaud Spiwack arnaud.spiwack at tweag.io
Tue Jul 1 08:31:57 UTC 2025


I did post a couple of reservations on the issue. But whatever we end up
deciding, I'm in favour anyway. They're, I suppose, a bit on the
bikeshedding side. Worth spending a little bit of time on, but not too much.

On Mon, 30 Jun 2025 at 17:27, Sebastian Graf via ghc-steering-committee <
ghc-steering-committee at haskell.org> wrote:

> I think the renaming proposed by Adam is uncontroversial and I will
> include this revision when accepting the proposal.
>
> Am Do., 26. Juni 2025 um 10:25 Uhr schrieb Adam Gundry <
> adam at well-typed.com>:
>
>> I'm also in favour.
>>
>> I am suggesting some small naming changes, and I would point out one
>> detail on which the committee may have opinions as to bikeshed colour,
>> namely the module namespace to be used by the new packages. Teo proposes
>>
>>    template-haskell-lift with module TemplateHaskell.Lift
>>    template-haskell-quasiquote with module TemplateHaskell.Quasiquoter
>>
>> and I suggest slightly tweaking the latter to
>>
>>    template-haskell-quasiquoter with module TemplateHaskell.QuasiQuoter
>>
>> for consistency with the QuasiQuoter type name.
>>
>> In both cases, the module name is in a new TemplateHaskell module
>> hierarchy, whereas the existing template-haskell package uses the
>> Language.Haskell.TH module hierarchy. I think a renaming is in order,
>> because it gives a clear distinction between the historic API of the old
>> template-haskell package and the cleaned up APIs of the new packages.
>> Personally I like the new names, but I wanted to check others are also
>> happy with them?
>>
>> Cheers,
>>
>> Adam
>>
>>
>>
>> On 23/06/2025 08:55, Sebastian Graf 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 <ghc-steering-committee at haskell.org
>> > <mailto: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:
>> >
>> >     https://github.com/ghc-proposals/ghc-proposals/pull/696
>> >     <https://github.com/ghc-proposals/ghc-proposals/pull/696>
>> >
>> https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/proposals/0000-splitting-out-stable-interfaces-from-th.rst
>> <
>> https://github.com/TeofilC/ghc-proposals/blob/wip/th-lift-and-quasiquote/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
>> >     https://github.com/ghc-proposals/ghc-proposals#committee-process
>> >     <https://github.com/ghc-proposals/ghc-proposals#committee-process>
>> >
>> >     Cheers,
>> >
>> >     Adam
>> >
>>
>> --
>> Adam Gundry, Haskell Consultant
>> Well-Typed LLP, https://www.well-typed.com/
>>
>> Registered in England & Wales, OC335890
>> 27 Old Gloucester Street, London WC1N 3AX, England
>>
>> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>


-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20250701/0e42cbc7/attachment.html>


More information about the ghc-steering-committee mailing list