(
Ща разверну
Size: a a a
2020 April 20
(
Из чистоты не следует ссылочная прозрачность
(
Но если что-то ссылочно прозрачное, то оно чистое
ML
nice SO
ML
Из чистоты не следует ссылочная прозрачность
контрпример в студию
(
контрпример в студию
я не смогу его придумать
(
я пытаюсь сказать, что "ссылочная прозрачность" по чистой случайности по свойствам совпадает с функциональной чистотой
(
но это разные термины, практически не связанные
ML
Но если что-то ссылочно прозрачное, то оно чистое
контрпример этого утверждения
fun myrandom = random(3).getInt()
ref tansp? да. чистое? нет.
fun myrandom = random(3).getInt()
ref tansp? да. чистое? нет.
(
контрпример этого утверждения
fun myrandom = random(3).getInt()
ref tansp? да. чистое? нет.
fun myrandom = random(3).getInt()
ref tansp? да. чистое? нет.
с чего бы оно ссылочно прозрачное?
random(3) заменить на результат вычисления попробуйML
🤔 да, она будет чистая с сидом
(
падажжи
ML
тогда получается, что выражение ref transp если оно чистое и чистое, если оно ref transp
(
чё
random(3) вообще делает? Возвращает Random? Я просто в стдлибе такой функции не нашёлML
чё
random(3) вообще делает? Возвращает Random? Я просто в стдлибе такой функции не нашёлусловно да
(
ну, если там конструктор чистый, то ладно, он чистый, но
getInt точно ни чистым, ни реф прозрачным не будетML
ну, если там конструктор чистый, то ладно, он чистый, но
getInt точно ни чистым, ни реф прозрачным не будетэто же псевдорандом
ML
при одном и том же seed будет одна и та же последовательность
(
это же псевдорандом
Я бы сказал, какая разница, потому что даже с известной последовательностью выражение не редуцируется до нормальной формы, но потом понял, что в определении ссылочной прозрачности не указано, что именно значит "подставить результат вместо вычисления"
ML
Я бы сказал, какая разница, потому что даже с известной последовательностью выражение не редуцируется до нормальной формы, но потом понял, что в определении ссылочной прозрачности не указано, что именно значит "подставить результат вместо вычисления"
взятие первого элемента последовательности не редуцируется
ШТА
ШТА