On Sun, Mar 28, 2021 at 11:43 AM Александр Коновалов a.v.konovalov87_AT_mail.ru <refal@botik.ru> wrote:
> Доброе утро, Андрей! > > А Рутен подписан на эту рассылку? Просто у меня есть свои идеи на этот > счёт, интересно было бы с ним обсудить. > Александр, Да, Рутен подписал. Надеюсь, заглядывает в нашу переписку. ;-) Отмечу только, что за последние два дня он не получил 3 письма – мне пришли отлупы от его сервера (я получаю их как администратор): 1 от Кондратьева, 2 от вас. Якобы письма содержали вирус. Но от других серверов не было претензий, и приложенных файлов не было, чтобы на них ругаться. Это были мелкие вопросы по установке Refal-6b. Может, строка с Gnuwin32 пугала? Похожих отлупов давно не было (что я и не помню). Всего наилучшего, Андрей Идея в том, каким должно быть подмножество КС-грамматик, на котором > описываются типы в программах на Рефале. Это подмножество замкнуто > относительно операции над множествами и конкатенации и может сопоставляться > с образцами Рефала. Реализацию (хотя бы частично) дал на диплом студенту, > посмотрим, что получится. > > А Рутен этим занимался 30 лет назад, и наверняка продвинулся дальше, чем > я. Проблема изобретения велосипедов не только в том, что повторно тратишь > время на то, что уже есть, а ещё и в том, что велосипеды получаются с > квадратными колёсами. > > > С уважением, > Александр Коновалов > > > > *From:* Andrei Klimov andrei_AT_klimov.net <refal@botik.ru> > *Sent:* Saturday, March 27, 2021 8:59 PM > *To:* refal@botik.ru > *Subject:* Re: Refal6-basic > > >> *Von:* Александр Коновалов <a.v.konovalo...@mail.ru> >> *Gesendet:* Freitag, 26. März 2021 22:41 >> *An:* nikolai.kondrat...@gmail.com >> *Betreff:* Re: Refal6-basic >> >> [...] >> >> Андрей Валентинович рассказывал, что в ИПМ кто-то писал диссертацию про >> проверку типов Рефала с использованием регулярных выражений, а потом уехал >> в Германию. Это не Вы были? >> > > Это был Рутен Гурин. Сейчас он в Италии. В 1980е годы он был аспирант ВМиК > и у него была уже написана диссертация на эту тему, когда начались бурные > процессы в обществе и наших душах, и как-то получилось, что работа не была > доведена до защиты. Возможная причина помимо внешних обстоятельств, как я > чувствую теперь (а Рутен может не согласиться), – в том, что это была > весьма пионерская работа. Мода на soft typing и gradual typing появилась > намного позже. А пионерам трудно психологически: нет реакции общества, не > понятна актуальность, может казаться, что это "ерунда", коль этим никто не > занимается, а может оценить лишь узкий круг друзей. Когда делаешь улучшение > в решении уже хорошо поставленной задачи, намного легче и самому двигаться > вперед, и диссовету проголосовать за. А тогда многое в CS только > начиналось. Время от времени в памяти всплывают примеры, когда мы что-то > изобретали в мире ФП на Рефале, обсуждали в своем узком кругу, радовались > как красивому трюку, а потом, лет через 10-20, читали в зарубежных статьях > как о ключевых идеях. Подозреваю (но пусть Рутен меня опровергнет), что с > этой работой получилось что-то то похожее: изобрел, отпрототипировал, > написал кирпич, но сам не оценил настолько, чтобы хватило энергии > заниматься оставшимися бюрократическими делами по проводке через дисс-совет > на фоне соблазнов другой работы с хорошими условиями для себя и семьи. А > времена были такие, что будущее было в тумане... > > Такая жизнь... > > Андрей Климов >