Subject: Ортогонализация языков
From: Savtchenko Maxim (savmaxru@gcnet.ru)
Date: Wed Feb 18 2004 - 01:33:38 MSK
Всем добрый день.
Пишу в продолжение прежней дискуссии (Тема: Conditions in Refal-5). В тот раз я,
судя по всему, влез в тематику, где все "велосипеды" собраны, объезжены и
утилизованы ещё когда я под стол пешком ходил, так что прошу прощения. Однако,
Ваш, Аркадий, последний ответ породил у меня давно назревший вопрос. Я в
искусстве создания языков человек новый, эта курсовая по интелибовскому диалекту
Рефала - фактически мой первый серьёзный опыт в этой области. В своём ответе
(если я Вас правильно понял) Вы написали, что предоженный мной подход уже
обсуждался, но был отвергнут, дабы язык не стал СЛИШКОМ "ортогонализован". В
связи с этим утверждением, у меня возник дурацкий вопрос: чем плоха избыточная
ортогонализация? Не сочтите за дилетантские философствования, я действительно не
понимаю этого, скорее всего из за нехватки опыта. Мне известно большое
количество языков, страдающих от недостатка ортогональности (это кое-где мешает
даже в C++). Я имел печальный опыт работы с языками, авторы которых, видимо,
вообще не знали этого понятия (достаточно вспомнить командный интерпретатор
ДОСа). Однако, я ни разу не сталкивался со слишком ортогонализованным языком.
Правда, я слышал сплетни о том, что какой-то язык от этого помер (кажется один
из Алголов). Мне вполне понятны очевидные проблемы с умножением и усложнением
сущностей, которые ведут к сложностям с построением трансляторов, и пониманием
модели вычислений, но такие вещи почему-то ничуть не мешают представителям
других точных наук (всяким там физикам и математикам). Достаточно взглянуть на
некоторые зубодробительные колмогоровские тождества (не к ночи будут помянуты)
длиной в несколько строк мелким шрифтом. Вобщем, если где-то в сети есть
материалы по этой философской проблеме или спецификации подобных языков с
объяснениями "почему так нельзя делать", дайте ссылку - я не нашёл.
P. S. Зарание прошу прощения в ответ на возможные обвинения в оффтопике, тема
действительно не имеет прямого касательства с Рефалом.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD