We live in a world where computations are pervasive but still we don't have a "nice-enough" language for programmers to work, and every existing languages have certain drawbacks. This sketch aims to think of a hypothetical language that is nice-enough.
- Lagacy (C++ headers, Python2 encodings, Bash ugliness)
- Evolution of PL theory (generics, lifetime, ...), idk too much
- Industry Experience (Inheritance considered evil, implicit type conversion (to some extent),...)
- Learning curve (I don't like to use this term, but...)
- Safety vs write speed vs compile speed vs runtime speed
- the Hardware & the OS abstraction (why is lisp slower than C)