Про парадокс Блаба

[y_ug]

Поль Грэм пишет о мощности языков. В данном случае программирования.
Программисты очень привязываются к своим любимым языкам, а я не хочу оскорбить ничьи чувства, поэтому я объясню свою позицию, используя гипотетический язык с названием Блаб

Comments

[john_archer]

А математическая индукция в этом случае работает?

[y_ug]

Ну, если совсем строго говоря -- конечно, не работает. Но это ведь была метафора, призванная показать наличие в языках неких уникальных фишек, ценность которых непонятна посторонним. Реальная, ощутимая ценность, которая повышает производительность и устраняет ошибки.
Мы же знаем что на ассемблере в здравом уме писать мнего кода никто не захочет, что Кобол и Бейсик несовершенны, что Фортран, его сколько ни перелицовывай, всё-таки устарел, что ПЛ-1 оказался слишком сложным, что макросы и указатели в Си провоцируют ошибки, что в с++ зачем-то ввели шаблоны, лямбды и вывод типов, а в яву женерики и тоже лямбды, и тоже, вывод типов, что отсутствие контроля типов в динамических языках ведёт опять-таки к ошибкам.

[john_archer]

С примерами, как ты выше проиллюстрировал, она обретает законченный вид.

Отсюда и вопрос. Что же касается того, что и куда ввели опосля, то, к сожалению, далеко не всегда поздние добавления и «улучшизмы» являются таковыми.

Не во всех динамических языках, кстати говоря, отсутствует контроль типов. Пример - Scala. При этом, он лаконичнее Явы и более, на мой взгляд, понятный, что тоже немаловажно.

Т.е. теория эволюции работает и в случае языков, хотя её пытаются остановить разные любители придумывать упрощенные языки для неспециалистов. А ведь интересную задачку пытаются решить - изобрести инструментарий под разные предметные области (вспомни ту же Дракулу), но по мере расширения натыкаются на традиционные ограничения: тут не подумали, тут навставляли костылей, а здесь решили сделать времянку на соплях, да она и осталась.

[y_ug]

На самом деле вид вовсе не законченный. Пропущено напоминание о том, что "итерация -- от лукавого, рекурсия -- от Бога". Дело в том что Грэм (а это, как-никак, основатель y-combinator и hacker news) писал не "в общем", а про совершенно конкретный случай. Про то как и почему он писал в середине 90-х на практически голом лиспе веб-сервер и коммерческое приложение к нему, которое потом продал яхе. Фишки были в том, что функциональный код получается компактнее и содержит меньше ошибок (если компилируется:), а также в возможности благодаря свойствам лисп-машины менять определения отдельных лисповских функций на лету прямо на работающем сервере, что помогло сильно ускорить разработку