There's nothing in computing that can't be broken by another level of indirection.
Not only is UNIX dead, it's starting to smell really bad.
Why would you have a language that is not theoretically exciting? Because it's very useful.
A smart terminal is not a smartass terminal, but rather a terminal you can educate.
When there is no type hierarchy you don't have to manage the type hierarchy.
Languages that try to disallow idiocy become themselves idiotic.