March 10th, 2012

flow

PL research

http://tagide.com/blog/2012/03/research-in-programming-languages/
( via http://ivan-gandhi.livejournal.com/1905986.html )

Предсказуемо. Количественный подход (находим новые паттерны, называем парадигмой, вкладываем в новый язык) уже не работает. Зачем делать "язык для акторов" если библиотека для акторов умещается во многие популярные языки без понижения уровня абстракции? Ещё один паттерн, ещё одна цифра из числа пи.

В то же время как нишевый язык без новых идей способна склепать любая обезьяна (PHP, Processing, ...). Успех языка в большей степени обеспечивается выбором ниши и механизмами продвижения, чем его прочими характеристиками.

Если же приложить усилия к качеству работы с уже найденными за эти десятилетия паттернами, то в дело пойдут материалы из философии, когнитивной лингвистики и прочих далёких от CS дисциплин. Но качество не количество, формально измерить его на фоне ниши и продвижения будет сложно. Даже годы спустя.

Так что сегодня дизайн языков программирования является творческой, но не академической задачей. Что не отменяет необходимости некоторых количественных академических знаний.