[ghc-steering-committee] GHC steering committee participation

[Manuel M T Chakravarty]

Usually, I would agree with what you are writing. However, this is a special situation as Atze never actually started to participate as a member of this committee. The situation is the same as when he had declined Simon and Simon’s original request. In that case, Simon and Simon would just have picked somebody else. Hence, if both Simons are in favour of replacing Atze by Roman, I think, we should just do this and, if they want to pick somebody else, the same applies.

Personally, I would love to have somebody from SC involved as they are one of the biggest commercial users of Haskell. That is a very valuable perspective to tap into.

Manuel

> Joachim Breitner <mail at joachim-breitner.de>:
> 
> Hi Committee,
> 
> it is very thoughtful of Atze to suggest a replacement as he steps
> down, and I have no reasons to doubt Roman’s qualification. But given
> that one purpose of instantiating the committee is to make governance a
> bit more transparent, I think it would be nice to publicly announce
> that we have a spot to fill and solicit nominations.
> 
> We can mention that we try to maintain our existing nice balance
> between academics, industry users etc, and surely selecting Roman is a
> possible, maybe likely, outcome. Nevertheless it would not hurt doing
> so publicly.
> 
> Although it would look better if we actually accepted some proposal
> first, to show that the committee is doing more than just filling seats
> :-)
> 
> We had no objections to Simon’s suggestion to adopt 
> 
> - Update levity polymorphism
> - Constraint vs type
> 
> so I take that as “the committee agrees”. Ben, as the committee’s de-
> facto secretary, would you merge and label these proposals?
> 
> Greetings,
> Joachim
> 
> -- 
> -- 
> Joachim “nomeata” Breitner
>   mail at joachim-breitner.de • https://www.joachim-breitner.de/
>   XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
>   Debian Developer: nomeata at debian.org_______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee