G
тоесть если программа полагается на 10 разных вызовов rand(), то она получит 4 выбранное броском кубика?
ГПСЧ можно сделать чистым и чтобы он выдавал разные значения каждый раз
Size: a a a
2020 March 05
p
флейм только к одному чуваку который меня заебал
P
ГПСЧ можно сделать чистым и чтобы он выдавал разные значения каждый раз
нельзя, у него мутабельный стейт
p
а про подмену понятий ты выдумал
G
нельзя, у него мутабельный стейт
Можно и без мутабельного стейта, копируй
p
ГПСЧ можно сделать чистым и чтобы он выдавал разные значения каждый раз
👍 ссылочная прозрачность
λ
тоесть если программа полагается на 10 разных вызовов rand(), то она получит 4 выбранное броском кубика?
Нет. Нельзя вызвать rand. Можно только сделать действие rand, связать с ним коллбэк, который обработает полученный результат и связать всё это с мейном.
G
ФП - это то, как мы пишем код, а не то, какой код мы можем выразить
G
👍 ссылочная прозрачность
Да
P
Можно и без мутабельного стейта, копируй
тоесть ты просто таскаешь этот стейт, точно так же, как и до этого
P
и у тебя может быть несколько инстансов стейта
p
ГПСЧ можно сделать чистым и чтобы он выдавал разные значения каждый раз
ФПшеры: чистые функции это когда можно заменить вызов функции на ее результат
тоже ФПшеры:
тоже ФПшеры:
λ
тоесть ты просто таскаешь этот стейт, точно так же, как и до этого
Этот стейт можно спрятать в контексте исполнения
G
тоесть ты просто таскаешь этот стейт, точно так же, как и до этого
После rand другой ГПСЧ уже
G
Этот стейт можно спрятать в контексте исполнения
+
P
После rand другой ГПСЧ уже
тот же, но с другим посевом
p
ФПшеры: чистые функции это когда можно заменить вызов функции на ее результат
тоже ФПшеры:
тоже ФПшеры:
👏
G
ФПшеры: чистые функции это когда можно заменить вызов функции на ее результат
тоже ФПшеры:
тоже ФПшеры:
Да, rand тоже чистая
p
Да, rand тоже чистая
если функция с сигнатурой fn foo() -> i32, и которая возвращает разные значения каждый вызов чистая, то не вижу разницы между чистыми и нет функциями
G
тот же, но с другим посевом
С другим посевом = другой