AZ
Проблемы возникают на уровне функций (и классов, если применимо)
б0льшая часть кода это всякие локальные функции
Size: a a a
2020 June 27
AZ
а для топ-левел сигнатуры наоборот помогают адекватные ошибки получать
AZ
я часто специально пишу сигнатуры которые могли бы быть выведены - ошибки лучше
EG
а для топ-левел сигнатуры наоборот помогают адекватные ошибки получать
В тривиальных случаях
В нетривиальных часто выясняется, что нужная тебе херота невыразима в этой системе типов
В нетривиальных часто выясняется, что нужная тебе херота невыразима в этой системе типов
EG
Мб если ты пишешь на идрисе этого не происходит, лол, но я про практические языки
DS
Отчасти это так.
Ват?
EG
Ну и даже для выразимых случаев постоянно получаешь полную томаку
AZ
В тривиальных случаях
В нетривиальных часто выясняется, что нужная тебе херота невыразима в этой системе типов
В нетривиальных часто выясняется, что нужная тебе херота невыразима в этой системе типов
где система типов не может тебе сделать то что нужно ты её разводишь скриптотой - всякин dyn Any и прочее
AZ
но в том же шарпе у нас такого вообще нет
AZ
пара сложных моментов решается кодгеном на экспрешнах в рантайме
AZ
ну и всё
EG
Типы парсеров/комбинаторов в nom это жесть, например
И даже эта жесть сгенерирована макросами
И даже эта жесть сгенерирована макросами
ЕС
Ват?
У тебя экземпляры сумтипов обладают дискриминатором, значение которых известно только в рантайме.
SP
ну в сравнении с макросами динамика то получше
EG
Ну, то есть, кто скажет, что это «без церемоний», тот сильно покривит душой
ЕС
Динамика в целом лучше нынешней статики.
DS
У тебя экземпляры сумтипов обладают дискриминатором, значение которых известно только в рантайме.
Это не меняет их типизированности никак.
ЕС
Это не меняет их типизированности никак.
Меняет
DS
Меняет
Почитай хоть что-нибудь про теорию типов, пожалуйста
AZ
Почитай хоть что-нибудь про теорию типов, пожалуйста
кстати, там же царь изобретает термин "макруха"