История изменений

Я привел пример направления, в котором, по моему мнению, должна развиватся индустрия. Всмысле должен быть некий процесс, который бьёт тебя по рукам, когда видит, что ты пишешь глупость. А ну еще подсказывает, что ты наверно хотел бы тут написать. И всё. Тогда типы не нужны. Динамической типизации с выводом типов и оптимизацией внутри будет вполне достаточно.

Я привел пример направления, в котором, по моему мнению, должна развиватся индустрия. Всмысле должен быть некий процесс, который бьёт тебя по рукам, когда видит, что ты пишешь глупость. И всё. Тогда типы не нужны. Динамической типизации с выводом типов и оптимизацией внутри будет вполне достаточно.