ML
Какие ещё два условия?
для того чтобы быть чистой, функция должна быть referential transparent и без side effects
Size: a a a
2020 April 20
(
для того чтобы быть чистой, функция должна быть referential transparent и без side effects
Так я и не говорю, что она чистая
ML
Так я и не говорю, что она чистая
но она и не referential transparent
(
И чистая функция, опять же, необязательно ссылочно прозрачная
ML
И чистая функция, опять же, необязательно ссылочно прозрачная
приведи пример
(
Она должна быть детерминирована и не содержать сайд-эффектов
(
Про реф-транспаренси речи не идёт
ML
Про реф-транспаренси речи не идёт
приведи пример чистой функции, которая не ref transp
(
приведи пример чистой функции, которая не ref transp
Зачем? Что тебе это докажет?
(
Я говорю о том, что это разные, не связанные напрямую термины
ML
а термин "ссылочно прозрачная" к лямбдам вообще применим?
а чем лямбда-функция не функция?
(
функция не ссылочно прозрачная
rt()
a = 4
rt()
И вот смотря что ты подставляешь в качестве результата
(
Я хочу посмотреть, как Котлин захватывает мутабельные проперти в замыкания
СГ
а чем лямбда-функция не функция?
ну тем что она еще внешний скоуп захватывает
ML
ну тем что она еще внешний скоуп захватывает
А функции нет?
ML
Если язык с лексическим скоупингом, то да
СГ
А функции нет?
Да вроде нет. Что в параметрах передашь, то и видит. Нет?
ML
Да вроде нет. Что в параметрах передашь, то и видит. Нет?
и весь внешний лексический скоуп
ML
var/val класса, файла, companion и других обжектов/синглтонов
СГ
var/val класса, файла, companion и других обжектов/синглтонов
ну блин, fun в классе это не функция)