Hi, Am Mittwoch, den 02.12.2020, 16:30 +0100 schrieb Spiwack, Arnaud:
I'm a bit worried by the limited response from the committee on this proposal. It is a non-trivial proposal, and I think it deserves more eyes. So please have a look at them so that we can commit to this with confidence.
it is above my head to commit with confidence. Yes, I want them! Do I want the matchability kind (and not subtyping)? Do I want matchability-polymorphism? Are these the right defaults? I don't know! So if the expects say “that's the best we can do”, then all for it. If the experts say “this there are other corner in the design space”, and maybe some are simpler/more elegant/what not? Then I can comment. BTW, https://github.com/ghc-proposals/ghc-proposals/pull/242#issuecomment-7367388... is unanswerd yet. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/