I've got a better idea: how about you prove that it can?I already have, Forth can gernerate arbitrary machine code, the result in this case is just machine code. Code is just superfluous.
I might code something like this though, however I think this interface idea is worn out. It has been done and redone, and I haven't seen much improvement. What I really like is Chuck Moores ideas, with his context based interfaces. The screen is used in full and changes depending on the context. The problem may arise when you want to use the result of one context in another context. Perhaps in that case there is way to design around it, only experimentation will tell. User interfaces are far more fuzzy when it comes to proving one way is better than another. Code is a user interface of sorts, which makes it a hard case that Forth is a more efficient interface than other methods. I have come to realize the Forth interface may not be suitable for everyone. I only recommend it as a very good way to program, one which I have experienced first hand, I'll leave it up to the individual to decide if it is right for him/her.