Доброе утро, Андрей! А Рутен подписан на эту рассылку? Просто у меня есть свои идеи на этот счёт, интересно было бы с ним обсудить.
Идея в том, каким должно быть подмножество КС-грамматик, на котором описываются типы в программах на Рефале. Это подмножество замкнуто относительно операции над множествами и конкатенации и может сопоставляться с образцами Рефала. Реализацию (хотя бы частично) дал на диплом студенту, посмотрим, что получится. А Рутен этим занимался 30 лет назад, и наверняка продвинулся дальше, чем я. Проблема изобретения велосипедов не только в том, что повторно тратишь время на то, что уже есть, а ещё и в том, что велосипеды получаются с квадратными колёсами. С уважением, Александр Коновалов From: Andrei Klimov andrei_AT_klimov.net Sent: Saturday, March 27, 2021 8:59 PM To: [email protected] Subject: Re: Refal6-basic Von: Александр Коновалов <[email protected]> Gesendet: Freitag, 26. März 2021 22:41 An: [email protected] Betreff: Re: Refal6-basic [...] Андрей Валентинович рассказывал, что в ИПМ кто-то писал диссертацию про проверку типов Рефала с использованием регулярных выражений, а потом уехал в Германию. Это не Вы были? Это был Рутен Гурин. Сейчас он в Италии. В 1980е годы он был аспирант ВМиК и у него была уже написана диссертация на эту тему, когда начались бурные процессы в обществе и наших душах, и как-то получилось, что работа не была доведена до защиты. Возможная причина помимо внешних обстоятельств, как я чувствую теперь (а Рутен может не согласиться), – в том, что это была весьма пионерская работа. Мода на soft typing и gradual typing появилась намного позже. А пионерам трудно психологически: нет реакции общества, не понятна актуальность, может казаться, что это "ерунда", коль этим никто не занимается, а может оценить лишь узкий круг друзей. Когда делаешь улучшение в решении уже хорошо поставленной задачи, намного легче и самому двигаться вперед, и диссовету проголосовать за. А тогда многое в CS только начиналось. Время от времени в памяти всплывают примеры, когда мы что-то изобретали в мире ФП на Рефале, обсуждали в своем узком кругу, радовались как красивому трюку, а потом, лет через 10-20, читали в зарубежных статьях как о ключевых идеях. Подозреваю (но пусть Рутен меня опровергнет), что с этой работой получилось что-то то похожее: изобрел, отпрототипировал, написал кирпич, но сам не оценил настолько, чтобы хватило энергии заниматься оставшимися бюрократическими делами по проводке через дисс-совет на фоне соблазнов другой работы с хорошими условиями для себя и семьи. А времена были такие, что будущее было в тумане... Такая жизнь... Андрей Климов
