xeno_by (xeno_by) wrote,
xeno_by
xeno_by

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" :)
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 9 comments