Currently, Scala is an impure language. There is some research going on how Scala can start checking and enforcing purity. Having an IO type constructor with t

Currently, Scala is an impure language. There is some research going on how Scala can start checking and enforcing purity. Having an IO type constructor with the usual monadic convenience operations is one possibility, but people are actively looking into other approaches.