Elixir allows reassignment, of course, in the end, it uses different "Erlang" variables, but the language abstracts it.
No. That can trivially be inferred from SSA being a thing, mutable bindings can trivially and automatically be converted to immutable ones.
Elixir allows reassignment, of course, in the end, it uses different "Erlang" variables, but the language abstracts it.