[ghc-steering-committee] Proposal #273: Local Types, Recommendation: needs revision

[Sandy Maguire]

I'm not particularly convinced by the motivation here, and lean towards a
weak "no."

On Tue, Nov 26, 2019 at 12:00 AM Richard Eisenberg <rae at richarde.dev> wrote:

> I mis-summarized my GitHub comment. I agree that the local modules
> proposals do not cover `reflection` and brought up a strawman
> counterproposal just to support `reflection` (and similar usages of
> classes); the local modules proposals cover the rest of the "would be nice"
> aspect of local types, in my opinion.
>
> Richard
>
> > On Nov 25, 2019, at 1:44 PM, Eric Seidel <eric at seidel.io> wrote:
> >
> > On Mon, Nov 25, 2019, at 05:38, Richard Eisenberg wrote:
> >> I have posted on the ticket. The proposal text as it now stands does
> >> not support the idea of "just in the renamer", and I find the
> >> motivation lacking. Do we need all this power just to write
> >> `reflection`? Seems like overkill.
> >>
> >> Yes, I agree that local types would often be nice. But would that
> >> nicety be covered by local modules (either proposal)?
> >
> > The motivating example here seems like it would require parameterized
> modules, ie something akin to ML functors. Neither local module proposal
> currently includes parameterized modules.
> > _______________________________________________
> > 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
>


-- 
I'm currently travelling the world, sleeping on people's couches and doing
full-time collaboration on Haskell projects. If this seems interesting to
you, please consider signing up as a host!
https://isovector.github.io/erdos/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20191126/5b174fb6/attachment.html>