LINUX.ORG.RU

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

Исправление wandrien, (текущая версия) :

Сырость компилятора не аргумент против системы типов.

Тут дело такое, что это не core feature языка, а приделка сбоку.

Если же какой-то большой проект действительно будет завязан на такую систему типов как на существенную фичу, то все false positive и false negative оттуда бы быстро вычистили.

А так, конечно, штука хорошая.

Исходная версия wandrien, :

Сырость компилятора не аргумент против системы типов.

Тут дело такое, что это не core feature языка, а приделка сбоку.

Если же какой-то проект большой действительно будет завязан на такую систему типов как на существенную фичу, то все false positive и false negative оттуда бы быстро вычистили.

А так, конечно, штука хорошая.