in a purely functional language, you don't need to think about the stack any more. your code expresses its dependencies via composition and the order in which t

in a purely functional language, you don't need to think about the stack any more. your code expresses its dependencies via composition and the order in which things happen becomes the compiler's concern. you don't need or want to have an understanding of what's happening in an imperative sense. bam, a whole class of bugs made impossible. [edit: you're right though, if you actually do need to understand things in an imperative sense, e.g. for performance optimizations, things get complicated.]