New EEP draft: Pinning operator ^ in patterns

Bach Le thebullno1@REDACTED
Wed Jan 20 04:10:10 CET 2021

I rarely post but this change seems strange.

The rule for Erlang has always been single assignment so I don't think
pinning is necessary.
What if we reverse the operator and call it the "rebind" operator?
Similar to how Elixir has to explicitly pin, Erlang has to explicitly
Borrow the "spirit" and not the exact thing.
Let's call it "&" to avoid confusion.

Say in a case expression and you want to introduce a new variable, ignoring
whatever that has appeared before, use:

case thing() of
    {ok, &T} -> T

No new error or warning introduced
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the erlang-questions mailing list