[ghc-steering-committee] Please review #387: The Char kind, Shepherd: Alejandro

[Richard Eisenberg]

I'm in favor of this proposal, for the reasons Alejandro gives: it fills a gap, and it's about as minimal as we can have.

Thanks,
Richard

> On Jan 7, 2021, at 12:02 PM, Spiwack, Arnaud <arnaud.spiwack at tweag.io> wrote:
> 
> I have no real opinion either way. The meat of the proposal is in the choice of type families. Are they reasonable? Probably. So I'm probably in favour, though I could easily be swayed either way.
> 
> On Thu, Jan 7, 2021 at 5:38 PM Alejandro Serrano Mena <trupill at gmail.com <mailto:trupill at gmail.com>> wrote:
> Dear Committee,
> This proposal adds a kind-level ‘Char’ in a similar way as other built-in types, and an API to work with them and with Symbols.
> My recommendation is to accept the proposal: it fills a gap in our current kind-level machinery in the most minimal way.
> 
> Regards,
> Alejandro
> 
> On 7 Jan 2021 at 12:33:33, Joachim Breitner <mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>> wrote:
> Dear Committee,
> 
> this is your secretary speaking:
> 
> The Char Kind
> has been proposed by Daniel Rogozin
> https://github.com/ghc-proposals/ghc-proposals/pull/387 <https://github.com/ghc-proposals/ghc-proposals/pull/387>
> https://github.com/serokell/ghc-proposals/blob/master/proposals/0000-char-kind.rst <https://github.com/serokell/ghc-proposals/blob/master/proposals/0000-char-kind.rst>
> 
> I’ll propose Alejandro as the shepherd.
> 
> Please guide us to a conclusion as outlined in 
> https://github.com/ghc-proposals/ghc-proposals#committee-process <https://github.com/ghc-proposals/ghc-proposals#committee-process>
> 
> Thanks,
> Joachim
> -- 
> Joachim Breitner
>  mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>
>  http://www.joachim-breitner.de/ <http://www.joachim-breitner.de/>
> 
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org <mailto:ghc-steering-committee at haskell.org>
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee <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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210107/18f406dd/attachment.html>