Про матчастину

[dmytrish]

Отут si14 героїчно бореться із вітряками підступної пропаганди Хаскеля:

http://si14.livejournal.com/53068.html

Особливо комічно виглядає вказання Constraint Logical Programming як альтернативи вивченню систем типів і наступний коментар пана clayrat про те, що «констрейнтное и прочее логическое программирование совершенно равномощно соответствующим системам типов, благодаря известным изоморфизмам К-Г»