Исправление provaton, (текущая версия) :
написать, заинтересовать сейчас кого-то новым языком практически нереально
Вот это неправда. Есть еще куча областей, в которых можно продвигаться, в том числе и для ЯП общего назначения. Например, зависимые типы. Их до сих пор еще нет ни в одном мейнстримном языке. В плане асинхронности много работы еще.
Другой вопрос, что развитие ЯП дошло до того, что без знаний «ядерного матана» их разрабатывать уже не получается. Запасы человеческой интуиции исчерпаны.
Многие «ядерно матанные» концепты уже реализованы в экспериентальных языках (в случае зависимых типов agda, idris, итд). Нужно потихоньку эту реализацию переносить в языки доступные для среднего программиста. Кмк раст выстрелил как раз и поэтому - он красиво оформил концепты, развившиеся в других ЯП (C++, haskell).
Исходная версия provaton, :
написать, заинтересовать сейчас кого-то новым языком практически нереально
Вот это неправда. Есть еще куча областей, в которых можно продвигаться, в том числе и для ЯП общего назначения. Например, зависимые типы. Их до сих пор еще нет ни в одном мейнстримном языке. В плане асинхронности много работы еще.
Другой вопрос, что развитие ЯП дошло до того, что без знаний «ядерного матана» их разрабатывать уже не получается. Запасы человеческой интуиции исчерпаны.
Многие «ядерно матанные» концепты уже реализованы в экспериентальных языках (в случае зависимых типов agda, idris, итд). Нужно потихоньку эту реализацию переносить в языке доступные для среднего программиста. Кмк раст выстрелил как раз и поэтому - он красиво оформил концепты, развившиеся в других ЯП (C++, haskell).