June 25th, 2013

glider

Why not be dependently typed?

МакБрайд про зависимые типы в Хаскелле: http://stackoverflow.com/questions/12961651/why-not-be-dependently-typed/13241158#13241158 + свежая папера его же на ту же тему: http://www.reddit.com/r/haskell/comments/1gz03w/hasochism_the_pleasure_and_pain_of_dependently/.

Еще понравилась цитата: "Dependent types make a lot of people nervous. They make me nervous, but I like being nervous, or at least I find it hard not to be nervous anyway" :)