Indeed, I think great tooling can really help keep track of stack effects (I'd also say that combinators, rather than dup, swap, drop, ..., make you generally think less about the stack). You should check out the Brief editor as a prototype idea. Just having immediate feedback with step forward/back as you edit makes a huge difference. http://trybrief.com