о эстетике языков программирования, Форте и Смолтоке: интроспекция

[avva]

Мини-опрос: назовите три, с вашей точки зрения, самых красивых (своей эстетикой, своим устройством, своей структурой и т.п.) языка программирования. Ответы в комментах приветствуются.

Мои ответы:
1. Форт
2. Смолток
3. Не знаю - много разных претендентов на это место.

---

Видимо, учитывая первые два места в моём ответе, мне нравятся языки с таким свойствами:

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

Последнее свойство, правда, имеет и свои отрицательные стороны: изоляцию языка внутри интегрированной среды, сложности с написанием отдельных программ, призванных функционировать отдельно от среды, внутри других систем.

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

Смолток: дистилляция до прозрачной, и вместе с тем неимоверно мощной простоты базовой идеи объекта: набора данных, который определяет и воплощает протокол коммуникации с ним других объектов.

Оба языка - вне "мейнстрима", у обоих - своя ниша (Форт - embedded software, Смолток - financial systems). Оба мне бы хотелось видеть в мейнстриме, но этого никогда не случится.

Оба я сделал бы (вместе ещё с пятью-шестью другими языками) обязательными для преподавания в программе компьютерного факультета. Оба не являются обязательными для преподавания ни на одном известном мне факультете.

Comments

[catpad.livejournal.com]

А вот ещё забыл. Есть совершенно замечательный язык APL. Он, конечно, ужасен, но всё же, всё же... Я его люблю.
Его, кстати, преподавали в Технионе много лет и отменили года три назад. Я был последним ассистентом на этом курсе - грустно.

[cmm.livejournal.com]

дa-да-да! про APL-то и забыли.

[ а я и не знал, что отменили. жалко. впрочем, Технион начинал неумолимо опопсевать ещё на моих глазах... ]

[hotgiraffe.livejournal.com]

И прекрасный его наследник J (http://www.jsoftware.com).

K

[muchandr.livejournal.com]

Или еще более прекраный его наследник К kx.com (http://www.kx.com/), мой самый любимый язык. Впрочем, начинались оба с общего кода. Гораздо быстрее и проше чем J, но код еще компактнее. Вообще самый быстрый интерпретированный язык, мне известный. Я бы сказал нечто среднее, между APL и Scheme. (Почти весь SICP тривиально было бы переложить на К, только вместо пар value->next я бы сделал это через "трюльники" value->hash->next) Странная концепция APL что все можно выразить через dot product в отсутствует. Как сказал один умный человек, K это язык для людей, у которых слишком маленький мозг для J. Еще на нем написана самая могучая на свете база данных kdb, которую тоже мало кто знает.