А
я то думал что там ни констант ни переменных нет) одни функции)
это в исходном лямбда исчислении чёрча так
Size: a a a
2020 October 07
А
ща еще выяснится, что там есть условия, циклы, и тогда вообще не понятно зачем сыр бор)
условия есть, циклы есть, но в виде функций, а не конструкций языка
Д
Конечно есть, иммутабельные.
Всмысле иммутабельные ?
АГ
в виде рекурсий?) ну да, было такое
АГ
иммутабельная переменная. занятно. а зачем она?)
А
ща еще выяснится, что там есть условия, циклы, и тогда вообще не понятно зачем сыр бор)
эм, может быть стоит разобраться в фп чутка, изучить хаскель, посмотреть как там всё делается
ЕР
Всмысле иммутабельные ?
В смысле значение переменной невозможно изменить.
А
Всмысле иммутабельные ?
в самом прямом
АГ
иммутабельная == константная. переменная == изменяемая) как-то не сходится чото...
Д
Так это тогда константа..
ЕР
Так это тогда константа..
Нет, не значит
А
иммутабельная == константная. переменная == изменяемая) как-то не сходится чото...
ну как бы для разных вызовов функций она разная
ЕР
Значение может быть не известно в компайл-тайме
Д
Нельзя изменить значение .. не константа..
АГ
значение слова "переменная" может тогда кто-нибудь пояснить?) если его нельзя менять?)
SP
Нельзя изменить значение .. не константа..
константы известны в компайл тайме, а "имутабельная переменная" это значение которое известно в рантайме но нельзя поменять по ссылке)
А
значение слова "переменная" может тогда кто-нибудь пояснить?) если его нельзя менять?)
func x = let y = x + 2 in y
А
до вызова func с конкретным x значение y неизвестно
А
оно вычисляется
АГ
ну это некое промежуточное значение, не известное из кода, зависящее от входных значений, это понятно. но в том виде, как в императивных яп, переменных то нет