[ghc-steering-committee] please accept "Make Symbol a newtype over String"

[Simon Peyton Jones]

> Oleg has proposed that we do essentially the same trick Richard proposed
to unify Nat and Natural, but with Symbol and String.

Well... not quite. I have commented on the proposal
https://github.com/ghc-proposals/ghc-proposals/pull/562

Simon

On Thu, 19 Jan 2023 at 15:28, Chris Dornan <chris at chrisdornan.com> wrote:

> While we are at it, here is another proposal that I think should be
> straightforward.
>
> Oleg has proposed that we do essentially the same trick Richard proposed
> to unify Nat and Natural, but with Symbol and String.
>
> Specifically, he is proposing that we replace @data Symbol@ with @newtype
> Symbol = MkSymbol String at . I won't try and encapsulate any further -- the
> original is concise and clear.
>
>   * Oleg's "Make Symbol a newtype over String" proposal:
> https://github.com/ghc-proposals/ghc-proposals/blob/symbol-type/proposals/0000-symbol-newtype-string.rst
>   * For comparison, Richard's accepted "Unify Nat and Natural" proposal:
> https://github.com/goldfirere/ghc-proposals/blob/natural/proposals/0000-unify-natural.rst
>
> I suggest we allow the usual two weeks to speak or forever hold your peace.
>
> Chris
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20230119/c9094445/attachment.html>