[ghc-steering-committee] Bundling patterns with type synonyms (#28)

[Joachim Breitner]

Hi,

we have disagreement here. Chris, would you steer us towards consensus?

Cheers,
Joachim

Am Samstag, den 23.06.2018, 23:19 -0400 schrieb Richard Eisenberg:
> Agreed. Beyond my posted technical reservations, I believe that a better solution is out there.
> 
> Richard
> 
> > On Jun 23, 2018, at 1:00 PM, Joachim Breitner <mail at joachim-breitner.de> wrote:
> > 
> > Hi,
> > 
> > Am Mittwoch, den 13.06.2018, 18:18 -0500 schrieb Christopher Allen:
> > > Bundling patterns with type synonyms by Bertram Felgenhauer and Joe Hermaszewski
> > > 
> > > https://github.com/ghc-proposals/ghc-proposals/pull/28
> > > 
> > > 
> > > I think we should accept this proposal. There are a couple of
> > > open questions, ambiguities, and potential downsides but the overall
> > > complexity of the proposal doesn't cause me great concern.
> > 
> > I agree with Simon that might not take the language in the direction we
> > want to take it.
> > 
> > In fact, if we had PatternSynonyms and ExplicitNamespaces back when
> > Haskell was first specified, we might not have the T(K) syntax at all,
> > and just a flat, explicit list of names, possibly requiring explicit
> > namespace qualifier to disambiguate? Things like deprecating exports
> > would have been easier then…
> > 
> > So while I follow the motivation of the proposal, and I don’t have
> > concrete other solution to offer, I am inclined to reject it: The
> > problem it is solving does not seem to be too urgent, and my gut
> > feeling says that there might be something better down the road.
> > 
> > Cheers,
> > Joachim
> > 
> > -- 
> > Joachim Breitner
> >  mail at joachim-breitner.de
> >  http://www.joachim-breitner.de/
> > _______________________________________________
> > 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
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180804/1cae8a9a/attachment.sig>