AZ
я не опнимаю как вы еще не забанили "короля"
Size: a a a
2020 May 08
SP
вот проблема динамистов что они считают что динамика это прям свойство. типа вот у нас скучная статика где прописаны типы, а мы мол сделали чтобы было богато, чтобы приходил сочный яркий обьект о котором мы ничего не знаем настолько что его не засунуть ни в интерфейс ли в трейтбаунд
AZ
Хорошо, я на расте пишу лисп
а кто то на жс пишет компилятор хаскеля
AZ
различные типизации не являются подмножествами друг друга
AZ
если сову не натягивать
AZ
либо у тебя есть множество типов в япе, либо монотип
SP
ты тоже не считаешь что динамика первична а статика это надстройка над ней?
SP
все плохо в этом мире
AZ
по-моему в "динамические япы не более открыты" про это конкретно было
SP
и да. я даже не знаю как можно написать статью чтобы кого то убедить. это такие фундаментальные проебы в мышлении
AZ
в частности что динамика - это круто и вау потому что слово хорошее
AZ
SP
динамика это значит просто не знать что происходит у тебя в коде. этол ступень ниже чем знать, я не знаю кому это не очевидно
p
Динамика — это надстройка над статикой
Кек
B
кстати да, английская студия сразу -50% пиздеца
p
Box<dyn Any>
Всё ещё статика
p
Хорошо, я на расте пишу лисп
Сделаешь из раста динамически типизированный ничего не выкинув позовешь
p
Весь смысл динамики в том что в программе могут взаимодействовать сущности не известные на этапе компиляции
Не могут
p
Это вообще ключевой вопрос в теории яп, как сделать так чтобы можно было отказываться к статике когда динамика не нужна
Динамика не нужна никогда
Вы гениальны
Вы гениальны
AZ
выглядит как промпт