AZ
Да, и это хорошо работает на простых кейсов (или когда кто-то уже проделал работу, чтобы сделать твой кейс простым)
прост стоит подумать как смоделировать область
Size: a a a
2020 June 27
SP
Он ограничен, но более свободный чем у статической типизации.
статика это большая свобода через явныые ограничения
EG
Например, serde очень простой и приятный в использовании, но внутренности serde — это пиздец
DS
При чем тут системы типов к if?
Потому что if - это конструкция языка, которая имеет свои правила типизации.
Когда описывают формально системы типов, обычно для всех встроенных конструкций языка описывают правила типизации.
Когда описывают формально системы типов, обычно для всех встроенных конструкций языка описывают правила типизации.
ЕС
статика это большая свобода через явныые ограничения
Это меньшая свобода.
EG
прост стоит подумать как смоделировать область
Не всегда система типов достаточно мощная, для адекватного моделирования области
AZ
Не всегда система типов достаточно мощная, для адекватного моделирования области
Хорошая картинка в тему
AZ
Не всегда система типов достаточно мощная, для адекватного моделирования области
если системы типов недостаточно мощная ты можешь её локально ослабить
AZ
рефлекшн/динамики/dyn Any/...
ЕС
Зато он собрал и выпустил продукт, а правый будет ещё долго мучаться с тем, чтобы собрать.
AZ
вот это всё
AZ
Зато он собрал и выпустил продукт, а правый будет ещё долго мучаться с тем, чтобы собрать.
ох уже эти "Я уЖе ВыПуСтИл ПрОдУкТ и ГрЕбУ БаБкИ"
ЕС
рефлекшн/динамики/dyn Any/...
И зачем тогда статическая типизация нужна, если в итоге все сводится к рефлексии?
SP
И зачем тогда статическая типизация нужна, если в итоге все сводится к рефлексии?
>все
ЕС
AZ
И зачем тогда статическая типизация нужна, если в итоге все сводится к рефлексии?
я говорю если не хватает.
Мне вот на текущем проекте везде хватает, у меня в 1 месте рефленшон только
Мне вот на текущем проекте везде хватает, у меня в 1 месте рефленшон только
SP
динамисты больные. что я могу сказать
AZ
ну и зависит от япа, в хаскелле и того не нужно было бы
ЕС
я говорю если не хватает.
Мне вот на текущем проекте везде хватает, у меня в 1 месте рефленшон только
Мне вот на текущем проекте везде хватает, у меня в 1 месте рефленшон только
А я единорог.
🦄
🦄
SP
если не хватает одного поведения то надо жрать говно ВЕЗДЕ вплоть до выключения всех проверок и опечаток