4 earlier thoughts
There is at least one academic implementation of abstract interpretation for Bash:
This work is oriented toward static analysis and finding bugs, but the techniques could probably be repurposed for use in an interactive evaluator.
1 later thought
ctrl + enter
alt + enter