[ghc-steering-committee] Proposal: Binding existential type variables (#96)

[Joachim Breitner]

Hi,

Am Samstag, den 02.06.2018, 20:08 +0200 schrieb Joachim Breitner:
> Am Sonntag, den 25.03.2018, 23:23 +0100 schrieb Roman Leshchinskiy:
> > The proposal is to add a way to name existential type variables in pattern matches: https://github.com/ghc-proposals/ghc-proposals/pull/96.
> 
> since this proposal has been proposed, we have two new related (and
> partly competing) proposals (#126 and #128), had some good discussion
> and there is even talk of writing a paper. In light of that, I think we
> should either reject #96 in the current form, or at least bump it back 
> to the discussion phase until we have settled on a final form.

in the meantime we even have a paper that describes #126 and #128:
https://arxiv.org/abs/1806.03476
which also describes why #96 may not be the best way forward.

I asked at
https://github.com/ghc-proposals/ghc-proposals/pull/96#issuecomment-396581800
if anyone still feels attached to that proposal, and nobody responded.
Hence, I think we can safely reject this proposal (and focus on the
other two).

Roman, do you agree?

Cheers,
Joachim

-- 
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/20180616/51e23a73/attachment.sig>