VL
@lisovskyvlad Это язык Nix. Что интересно, единственный относительно широко использующийся язык с персистентными структурами данных, помимо Clojure (по крайней мере, из тех, что я нашёл, а я искал).
Спасибо, первый раз, правда, слышу
Size: a a a
2019 June 10
MG
Потому что рядом с тобой нет человека, который через каждую строчку говорит 'NixOS' :)
MG
У меня по поводу отсутствующих типов есть такая проблема (Шрирам её озвучил с другого бока): систему без статических типов очень сложно исследовать с точки зрения безопасности.
MG
Если мы хотим это делать модульно. Для каждой функции приходится выписывать инварианты, которые выполняются на входных параметрах из домена Universe, так как очень сложно отследить, что же конкретно к ней приходит на вход.
MG
"Если этой функции подать на вход
nil, то она выдаст -1, хотя логика у неё такая, что она должна возвращать неотрицательное число." И ищи теперь две вещи: 1) есть ли ситуации, когда на вход этой функции попадёт nil? 2) приведёт ли -1 к какому-либо сбою по безопасности в потребителях значений?MG
Дяде Бобу очень легко говорить "мы специфицируем только поведение в штатных ситуациях", но он строит тем самым пресловутую цивилизацию, разрушаемую первым же залётным дятлом.
VL
У меня по поводу отсутствующих типов есть такая проблема (Шрирам её озвучил с другого бока): систему без статических типов очень сложно исследовать с точки зрения безопасности.
а Шрирам известный человек вообще ?
VL
Интересный диалог получился так то
VL
MG
@lisovskyvlad Про него есть страница в Википедии :)
VL
Отцы и ветараны спорят
VL
Дядя Боб вроде как про бизнес больше, а Шрирам про науку
VL
Теперь вопрос: является ли программирование коммерческое наукой ?
MG
Дядя Боб как раз про программирование.
VL
Да, программирования для бизнеса
VL
Если мы хотим это делать модульно. Для каждой функции приходится выписывать инварианты, которые выполняются на входных параметрах из домена Universe, так как очень сложно отследить, что же конкретно к ней приходит на вход.
Вот да
AG
Дядя Боб сам на кложе пишет ) и прям хвалит как best ever
MG
Хвалит как неофит, правда.