3 ms·
1. Formally defined semantics 2. Simple (LR1) grammar 3. Small, as a language 4. Static types (static need not be inflexible. Scala is static but very flexib
by throwaway_pdp09 7y ago
1. Formally defined semantics
2. Simple (LR1) grammar
3. Small, as a language
4. Static types (static need not be inflexible. Scala is static but very flexible. Perhaps overly so but whatever)
5. No undefined behaviour
6. All dumb holes such as buffer overflow always checked for
7. Good supporting tools (vague I agree but necessary)
8. Suitable, well-designed library
9. Not repeat not designed by the government which will make an utter mess of it all.
10. And pigs will soar