Вопрос в том что "оно вам и не надо". Вы говорите о спецефических языках. Популярные языки в неменьшей мере потому и популярны что просты. наколядовать высококвалифицированных кадров стоит дорого поэтому бизнес ищет язык на котором сможет писать школьник.
Ну... тот же Prolog... Если брать datalog и некоторые языки запросов в графовых базах, то вы увидете корни пролога там. Rust сейчас имеет виток популярности, Haskell на слуху как минимум, все говорят, но никто не может на нём писать, ктоме растыі познавших дзен. Ada используется там, где нужна надёжность и верифицироруемость, вершина для императивного кода. В целом я несколько удивлён, что инспирированные Eifell контранты как-то мало идут в другие языки программирования. Erlang это RabbitMQ и вообще телекоммуникации, где много потоков обработки. Smalltalk + Forth да, мущей для интересных концепций. Smalltalk иллюстрация спагетти лайк ООП, и почему так делать не очень хорошо. CoQ это доказательство утверждений и верификация, средство для избранных, но активно развивается.
Как по мне, это полезный список, на что можно обратить внимание, из того, что не входит в майнстрим. По крайней мере мне показались эти языки интересными, мой лист. Ну ещё CUDA или OpenCL.