История изменений
Исправление wandrien, (текущая версия) :
Сырость компилятора не аргумент против системы типов.
Тут дело такое, что это не core feature языка, а приделка сбоку.
Если же какой-то большой проект действительно будет завязан на такую систему типов как на существенную фичу, то все false positive и false negative оттуда бы быстро вычистили.
А так, конечно, штука хорошая.
Исходная версия wandrien, :
Сырость компилятора не аргумент против системы типов.
Тут дело такое, что это не core feature языка, а приделка сбоку.
Если же какой-то проект большой действительно будет завязан на такую систему типов как на существенную фичу, то все false positive и false negative оттуда бы быстро вычистили.
А так, конечно, штука хорошая.