A
Хотя это скорее уже вопрос к физике
Size: a a a
2021 November 30
R
што такое global state и как его найти?
VK
брать шум с аналога - это сайд эффект
AS
определение кажется не соответствующим тому что мы называем сайд эффектом в ФП
A
Отлично. Тогда каково точное определение
EK
не надо его искать. Просто не используйте выражение side effect, а мыслите в рамках referential transparency. О ней и исходная статья
AS
да, но автор статьи использует термин) интересно разобраться что он под этим подразумевал тогда)
AS
все что не RT - сайд эфект? )
A
Автор дело хорошое
A
Так что же такое сайд эффект ?
A
Каждый источник в том числе в текущей группе говорит разное
A
Отлично что вы это затронули
A
Мы можем заменить значение в данном случае на раньомайз вызов
AS
там кстати еще прикол с определением что такое RT )
там написано что можно делать замену экспрешна на вэлью (и наоборот) и "поведение программы не изменится" - что в данном случае поведение программы? ) как минимум такты процессора да и байткод будут разными)
там написано что можно делать замену экспрешна на вэлью (и наоборот) и "поведение программы не изменится" - что в данном случае поведение программы? ) как минимум такты процессора да и байткод будут разными)
EK
РТ - формальное (или по крайней мере формализуемое понятие). СЭ - обычно используется в неформальном смысле.
EK
Если участники диалога не могут договориться в терминах СЭ - значит нужно (временно) перестать их использовать
EK
"не изменится" - по отношению к определенному набору действий, с помощью которых можно наблюдать программу
A
В продолжение
A
An expression is called referentially transparent if it can be replaced with its corresponding value (and vice-versa) without changing the program's behavior.
A
Это определение сказанного выше