Друзья, день добрый!
Я "только учусь", так что помогите разобраться в основах.

Вот есть простой модуль, вычисляющий значение факториала.

defmodule factorial_01 do

 def factorial(n) when n > 1 do
   n * factorial(n - 1)
 end

 def factorial(n) when n <= 1 do
   1
 end
end

Не очень понятно — как это в одном модуле может одна и та же функиция определяться два раза?? Код вполне себе работает, но для человека знакомого только с имеперативными языками, выглядит странно.  Спасибо.

можно ещё вопрос по поводу "иммутабельности" переменных?

n * factorial(n - 1)

После выполнения этой строки значение n (как ячейки в памяти) очень даже меняется. Не так прямолинейно, как в случае, например, n=n+1, но всё же меняется. Где здесь иммутабельность? Спасибо.

можно ещё вопрос по поводу "иммутабельности" переменных?

n * factorial(n - 1)

После выполнения этой строки значение n (как ячейки в памяти) очень даже меняется. Не так прямолинейно, как в случае, например, n=n+1, но всё же меняется. Где здесь иммутабельность? Спасибо.

а если при вызове функции something() переменная x не указывается в качестве параметра, но при этом в теле функции она подвергается каким-то операциям — такое возможно?

а если при вызове функции something() переменная x не указывается в качестве параметра, но при этом в теле функции она подвергается каким-то операциям — такое возможно?

ок, компилятор выдаст ошибку, так?