🚀🚀
потому что они зааутсорсили IO (монаду в хаскеле) программе, но программе некому зааутсорсить это дальше
Size: a a a
2020 July 27
🚀🚀
одной этой мысли уже было бы достаточно чтобы остановить весь пустой трёп про чистоту при использовании аргументов, которые являются лишь крошечной частью картины
🚀🚀
и даже не самой интересной
🚀🚀
кстати, garbage collector в v8 и прочих современных движках как раз таки учитывают доступ к переменной
🚀🚀
если переменную (информацию) невозможно прочитать из кода, то её удаление не обладает сайд эффектами
🚀🚀
если определение через наблюдателя даёт слишком пугающие отсылки то давайте попробуем переформулировать его, движки же как-то это называют?
🚀🚀
бан 😠
🚀🚀
это не ссылочная прозрачность, вообще
🚀🚀
вообще
🚀🚀
просто попробуй применить это определение к примерам выше, оно бесполезное
🚀🚀
более того, оно просто даст неверные результаты если ты начнёшь делать подстановки в недоступном никому замыкании примера add4
🚀🚀
это неправильный вопрос
🚀🚀
я не хочу чтобы ты опирался на моё мнение и пытался его угадать, просто попробуй применить определение сам, а вдруг я не прав?
🚀🚀
в определении ссылочной прозрачности нет учёта замыканий потому что это определение писали математики а не инженеры
ф
если определение через наблюдателя даёт слишком пугающие отсылки то давайте попробуем переформулировать его, движки же как-то это называют?
unsupervised
🚀🚀
опять определение через отрицание
🚀🚀
чистая функция это следствие
🚀🚀
следствие отсутствия сайд эффектов
🚀🚀
что такое сайд эффект?
🚀🚀
wrong answers only