AZ
И тестов для программы нет, и работает она всегда правильно
как ни странно - да
Size: a a a
2020 April 23
AZ
даже в сишарпе
AZ
правда там приходится намного больше усилий прилагать
AZ
Золотой программист ты однако
я 5 тыщ строк кода на солидити написал, без дебаггера и логов
AZ
и оно работает
AZ
ну и без иде, я сам налепил плагин подсветки для студии чтобы совсем не страдать
G
Программа без рантайма не запустится, жсон не отправит, заказ не подтвердит и т.д. и т.п.
AZ
ну то есть рили
AZ
это утверждения из разряда раст не сейф потому что он на либцэ основан, а там все ансейф
p
safe строится на гарантиях которые компилятор предоставляет
AZ
safe строится на гарантиях которые компилятор предоставляет
берешь определение ссылочной прозрачности - окей.
берешь любую хаскель программу - окей
показываешь, где ссылочная прозрачность _в этой программе_ нарушается - окей
берешь любую хаскель программу - окей
показываешь, где ссылочная прозрачность _в этой программе_ нарушается - окей
p
ну про unwrap() unwrap() частично правда к слову
AZ
смог - малаца, доказал что все дураки.
не смог - подумай, почему так
не смог - подумай, почему так
p
берешь определение ссылочной прозрачности - окей.
берешь любую хаскель программу - окей
показываешь, где ссылочная прозрачность _в этой программе_ нарушается - окей
берешь любую хаскель программу - окей
показываешь, где ссылочная прозрачность _в этой программе_ нарушается - окей
в любой где есть IO
AZ
в любой где есть IO
там прозрачно все
AZ
я уже говорил 100 раз
AZ
ты сам сказал что
foo прозрачныйp
пока его не вызовут дважды
p
foo прозрачна
а функция которую возвращает foo - нет
а функция которую возвращает foo - нет