Статья аж 2001-го года

http://www.cs.caltech.edu/~mvanier/hacking/rants/scalable_computer_programming_languages.html

Общая идея:

Для того, чтобы быть scalable, в языке
— сборка мусора
— никаких указателей и арифметики указателей(pointer arithmetic)
— интерфейс (FFI) к языку C
— статическая проверка типов с выводом типов(type inference)
— поддержка исключений
— проверка в run-time ошибок, которые нельзя выловить на тапе компиляции — такие как выход за пределы массива или деление на ноль
— поддержка assertions и design by contract
— мощнай, ститчески проверяемая модульная система (a powerful, statically checked module system)
— поддержка ООП
— поддержка функционального програмирования
— структурные макросы (structural macros)
— поддержка компонентности
— простой, consistent и читаемый синтаксис

Правы ли были пещерные люди в далеком 2001-м году?