<div dir="ltr">Hello,<div><br></div><div>here is another update to my votes. The change is mostly to eliminate all `maybe` with a concrete `yes` or `no`.</div><div><br></div><div>Module System<br>=============<br>ImportQualifiedPost: yes<br>PackageImports: no<br>NoImplicitPrelude: no<br><br>Notation<br>========<br>BlockArguments: yes<br>MultiWayIf: yes<br>LambdaCase: no<br>BinaryLiterals: yes<br>HexFloatLiterals: yes<br>NumericUnderscores: yes<br>NumDecimals: yes<br>OverloadedStrings: yes<br>OverloadedLists: no<br>OverloadedLabels: no<br>EmptyCase: yes<br>PostfixOperators: yes<br>LexicalNegation: yes<br>UnicodeSyntax: yes<br>NegativeLiterals: no<br>TupleSections: yes<br>ImplicitParams: no<br>ParallelListComp: yes<br>RecursiveDo: yes<br>TransformListComp: no<br>Arrows: no<br>ApplicativeDo: yes<br>QualifiedDo: no<br>MonadComprehensions: no<br>NondecreasingIndentation: no<br>RebindableSyntax: no<br>ExplicitNamespaces: no<br><br>Data Types<br>==========<br>DatatypeContexts: no<br>ExistentialQuantification: yes<br>EmptyDataDecls: yes<br>RoleAnnotations: no<br>StrictData: no<br>GADTSyntax: yes<br>GADTs: no<br></div><div><br></div><div>Patterns and Guards<br>===================<br>BangPatterns: yes<br>ViewPatterns: no<br>PatternSynonyms: no<br>NoPatternGuards: no<br>NPlusKPatterns: no<br><br>Records<br>=======<br>NamedFieldPuns: yes<br>RecordWildCards: yes<br>DisambiguateRecordFields: no<br>DuplicateRecordFields: no<br>NoTraditionalRecordSyntax: no<br><br>Deriving<br>=======<br>DeriveGeneric: yes<br>DeriveLift: yes<br>DeriveDataTypeable: yes<br>EmptyDataDeriving: yes<br>StandaloneDeriving: yes<br>DeriveFunctor: yes<br>DeriveFoldable: yes<br>DeriveTraversable: yes<br>DerivingStrategies: no<br>DerivingVia: no<br>GeneralisedNewtypeDeriving: no<br>DeriveAnyClass: no<br><br><br>Class System<br>============<br>MultiParamTypeClasses: yes<br>NullaryTypeClasses: yes<br>ConstraintKinds: yes<br>TypeSynonymInstances: yes<br>FlexibleInstances: yes<br>FlexibleContexts: yes<br>ConstrainedClassMethods: yes<br>DefaultSignatures: no<br>InstanceSigs: yes<br>ExtendedDefaultRules: no<br>FunctionalDependencies: no<br>QuantifiedConstraints: no<br>UndecidableInstances: no<br>IncoherentInstances: no<br>UndecidableSuperClasses: no<br>OverlappingInstances: no<br><br>Types<br>=====<br>RankNTypes: yes<br>StandaloneKindSignatures: yes<br>KindSignatures: yes<br>LiberalTypeSynonyms: no<br>ScopedTypeVariables: yes<br>ExplicitForAll: yes<br>AllowAmbiguousTypes: no<br>ImpredicativeTypes: no<br>MonoLocalBinds: no<br>NoMonomorphismRestriction: yes<br>PartialTypeSignatures: no<br>NamedWildCards: no<br>LinearTypes: no<br>TypeApplications: no<br>PolyKinds: no<br>TypeOperators: no<br>StarIsType: yes<br>TypeFamilies: no<br>TypeFamilyDependencies: no<br>DataKinds: no<br><br>FFI<br>===<br>ForeignFunctionInterface: yes<br>CApiFFI: yes<br>GHCForeignImportPrim: no<br>InterruptibleFFI: no<br>UnliftedFFITypes: no<br>StaticPointers: no<br><br>Low Level<br>=========<br>UnboxedSums: no<br>UnboxedTuples: no<br>MagicHash: no<br>UnliftedNewtypes: yes<br><br>Macros<br>======<br>CPP: no<br>TemplateHaskell: no<br>TemplateHaskellQuotes: no<br>QuasiQuotes: no<br><br>Other<br>=====<br>Unsafe: no<br>Safe: no<br>Trustworthy: no<br>Strict: no<br><br>Obsolete/Deprecated<br>===================<br>CUSKs: no<br>TypeInType: no<br>MonadFailDesugaring: yes<br><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Dec 22, 2020 at 2:06 AM Simon Peyton Jones via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">| It's accurate, but checking was was quite tedious, hard to automate,<br>
| and hence. I guess I can keep it up to date as new votes come in, so<br>
| that might be fine.<br>
<br>
Thanks. The crucial thing is that it's grouped in a logical way, so it's possible to address the question "does this make a coherent language design".<br>
<br>
Simon<br>
<br>
| -----Original Message-----<br>
| From: ghc-steering-committee <ghc-steering-committee-<br>
| <a href="mailto:bounces@haskell.org" target="_blank">bounces@haskell.org</a>> On Behalf Of Joachim Breitner<br>
| Sent: 21 December 2020 20:26<br>
| To: <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
| Subject: Re: [ghc-steering-committee] #380 GHC2021: How to proceed?<br>
| <br>
| Hi,<br>
| <br>
| > Then we should allow a fortnight, say to 18 Jan (my birthday).<br>
| <br>
| if Simon says that his birthday wish from us is a well-thought<br>
| through, conclusively discussed, shiny and nice GHC2021, then of<br>
| course we will make it so :-)<br>
| <br>
| Am Montag, den 21.12.2020, 19:50 +0000 schrieb Simon Peyton Jones via<br>
| ghc-steering-committee:<br>
| > As you know, I have found it extremely difficult to make sense of a<br>
| table with more than 100 rows. I think we need a global summary and I<br>
| have prepared one here:<br>
| ><br>
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdocs" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdocs</a><br>
| ><br>
| .<a href="http://google.com" rel="noreferrer" target="_blank">google.com</a>%2Fdocument%2Fd%2F1BMJtUQGk1HKOFgLnczybAwd1HgqbNpZA7elM4VnA<br>
| ><br>
| Na8%2Fedit%3Fusp%3Dsharing&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%<br>
| ><br>
| 7C87b4f0b75a7949c5d3e108d8a5eeb045%7C72f988bf86f141af91ab2d7cd011db47%<br>
| ><br>
| 7C1%7C0%7C637441791891403803%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwM<br>
| ><br>
| DAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=sXj<br>
| > Sq8Fwla6AysnF9oW5QObfyRGaNcsSVx%2Bh5046Cqg%3D&reserved=0<br>
| ><br>
| > Is it accurate? I have not cross-checked against the vote table in<br>
| the last week or two. You all have edit permission for this document.<br>
| <br>
| It's accurate, but checking was was quite tedious, hard to automate,<br>
| and hence. I guess I can keep it up to date as new votes come in, so<br>
| that might be fine.<br>
| <br>
| Or I scrape the categorization of extensions from the docs (<br>
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fghc" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fghc</a>.<br>
| <a href="http://gitlab.haskell.org" rel="noreferrer" target="_blank">gitlab.haskell.org</a>%2Fghc%2Fdoc%2Fusers_guide%2Fexts.html&data=04%7<br>
| C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7C87b4f0b75a7949c5d3e108d8a5eeb045%7C72f<br>
| 988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637441791891413801%7CUnknown%7<br>
| CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXV<br>
| CI6Mn0%3D%7C1000&sdata=79QzkT3UBoasQjYNBBu9aBy1Q4e1yVPoLOS08cZgnYg<br>
| %3D&reserved=0 nicely groups them by topic), and generate this<br>
| view automatically from the data, as part of<br>
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith</a><br>
| <a href="http://ub.com" rel="noreferrer" target="_blank">ub.com</a>%2Fghc-proposals%2Fghc-<br>
| proposals%2Fblob%2Fghc2021%2Fproposals%2F0000-<br>
| ghc2021.rst%23data&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7C87b4f0<br>
| b75a7949c5d3e108d8a5eeb045%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%<br>
| 7C637441791891413801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQI<br>
| joiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=1UtWLiYPCLx<br>
| P4jNf9K9beUXveTRp8SiG6U%2FFSUK3YXo%3D&reserved=0<br>
| <br>
| Would that help?<br>
| <br>
| > * Everyone: check that the union of "in" and "barely in" makes sense<br>
| as a<br>
| > coherent language design<br>
| > * Everyone: make the case for any changes. But only for borderline<br>
| cases. No<br>
| > point in arguing for something that is nowhere near the<br>
| borderline, unless<br>
| > you really think everyone has misunderstood<br>
| ><br>
| > I think the period from now to 4 Jan doesn't count. Then we should<br>
| > allow a fortnight, say to 18 Jan (my birthday).<br>
| ><br>
| > Is that acceptable?<br>
| <br>
| Very much so, I think, thanks.<br>
| <br>
| Also remember to go through your maybes. (If both SPJ and Arnaud turn<br>
| their "maybe" about UnicodeSyntax to yes it makes it in ;-))<br>
| <br>
| <br>
| Cheers,<br>
| Joachim<br>
| <br>
| --<br>
| Joachim Breitner<br>
| <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
| <br>
| <a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j</a><br>
| oachim-<br>
| <a href="http://breitner.de" rel="noreferrer" target="_blank">breitner.de</a>%2F&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7C87b4f0b75a<br>
| 7949c5d3e108d8a5eeb045%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63<br>
| 7441791891413801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV<br>
| 2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=YZypxIrkQlmvj0s<br>
| MY8tiucfKpZUwQ%2BlUng%2BEKzJsZMA%3D&reserved=0<br>
| <br>
| <br>
| _______________________________________________<br>
| ghc-steering-committee mailing list<br>
| <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
| <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail" rel="noreferrer" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail</a><br>
| .<a href="http://haskell.org" rel="noreferrer" target="_blank">haskell.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-<br>
| committee&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7C87b4f0b75a7949c<br>
| 5d3e108d8a5eeb045%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6374417<br>
| 91891413801%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz<br>
| IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=RkA6zmdd%2BmBPP9yslk<br>
| Mn5yVfWt58hGNjuhAdzel%2Fi6c%3D&reserved=0<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>