AI
Тогда нужно другое определение)
Компайл-тайм проверки какие-то
Компайл-тайм проверки какие-то
+++
Size: a a a
2020 May 23
S
в оффтопике - не обязательно
(
SP
открою секрет: растовые типы аля future<output> которые не выводятся в идешечке я воспринимаю как тоже послабление статики
S
Динамика > статика
AI
открою секрет: растовые типы аля future<output> которые не выводятся в идешечке я воспринимаю как тоже послабление статики
future<output> Объясни
DS
дэ? какие проекты с Any были и нафиг он там был нужен?
Во-первых в некоторых растовых ECS они оправдано встречаются, плюс в паре либ около всякого планирования, в силу идиотизма автора.
S
Чейнч ма майн
AI
Динамика > статика
статика > динамика
DS
открою секрет: растовые типы аля future<output> которые не выводятся в идешечке я воспринимаю как тоже послабление статики
Тогда ты должен и против associated типов в трейтах быть
AI
Во-первых в некоторых растовых ECS они оправдано встречаются, плюс в паре либ около всякого планирования, в силу идиотизма автора.
слушай, я правильно понимаю что если в проекте есть Any то вкомпиливаются вообще все типы?
AI
как с динамической диспетчеризацией но вообще для всех
SP
Тогда ты должен и против associated типов в трейтах быть
ну увы любой и интерфейс это сокрытие реального типа, да. статика не так прекрасна как казалось
DS
слушай, я правильно понимаю что если в проекте есть Any то вкомпиливаются вообще все типы?
Вот тут точно не скажу с ходу, надо проверять
DS
ну увы любой и интерфейс это сокрытие реального типа, да. статика не так прекрасна как казалось
Тут важная деталь, что ты так типобезопасность не теряешь.
DS
Какие-бы impl Trait'ы и ассосиатед типы были, компилятор всё равно это всё это знает и чекает, хоть тебе и не показывает.
SP
не теряю но комфорта работы с таким типов поубавляется
DS
Ну и да, ты тогда и против универсальных типов должен быть
AI
не теряю но комфорта работы с таким типов поубавляется
почему?
AI
если у тебя там Debug то тебе насрать какой конкретно там Debug
SP
Ну и да, ты тогда и против универсальных типов должен быть
ну в библиотечном коде они имеют место быть, т.е. когда сверху всетаки виден тип