<div dir="ltr"><div>Since I voted C2a as first option, let me try to explain what lead me to my vote.<br></div><div><br></div><div>Which is one main thing: for me the syntax "r .x", with a space in between the element and the field name, looks completely alien and different from what other languages do [1,2,3]. Even though we can implement that in a clever way by making ".r" a special kind of operator, I think that for most people the notion of "field access" is ingrained as a special part of the syntax of a language.</div><div><br></div><div>Furthermore, several examples in C4 are very surprising to me. For example, "f r .x" meaning "f (r.x)". Once again, I expect field access be part of the same "joint expression" as in other languages.</div><div><br></div><div>As a final note, if we have ".b" for fields, what would stop us from making ".f" just special syntax for "post-application of any function"? I mean, we could also have something as "numbers .sum" as meaning "sum numbers", in the same way that "person .age" is equivalent to "age person". I am not arguing at all that we should go that way, but rather that for many reason I think that making "field access" less clever, and more similar to other languages, is the right decision.</div><div><br></div><div>Alejandro<br></div><div><br></div><div>[1] C# Language Spec -> <a href="https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/expressions#member-access">https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/language-specification/expressions#member-access</a></div><div>[2] F# Language Spec, page 81 -> <a href="https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.pdf">https://fsharp.org/specs/language-spec/4.1/FSharpSpec-4.1-latest.pdf</a></div><div>[3] OCaml syntax, records -> <a href="https://caml.inria.fr/pub/docs/manual-ocaml/expr.html#sss:expr-records">https://caml.inria.fr/pub/docs/manual-ocaml/expr.html#sss:expr-records</a></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El lun., 30 mar. 2020 a las 20:03, Eric Seidel (<<a href="mailto:eric@seidel.io">eric@seidel.io</a>>) escribió:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I'd be very interested too.<br>
<br>
I also think it would be good to summarize our discussion here, in particular the rationale for C2a, and post the summary on the GitHub thread. I noticed some concerns on the GitHub thread about the lack of consensus and the omission of `map .lbl xs` (IIRC we did discuss this option and there actually *was* consensus that we didn't like it), we should address those concerns too.<br>
<br>
Eric<br>
<br>
<br>
On Mon, Mar 30, 2020, at 13:06, Iavor Diatchki wrote:<br>
> Thanks Joachim! I'd be curious the hear an opinion from someone who <br>
> prefers `C2a` to `C4`, about why it is better? To me `C2a` just looks <br>
> like a more complicated version of `C4`.<br>
> <br>
> -Iavor<br>
> <br>
> <br>
> On Mon, Mar 30, 2020 at 9:58 AM Richard Eisenberg <<a href="mailto:rae@richarde.dev" target="_blank">rae@richarde.dev</a>> wrote:<br>
> > I think this is a fine conclusion to the saga, personally. C2a is one of the more middle-of-the-ground options, and it's refreshing to have an election that chooses such a candidate.<br>
> > <br>
> >  It's been slow, yes, but I think this phase of the saga has highlighted the strengths of the committee process, in that we had a deliberate, carefully reasoned vote.<br>
> > <br>
> >  Thanks for running the vote algorithm, Joachim, and for your careful shepherding, Simon.<br>
> > <br>
> >  Richard<br>
> > <br>
> >  > On Mar 30, 2020, at 5:48 PM, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>> wrote:<br>
> >  > <br>
> >  > Dear Committe,<br>
> >  > <br>
> >  > thanks all for voting. The ranking of votes is now<br>
> >  > <br>
> >  > C2a > C2b > C4 > C1 > C7 > C6 > C3 > C5 <br>
> >  > <br>
> >  > In particular C2a beats every other options by 7:4 or more, and is<br>
> >  > therefore the result of this poll.<br>
> >  > <br>
> >  > You can see more statistics at <br>
> >  > <a href="https://www.condorcet.vote/Vote/AB23CE70AC/" rel="noreferrer" target="_blank">https://www.condorcet.vote/Vote/AB23CE70AC/</a><br>
> >  > <br>
> >  > So, does this conclude this saga?<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>
> >  > <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><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://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>
> > <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>
> _______________________________________________<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>
><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>