Привет всем.

Читаю литературу по ФП, наткнулся на такую строку:

авторIt’s important to understand what is meant by function here. A function relates
every value of the domain (the input) to exactly one value of the codomain (the out-
put). Figure 1.1 depicts a function that maps values of type X to exactly one value of Y.

Рисунок там примерно такой:




Вроде как перевёл: "Функция связывает каждое значение области (the input) с непосредственно одним значением из области значений (the output) Рисунок 1.1 изображает
функцию, которая маппит (отображает) знаяения из типа X к непосредственно каждому значению Y".

Я пока что то не понял до конца этот смысл. Мне представляется функция:

function foo(X) {
return Y;
}

Либо здесь идет речь об объектах в качестве параметра?
Вобщем прошу помочь пояснить этот вопрос.

Яростный Меч,

о, так теперь понятнее. Спасибо!

Забыл, что в математике есть такое понятие, как "область определения функции", и есть "область значений".

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

White OwlunicornmirageЗначит - если вдруг окажется, что для какого-то входного значения будет в другой момент времени - другой результат, то такая ситуация говорит уже о наличие side-эффекта. Поэтому это уже не функциональное программирование.Такая ситуация просто невозможна.
А если тебе нужно чтобы в один момент времени было один результат, а в другой момент другой результат. То значит этот самый "момент времени" будет являться одним из параметров функции. И ты будешь явно его вызывать. Например так:



Еще вспомнил - про недетерменированные автоматы - на всякий случай запишу в этой теме, чтобы не забыть, т.к. это как то связанно.

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

Пока еще не разобрался, как с этим обстоит дело в ФП.