[eru]

Yes. And FP may even go so far, and uphold this segregation at the language level. I.e. Haskell's type system and IO Monad.