It's a bit clickbity. In the introduction, the paper mostly talks about the ergonomics / maintainability (that resonates the audiencel like me), but the propos

It's a bit clickbity. In the introduction, the paper mostly talks about the ergonomics / maintainability (that resonates the audiencel like me), but the proposed solution, "jash", addresses the performance problem (who cares???). That's said, the brief survey in the first half of the paper is moderately interesting. It's not a real survey but an advertisement of the authors' work. But they've done something worth a quick glance like formalizing shell's semantics [1], which looks interesting if no useful. [1] http://shell.cs.pomona.edu/ http://shell.cs.pomona.edu/