хорошо, я примерно теперь это понимаю так: никакой иммутабельности в чистом виде нет. Есть просто запрет на изменение параметра функции за пределами тела этой самой функции, так?

n = n + 1

На самом деле выглядит типа

print(pointer(context["n"])) # prints 0x0011
context["n"] = create_new_variablе(context["n"] + 1)
print(pointer(context["n"])) # prints 0x0022

Нет, это и есть иммутабельность переменных. Если ты имеешь указатель на переменную, то значение по этому указателю никак нельзя изменить. Можно только создать новую, изменённую, с новым указателем

как это?? Как может быть копия переменной с таким же именем??

n = n + 1

print(pointer(context["n"])) # prints 0x0011
context["n"] = create_new_variablе(context["n"] + 1)
print(pointer(context["n"])) # prints 0x0022

Я же тебе псевдокод написал

ладно, большое спасибо, пойду ждать просветления...

Во-первых не жонглируй словами - "нет никакой иммутабельности", "есть никакой иммутабельности" - тебя это к просветлению не приблизит.
Во-вторых, запрет не на изменение ЗА ПРЕДЕЛАМИ функции, а как раз наоборот - запрет на изменение В ПРЕДЕЛАХ функции.
В-третьих в чём суть проблемы? В некоторых многих языках можно сделать так

x = 1
something(x)
x == ??? # тут ты совершенно не знаешь, чему равно x, может быть 1, а может быть 42 или 100500

т.е. в некоторых многих языках функции могут мутировать свои аргументы. И это есть проблема как минимум когнитивная - сложнее читать код. Иммутабельность - это про гарантию того, что после вызова функции аргумент останется таким же каким был до вызова.

ок, я кажется, начал понимать где я "торможу"

Тут немного не та иммутабельность. Как уже писали выше та самая иммутабельность есть в эрланге, там если ты привязал значение к имени, то в течении всего контекста это имя будет ссылаться на одни и те же данные. В эликсире эту фичу решили похерить, и дать возможность затирать ссылку на старые данные. Но тем не менее, там где ссылка на эти данные уже есть (замыкание контекста в анонимных функциях как пример) данные так и останутся теми старыми, до перезаписи ссылки

Вот смотри

plusOne = fn (x) -> x + 1 end
x = 1
IO.puts x # ==> 1
plusOne.(x)
IO.puts x # ==> 1
x = plusOne.(x)
IO.puts x # ==> 2

спасибо за подробные ответы, но мне, видимо, такое ещё рано. Что-то во мне глубоко императивное сидит...

😢

Начни с эрланга, там этот момент раскрыт намного лучше, в эликсире просто навернули немного сахара на эту вещь

друзья, я вынужден высокопарно заметить, что кодить — это не картошку копать. Непонимание базовых вещей приводит к тому, что компилятор находит ошибки ровно в каждой первой строчке! По крайней мере, у меня так.

Мсье хочет научиться программировать по советам в чате?

критика справедливая, я умолкаю.

Гайды:
https://elixir-lang.org/getting-started/mix-otp/introduction-to-mix.html
http://elixirbridge.org/03_Intro_to_Phoenix/01-creating-a-chat-app.html
https://medium.com/blackode/writing-the-command-line-application-in-elixir-78a8d1b1850
https://www.youtube.com/watch?v=Z0Z4wu4CPgQ
https://timber.io/blog/the-ultimate-guide-to-logging-in-elixir/
https://medium.com/@skdomino/how-to-generate-a-pdf-with-elixir-in-20-lines-of-code-4e94267950af (нужно сделать apt install wkhtmltopdf)
https://hexdocs.pm/phoenix/up_and_running.html
https://elixirschool.com/blog/phoenix-live-view
https://pragmaticstudio.com/elixir
https://whatdidilearn.info/tags#Toy-Robot
http://learningwithjb.com/guides/ecto-for-beginners
https://www.poeticoding.com/step-by-step-tutorial-to-build-a-phoenix-app-that-supports-user-uploads/
https://medium.com/@andreichernykh/phoenix-simple-authentication-authorization-in-step-by-step-tutorial-form-dc93ea350153
https://pragmaticstudio.com/unpacked-multi-player-bingo-with-elixir-phoenix-vue-elm

Ну и самый момент. Переменные в эрланге и эликсире они не такие как привычном мире. Это реально ссылки на данные. А эти данные создаются единожды и более никогда не меняются (возможны исключения, но для этого надо черный пояс получить). Вот настоящая иммутабельность она там. Т.е. когда ты отдаешь куда то ссылку на данные, то ты стопроцентно можешь быть уверен, что они дойдут до нужного места в том виде, в котором были отданы. При попытке изменения этих данных происходит то, что в обычном мире называется copy-on-write, т.е. создаются новые данные и уже они связываются с новой ссылкой.