Обсуждение

Хорошие мысли, спасибо.

Логическая (Пролог) и функциональная (Лисп) парадигмы еще не сказали свого последнего слова. Лично мне пролог нравиться своей четкостью. Декларативная семантика языка тоже впечатляет. Но если язык будущего родиться в штатах, то какой-то налет функциональности он будет иметь. От Лиспа - это понятно, но и от Schema ( базовый язык для CS MIT). Однако ветвь скритовых языков продолжит развиваться (например, SLS или JavaScript, Lua, Python, Ruby). Их значение для сценарных приложений будет расти. Но и тут, как только в сценарии попадает AI, у разработчиков руки тянуться к Прологу. Вижу по статьям. Меня это радует, но только размер машины вывода смущает, когда приложение запускается на клиенте. А впрочем, при теперешних скоростях передачи...

Как я понимаю нынешний тренд (и это очень, очень важно!), от "чистых парадигм" переходят к созданию исполняющей среды на базе виртуальной виртуальной машины, эффективно поддерживающей примитивы множества разных парадигм. И далее работают со смесью языковых парадигм, смесью языков и смесью нотаций. "По-разному о разном", совмещение на уровне кода разных view на ситуацию. Пожалуй, это и есть новый мейнстрим, в котором расцветут все парадигмы. Красота тут не в выдерживании чистоты каждой отдельной парадигмы, сколько в элегантности и эффективности той виртуальной виртуальной машины, которая это все сможет поддерживать. В эту точку Ian Piumarta сотоварищи и бьёт. Кстати, в MIT Schema тихонько заменяется на Python (http://www-tech.mit.edu/V125/N65/coursevi.html) -- это сейчас довольно активно обсуждается.

Как всегда, спасибо! Давно не попадалось, над чем подумать... :)