[ghc-steering-committee] GHC2024 voting

[Joachim Breitner]

Hi,

just a reminder that the polling is still ongoing, and with 6 votes in
I’m looking forward to receiving the votes from Moritz, Chris and Eric.

Since the quorum for inclusion is 7 votes, 4 nay votes suffice to kick
something out. This means that according to my counting, TypeData and
BlockArguments are already out.

Cheers,
Joachim



Am Freitag, dem 08.12.2023 um 18:54 +0100 schrieb Joachim Breitner:
> Dear Committee,
> 
> there isn't much discussion, but maybe a silent consensus that we
> should go ahead with this?
> 
> So please cast your vote about each of the following extensions; simply
> by replying to this email and putting an x next to those extensions you
> think should be part of GHC2024.
> 
> * [ ] DataKinds
> * [ ] DefaultSignatures
> * [ ] DerivingStrategies
> * [ ] DisambiguateRecordFields
> * [ ] ExplicitNamespaces
> * [ ] GADTs with MonoLocalBinds
> * [ ] GADTs without MonoLocalBinds 
> * [ ] LambdaCase
> * [ ] RoleAnnotations
> * [ ] TypeData
> * [ ] TypeFamilies
> * [ ] BlockArguments
> 
> As per the process (#372) the quorum for inclusion is  _7 votes_ out of
> the 10 current committee members. So it takes only four “no”s to block
> an extension.
> 
> I’m putting GADTs in two both variants on the ballot.
> If “GADTs with MonoLocalBinds” makes it in, then its in, and only if
> not we look at “GADTs without MonoLocalBinds”.
> So it may make sense to vote in favor of both.
> 
> Ballot boxes are upen until Jan 8th, but it is probably better for
> everyone if votes are casted sooner. Maybe we can do it within a week?
> 
> Thanks,
> Joachim
> 

-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/