RFC: Unpacking sum types

Joachim Breitner mail at joachim-breitner.de
Wed Sep 2 05:58:53 UTC 2015


just an idea that crossed my mind: Can we do without the worker/wrapper dance for data constructors if we instead phrase that in terms of pattern synonyms? Maybe that's a refactoring/code consolidation opportunity.

Good night, Joachim 

Am 1. September 2015 10:23:35 PDT, schrieb Johan Tibell <johan.tibell at gmail.com>:
>I have a draft design for unpacking sum types that I'd like some
>on. In particular feedback both on:
> * the writing and clarity of the proposal and
> * the proposal itself.
>-- Johan
>ghc-devs mailing list
>ghc-devs at haskell.org

More information about the ghc-devs mailing list