Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
From: Andrei Klimov (klimov@keldysh.ru)
Date: Wed Oct 13 2004 - 19:55:23 MSD
Добрый вечер, Aнтон!
Да, Вы, наверное, действительно не все заметили в этом большом тексте.:-)
Работа Турчина -- это отнюдь не обзор, а изложение новых результатов,
которые можно считать дальнейшим продвижением по линии, по которой,
по-видимому, стремились пройти и Брауэр, и Марков, но остановились раньше.
А по поводу истоков Рефала, даже если бы Рефал действительно
представлял собой лишь "чуть переработанный нормальный алгорифм",
то это не умаляло бы его как язык программирования, поскольку
между теоретической моделью вычислений и практическим
языком программирования -- всегда дистанция огромного размера.
И хотя в первых работах по Рефалу 60-х годов, Турчин указывал
на алгорифмы Маркова как на истоки, сейчас, когда в мире
функциональных языков было переработано много идей,
сопоставление с нормальными алгорифмами выглядит бедно.
Сейчас это лишь чисто исторический факт и интересный
только потому, что это было важно для самого Турчина.
По сравнению с нормальными алгорифмами Маркова
в Рефале появились следующие основные понятия, которые
превратили абстрактное построение в удобный язык:
- данные (рефал-выражения) -- это деревья:
строки со скобками, а не просто строки как в алгорифмах;
(заметим, что ассоциативность конкатенации сохранена,
что отличает рефал от прочих современных функ.языков);
- вызов функций, как средство локализации области
преобразования данных (в алгорифмах, формально
на каждом шаге область замены -- вся строка,
но для локализации рекомендуется прием программирования --
использование символа-указателя точки замены).
- средства описания функций (собственно язык), отражающие
эти расширения.
IMHO эти изменения радикальные -- настолько, что некоторые
из этих идей (симметричность левого/правого в образцах и
отождествление с перебором) до сих не вошли в другие популярные
функциональные языки.
Далее можно обсуждать детали синтаксиса Рефала и богатство
его семантики, но в любом случае это уже будет лежать
далеко-о-о за пределами идей нормальных алгорифмов.
Андрей.
----- Original Message -----
From: "A.A.Vladimirov" <vladimi@mech.math.msu.su>
To: <refal@botik.ru>
Sent: 13 Oct 2004 18:04
Subject: Re: Turchin.-.The.Cybernetic.Foundation.of.Mathematics.(1983).djvu
> >
>> Вот неожиданно :-) появился малодоступный отчет 1983 года:
>>
>> ed2k://|file|[Metamathematics].Turchin.-.The.Cybernetic.Foundation.of.Mathem
>> atics.(1983).djvu|4150006|E21E76E61F22C79913AF3A0E1B9C02D9|/
>>
>
> Впечатление, честно говоря, странное.
>
> Получается, не было в истории математики ни Брауэра, ни Маркова
> (это при том, что о существовании и взглядах второго автор
> обзора не мог не знать - как и о том, что рефал представляет
> собой чуть переработанный нормальный алгорифм)? Или я чего-то в
> тексте не заметил?
>
> С уважением,
> А.Владимиров
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD