: Булева слепота
Юзер![[info]](http://lj.rossia.org/img/userinfo.gif)
ketmar поднимает важную тему. В самом деле, сколько можно это терпеть? Как известно, булев тип -- это тип, который имеет ровно два значения. Если вы используете его, чтобы проверить выполняется ли некоторое условие (предикат), то вы оказываетесь в весьма глупом положении, потому что эти значения сами по себе никак не связаны с условием, которые вы хотите проверить. Это явление известно как булева слепота.
Механизм зависимых типов позволяет излечиться от булевой слепоты.
( Read more... )
Незатейливый теоретико-типовой юморок:
Юзер
ketmar поднимает важную тему. В самом деле, сколько можно это терпеть? Как известно, булев тип -- это тип, который имеет ровно два значения. Если вы используете его, чтобы проверить выполняется ли некоторое условие (предикат), то вы оказываетесь в весьма глупом положении, потому что эти значения сами по себе никак не связаны с условием, которые вы хотите проверить. Это явление известно как булева слепота. Механизм зависимых типов позволяет излечиться от булевой слепоты.
( Read more... )
Незатейливый теоретико-типовой юморок:
Current Mood: 
good
goodCurrent Music: Tying Tiffany -- Spin Around