так вот. весь срач в вопросе о том что первично и о том что есть развитие над первичным.

тезис динамистов: статика первична и мы засунули ее в рантайм и делаем из нее что хотим "под задачу"

тезис статистов: рантайм первичен и мы сделали способ эмулировать его поведение в компайлтайме.

так вот динамисты сейчас борятся с ветрянными мельницами, только очень хитро прячутся под ложными тезисами прошлой эпохи. опыт тайпскрипта/mypy как раз доказывает что статика есть волевое насаждение порядка над безтиповым хаосом а не наоборот.

т.е. нет никакой дихотомии, попытки сгладить углы называя говоря "каждой задаче свой инструмент" просто нелепы.

Ну вообще в всей истории с типами первично то, что наивная теория множеств сосёт и нужно что-то похожее по выразительности, но без парадоксов, для того, чтобы построить основания математики

что ты имеешь ввиду?

древние люди еще поняли что чтобы собирать детальки можно не все делать круглым чтобы везде влезало все а кодить в форме что куда влазиит

откуда фотка

Т.е. посмотри в качестве исторической справки на simply typed lambda calculus, из 40го года

Т.е. посмотри в качестве исторической справки на simply typed lambda calculus, из 40го года