Нижеприведенное письмо Леонида Эйсымонта дошло не всем из-за большого (9МБ)
приложенного файла, который не пропустили некоторые почтовые сервера.
Поэтому привожу его без файла, чтобы получили все. Судя по пришедшим
отлупам не прошло:
- на 2 адреса на @supercompilers.ru и @refal.ru, размещенных на
мейл-сервере провайдера valuehost.ru
- другим подписчикам, надеюсь, дошло; проверьте
- в web-архивы нашей рассылки:
- https://groups.google.com/group/refal – отсюда пришел отлуп
- https://www.mail-archive.com/refal@botik.ru/ – отсюда отлупа не
было, но и письма в нем нет
Больше файлы лучше посылать двумя письмами: сначала письмо с текстом без
файла, но с предупреждением типа: "сейчас пошлю файл", а потом делаете
Reply to All на отосланное письмо и добавляете файл – можно с припиской
типа: "то же письмо с файлом". Тогда получатели могут выгрузить файл и
удалить письмо с ним из своего почтового архива, чтобы не занимал места.
Всего наилучшего,
Андрей Климов
---------- Forwarded message ---------
From: Eisymont Leonid <refal@botik.ru>
Date: Sat, Feb 9, 2019 at 12:43 PM
Subject: Re: Немного статистики
To: refal@botik.ru <refal@botik.ru>
Александр, богатая у Вас трудовая биография. На БЭСМ-6 также работал с
Рефалом, правда с 1972 года, потом, 1984-го года - на ЕС ЭВМ, потом на
персоналках.
Если я правильно понял Ваш взгляд на Рефал, что в нем имеется гораздо
больше, что можно ждать от языка программирования, то это как раз то, о что
мы обсуждали в ИПМ, начиная с семидесятых годов в контексте темы
символьного процессора. Посылаю работу тех лет, где содержится взгляд на
перспективу. Она опередила события лет на сорок, это мне тогда старшие
товарищи говорили. Вот, теперь в самый раз, даже опаздываем уже.
Направление функционального суперкомпьютера на базе языка типа Рефала - это
одна из пяти основных тем научных исследований, которые меня интересуют.
Хоть она и наиболее родная, но не первоочередная. Даже на первоочередные
две темы (мультитредовый процессор и сети на многопортовых маршрутизаторах
с ограниченным малым диаметром), а они являются краеугольными для
обеспечения национальной безопасности, пробить финансирование и
организовать работы проблемно. И это при том, что у меня тут есть опыт и
определенные связи.
Мы с коллегами решили не терять время и работаем на опережение, без
финансирования, чисто на энтузиазме. Бонусы - публикации и защиты
диссертациq, это для молодежи, а также знания и наработки, которые мы ,
старшее поколение, им передаем. Для нас, старших, - возможность передать
хоть что-то, над чем работали, но уже не успеваем довести до образцов -
годы.
Если успеем получить какие-то знаковые результаты, то обратиться к
руководству ОПК и страны возможности некоторые есть, но с расплывчатыми
идеями и абстракциями туда не принято обращаться, нужны хорошие наработки.
Вам, наверное, так и надо начинать, постарайтесь изложить свои идеи в виде
наброска статьи или даже статьи, готовы обсуждать.
По поводу реализаций Рефала-2 также можем помочь.
Материалы по использованию Рефала также со временем перешлю.
Л.Эйсымонт.
08.02.2019, 23:35, "Александр Гусев gusev_aleksandr_AT_mail.ru" <
refal@botik.ru>:
Леониду, по поводу "представиться".
Александр Гусев, Санкт-Петербург.
С рефалом познакомился примерно в 1987 году, работал в 1 НИИ МО СССР (на
войну) и у нас была БЭСМ-6, где рефал был совершенно штатным языком.
Вывел на него мой наставник по-жизни Клушин Александр Иванович. С его
подачи наша команда училась у программистов из Дубны (ОИЯИ), главным
образом. Это было очень круто.
Опыт работы с рефалом небольшой - участие в компиляторе SQL для СУБД,
работающей на БЭСМ-6. Потом, в 90-е был незаконченный проект по написанию
компилятора с языка С для БЭСМ-6 ввиду создания эмулятора этой машины на
новой элементной базе силами дубнинцев. Не вполне стандартный шаг именно
для С, но было очеь интересно сделать. Однако проект МикроБ не выдержал
рыночных отношений и заглох на стадии работающего уже прототипа в железе.
Далее пришлось удариться в финансовое программирование и отрывать
банковскую отрасль от калькуляторов. Сначала участвовал в написании
специализированной СУБД, потом пришло время заграничных. Сейчас стало,
наконец, скучно в этой области. Улучшения в производственной жизни
сменились нагромождениями и административной суетой. Тут вспомнил про
удовольствие, с которым программировал на рефале. Поскольку знаком с
параллельными высоконагруженными архитектурами, хочется создать что-то
подобное для систем с ярлыком ИИ. Сейчас это опять в тренде, а публика
знает, в основном, про нейронные сети - технологию совсем другого свойства.
Думаю, что ели посвятить десяток лет такому проекту, они будут потрачены не
зря. Осталось понять, как найти финансирование.
Если сделать такой сервер - универсальный решатель, то я представляю
множество приложений, которыми его можно наполнять и вариантов
использования. Интересны тут аналогии между массовой обработкой запросов к
базе данных (другой декларативный язык) и массовым решением задач вывода.
Применима весьма интересная математика и, вообще, такого ещё никто не
делал. И одному это не поднять, я думаю. По крайней мере, в приемлемое
время и с нужным качеством. И систему мастерить и приложения искать и
отлаживать и пиарить всё это.
А внутренний голос мне твердит: "Иди и сделай".
А рефал хорош тем, что "не калечит ум" - это важно. Кроме того, при
прочтении исходного описания я увидел там намёки на что-то более крутое,
чем просто последовательную конкретизацию, и этой функциональности в
существующей реализации я не увидел.. Недавно стал перечитывать - пока не
нашёл. Разберусь - сообщу.
Вот такой я сказочник. Не технарь - сразу говорю.
Про приложения вижу уклон в моделирование цифровых систем, что для меня
весьма неожиданно. Плюс копание в собственных потрохах - прямо по
Достоевскому (суперкомпиляция не требует каких-то внешних приложений).
Наверное, для начала нужно познакомиться с диалектами и сделать для себя
что-нибудь полезное на одном из них. Только линукс ставить не хочется пока
что. Хотя это, наверное, не принципиально, нужно будет - будет и он.
Пятница, 8 февраля 2019, 19:05 +03:00 от Eisymont Leonid
verger-lk_AT_yandex.ru <refal@botik.ru>:
Интересное письмо, порадовало. А Вы можете представиться? Или просто, "с
какой целью интересуетесь"?
Есть материал по истории использования. Это компиляторы, причем в очень
серьезных проектах, когда другие просто не брались, близко не было.
Были имитационные модели процессоров, когда надо было быстро сделать
исследовательскую модель на уровне временных диаграмм выполнения команд.
Даже медленную.
Аналитические выкладки - отдельная тема, это не мое. Про другие приложения
м.б. коллеги скажут, но, по-моему, были далекие от жизни абстракции.
Рабочая реализация есть, это Рефал-2, с очень богатой библиотекой
встроенных функций. Она у нас есть, для Линукса.
Что Вы понимаете под серверным интерпретатором? У нас реализация по схеме
Сергея Романенко - компиляция и далее интерпретатор языка сборки.
Измеряем скорость по-старинке, в количестве шагов в секунду, т.е. в
количестве выполненных конкретизаций в секунду. Пока все. Материалы
перешлю, пока на работе, не хочу отвлекаться. Задавайте вопросы.
Л.Эйсымонт
С уважением,
Александр Гусев
gusev_aleksa...@mail.ru
