<div dir="ltr">Pinning would make use of already bound values a lot more explicit - how would this not make the language better? This isn't just a thoughtless copy of an Elixir feature. This is something that addresses a real shortcoming/complication/source of bugs in the erlang language and it just happens to borrow the syntax from a feature in Elixir. I too prefer languages to be conservative and not just absorb features from any other languages that happen to be popular but this isn't that. If the compiler can tell me I may not have done something I intended then I want it to if at all possible.<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 15 Jan 2021 at 16:01, Loïc Hoguin <<a href="mailto:essen@ninenines.eu">essen@ninenines.eu</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">On 15/01/2021 16:35, Raimo Niskanen wrote:<br>
> On Fri, Jan 15, 2021 at 04:22:55PM +0100, Nicolas Martyanoff wrote:<br>
> :<br>
>><br>
>> I believe this discussion is moot. We can spend hours arguing about CS theory,<br>
>> but at the end of the day, the problem is about changing a fundamental aspect<br>
>> of a language. And clearly quite a lot of developers, me included, are worried<br>
>> about this kind of change.<br>
> <br>
> And I want to get clarity about exactly why so many developers are worried<br>
> about this particular proposed change, and therefore try to look thoroughly<br>
> at the arguments.<br>
> <br>
> It is as you say a fundamental detail in the language.<br>
> <br>
> 1) Would the language be a better language with a mandatory pinning operator?<br>
<br>
Language features that require the compiler to remind you to use them <br>
are probably not worth having. This is at least how it feels for me.<br>
<br>
That said, I think most of the opposition is about the pinning operator. <br>
There's a use case for having a tool of some kind that tells you when a <br>
variable is matched vs bound. Perhaps this belongs more to the realm of <br>
editors and syntax highlighting than it does the realm of languages and <br>
operators. There's no reason this can't be achieved on the editor's side <br>
of things, at least in the land of IDEs.<br>
<br>
> 2) If so is there a migration path worth the trouble? ><br>
> So far I think the discussion has been centered around 2),<br>
> before talking about 1).<br>
<br>
I think most people just opposed 1) without considering 2) (because why <br>
would they?).<br>
<br>
-- <br>
Loïc Hoguin<br>
<a href="https://ninenines.eu" rel="noreferrer" target="_blank">https://ninenines.eu</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><b>Karl Nilsson</b></div></div></div>