поделитесь статьей? я бы почитал

странная классификация

вот кресты например более чем императивны

но я не назвал бы их простыми

я специально написал - в изучении

кресты в изучении более чем просты - указатели, массивы, etc

да и в изучении тоже не особо простые

Именно / строго по теме чата я что-то ничего не помню. :(
Вспоминается что-то про machine learning в оптимизации конкретно SQL, например... но совсем не впечатляющее.

Ключевые слова: adaptive compilation, self-tuning, program synthesis.

Условия "всегда" никто и не ставит. 😊

Потому что Норвиг написал "Python is an acceptable Lisp" на чём и угомонились. 😂

Кроме того, новые высокоуровневые языки создают плотным потоком: RedPRL, cubicaltt, yacctt, Arend не считая множества других.

Более того, (около-)логические языки тоже создают: Datafun, Flix и другие.

cubicaltt и yacctt это были по сути прототипы для кубического режима в агде

вот ред и аренд ближе к новым языкам

Так что вопрос, скорее, в фокусе внимания. А, как известно, "attention is all you need". 😉

Но и как языки они до сих пор на Гитхабе валяются! 😃

А ещё продолжают развиваться Links, Ur/Web, Unison и многие, многие другие...

Спасибо, что-то нашёл (в истории чата)!

Flix — забавный результат скрещивания Scala и Datalog. С одной стороны, вроде бы есть доп. удобства для компиляторщиков. А с другой — несложно ведь и сторонний решатель выбрать по вкусу.

С языками — как с худ. литературой. Редкий случай, когда хороший роман получается на основе механистично-комбинаторного подхода. Да и кулинарией примерно так же — берешь по отдельности хорошие вкусные вещи, сливаешь все в кастрюлю, а результат почему-то получается гадкий.