LISP концептуально ценен.

Но - не статически типизированный язык => лаборатория, не production.

Простых и элегантных языков достаточно много. Лисп, Форт, Смоллток - примеры компактных базисов.

Но это динамика. Значит, это два минуса: ад рефакторинга для промышленной разработки и быстродействие достигается только сложным, недоверенным JIT.

Компактных статически типизированных, кроме Паскаль-семейства...
Ocaml неплох. Но уже сложнее по рантайму, по концепциям - ну и большой вопрос, как он терпит раздельную трансляцию модулей (а он ориентирован именно на эффективную компиляцию, это большой плюс).
Eiffel... Тоже вопросы.

А Оберон как раз в плане экосистемы, сред прямо впитал опыт и Лиспов, и Смоллтоков.
Как бы, влияние Смоллтока и Paolo Alto на Вирта, который там стажировался, никто никогда и не отрицал.
Только Вирт потом делал промышленные статически типизируемые эффективно компилируемые языки и ОС на их базе (Modula-2, Oberon), воплощая на уровне рантайма и экосистемы все плюшки, увиденные им в интерпретируемых экспериментальных языках.

Напомню, что в 80-х Модула-2 как раз была мейнстримом и индустриальным языком дальше некуда (как в СЭВ, так и на Западе - половина IBM AS\400 написана на ней), а Лиспы и Смоллтоки были не по плечу тому железу для серьёзных применений. А когда стали по плечу - их нишу уже сожрал ЖабаСкрипт ))