Serguey Zefirov (thesz) wrote,
Serguey Zefirov
thesz

Какой ужас!

http://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/

Once you’re in the IO monad, you’re stuck there forever, and are reduced to Algol-style imperative programming. You cannot easily convert between functional and monadic style without a radical restructuring of code. And you inevitably need unsafePerformIO to get anything serious done. In practical terms, you are deprived of the useful concept of a benign effect, and that just stinks!
В Хаскеле полезный эффект (benign effect) находится в районе монады ST, почему он об этом "забыл" - не понятно. Некоторые эффекты вообще находятся в районе ленивого порядка вычислений (tie the knot, for example).

Выводы из этого селективного молчания мне не нравятся.
Tags: Хаскель
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 4 comments