Haskell is lazy and therefore pure, which has some interesting consequences given that almost all programs need to take some input and give some output to the outside world.

In this lecture, we'll discuss the way that haskell allows IO while keeping things pure; the IO type.

---