New EEP draft: Pinning operator ^ in patterns

Rickard Green rickard@REDACTED
Mon Jan 11 14:49:26 CET 2021

On Thu, Dec 24, 2020 at 9:10 PM Richard Carlsson <carlsson.richard@REDACTED>

> The ^ operator allows you to annotate already-bound pattern variables as
> ^X, like in Elixir. This is less error prone when code is being refactored
> and moved around so that variables previously new in a pattern may become
> bound, or vice versa, and makes it easier for the reader to see the intent
> of the code.
> See also
> Ho ho ho,
>         /Richard & the good folks at WhatsApp

I've added your attached EEP draft as EEP 55:

Rickard Green, Erlang/OTP, Ericsson AB
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the erlang-questions mailing list