Input, Transformer Stack, Output
摘要
What a road it has been so far! We have laid a solid foundation of types, functions, and various useful abstractions built in a neat hierarchy of typeclasses such as Functor–Applicative–Monad. Now, finally, we are very close to starting to build real-world programs. The two remaining puzzle pieces are the so-called IO Monad, which will allow us to perform input/output operations, and Monad transformer stacks – the beautiful way to structure Haskell programs of arbitrary complexity. They are the topic of this chapter.