> Pure functional is fine. Pure imperative is fine. Both in the same language get complicated. Perhaps my programming language vocabulary is the limiting facto

> Pure functional is fine. Pure imperative is fine. Both in the same language get complicated. Perhaps my programming language vocabulary is the limiting factor here, but I understand “pure functional” to refer to a non-sequential computation (no ordering, just a pure transformation) and “pure imperative” to be monadic computation in Haskell (a sequence of steps, executed one after the other). I don’t see why these two could be considered incompatible — indeed, monadic computations make little sense without pure functions to transform the values inside the monad. Can you clarify?