> Понимаешь, алгебраические типы данных и отсутствие null - это не только модные
> слова акедемических смузихлебов последних 30 лет, но и возможность для компилятора
> сильно ограничить некорректные состояния вычислений и выкинуть на*рен все лишние проверки,
> заэнфорсив только одну - при проверке входящих данных.

Как ни странно, GCC в этом довольно неплохо преуспевает. А прикинь, он сам умеет в range check и если видит что я никогда не вызываю вон ту функцию с вон теми параметраим - выкидывает к хренам и проверки, и имплементацию этого случая.

Внезапно, в кернелмоде, с модулями и всем таким, это может сыграть дурную шутку: компилер внезапно не видит всех возможных сценариев. Как будет юзать вон тот код вот это и это - ок, а что насчет юзерского loadable module? Его видите ли совсем не было compile time :)