G
Nyc Enas
то что она возвращает
Тогда по твоему определению чистая функция может изменять глобальные переменные. Нет, чистая функция такого делать не может
f(...) ссылочно-прозрачноSize: a a a
2020 March 09
G
Функция f чистая, если
NE
Тогда по твоему определению чистая функция может изменять глобальные переменные. Нет, чистая функция такого делать не может
я не давал полного определения
G
Функция f чистая, если
f(...) ссылочно-прозрачноВот это полное определение
EG
Вот это полное определение
Это не очень осмысленное определение, потому что оно сразу поднимает вопрос «что такое ссылочно-прозрачно?».
OA
Функция чистая, когда значимые эффекты программы не изменятся, если функцию заменить на её возвращаемое значение.
только $$$ платят за функции которые делают что-то полезное. Так же как и программиста держат в штате если её нельзя просто заменить на результат её работы.
NE
теперь нужно определение «ссылочно прозрачно»
G
Nyc Enas
теперь нужно определение «ссылочно прозрачно»
Если
expr можно подставить её значением без изменения работы программы, то expr ссылочно-прозрачноNE
это похоже не на определение а на признак
G
Nyc Enas
это похоже не на определение а на признак
Почему?
NE
EG
Если
expr можно подставить её значением без изменения работы программы, то expr ссылочно-прозрачноА это неправда.
Прекрасная чистая функция, но работа программы однозначно изменится, если её заменить на её результат.
fn f() {
for i in (1..1_000_000) { black_box(i * i); }
5
}Прекрасная чистая функция, но работа программы однозначно изменится, если её заменить на её результат.
G
Nyc Enas
Переслано от Nyc Enas
теперь нужно определение «ссылочно прозрачно»
G
А это неправда.
Прекрасная чистая функция, но работа программы однозначно изменится, если её заменить на её результат.
fn f() {
for i in (1..1_000_000) { black_box(i * i); }
5
}Прекрасная чистая функция, но работа программы однозначно изменится, если её заменить на её результат.
black_box чистая?
EG
Процессор погреется больше, считаться будет дольше
G
Процессор погреется больше, считаться будет дольше
А это нас не волнует
EG
black_box чистая?
Блэкбокс чистая, это nop после компиляции.
В
Функция f чистая, если
f(...) ссылочно-прозрачно
EG
А это нас не волнует
Поэтому в определении нужно «значимая работа программы», чтобы отделить прогрев процессора от полезного результата
NE