Simon Peyton-Jones tell us of his latest paper:
> Tackling the Awkward Squad: monadic I/O, concurrency, exceptions,
> and foreign-language calls in Haskell.
>
> http://research.microsoft.com/~simonpj/papers/marktoberdorf.ps.gz
>
>This 40-page tutorial focuses on explaining the "bits round
>the edges" of Haskell programs, rather than the beautiful
>functional core we all know and love.
it took me a long time to understand monadic programming, but now that I
do it hurts to hear monadic I/O and concurrency described as "bits round
the edges of Haskell programs" and part of the "awkward squad" and
outside the "beautiful functional core we all know and love".
given that Dr Peyton Jones co-wrote "Concurrent Haskell" and "Imperative
Functional Programming", I'm wondering if those words reflect his true
opinion or whether it is an ironic reference to sentiments he has heard
from other people.
and I'd like to hear what Marcin thinks, too: is the IO monad
outside the beautiful core of Haskell?
thank you in advance.