> I'd like to have a language that is imperative when written and functional when read :) Depending on which language Monads give you exactly that bridge betwe

> I'd like to have a language that is imperative when written and functional when read :) Depending on which language Monads give you exactly that bridge between imperative and functional. In your example, you can always choose to have side effects in that deep call. Personally, I like a type-driven approach. Then, I do not care so much where functions are (they will be grouped logically, but could be anywhere), as long as the type in and the type out matches.