Я Kate юзаю. Мне нормально :)

Фортран уже не в моде?

Весна пришла :)

Так вот как появляются хипстерские ЯП...

CLang ¯\_(ツ)_/¯

Юля знает про эти твои отношения с Катей?

Боюсь, что нет)

Это все понятно. Но представьте, что должна делать среда для переименования метода. Нужно сначала развернуть все макросы, чтобы найти его настоящие упоминания, а потом прокрутить все назад, чтобы определить что именно в исходном коде менять.  А там еще может быть произвольная логика...

Я для фортрана для развертывания общих блоков примерно так и делаю. По факту сейчас это гигантская куча регулярных выражений (потому что нечего пытаться одновременно парсить и free-, и fixed-форматы), которая отслеживает все использования общих блоков и декларации типов переменных общих блоков.
А вообще тут очень сильно помогает АСТ дерево с включенными в него комментариями и якорями к строкам исходного файла. Я только форматирование исходных текстов сейчас теряю

Я АСТ полностью не строю: код хранится блоками исходного кода. Так проще его перестраивать.

Если в макросе unbounded polymorphism, то не сложнее случая "метод вызывается из C++ шаблона". Если нет - вообще как с обычной функцией.

Прзанудствую. Thunk - это звук запихиваемого в магазин патрона. Теоретически, это тот самый cur(f) в диаграмме экспоненциала. Практически - это создание замыкания кода с его окружением и запись этой пары в стек. Одинаково работает и для энергичных и для call-by-name вычичлений. Последние технически отличаются только способом формирования пар (или структур) при создании окружений: в окружения пишутся thunk-и, а не значения. Ленивые вычислния - это оптимизация CBN. Thunk-и не являются чем-то для них специфичным.

самое сложное с макросами — определить границы видимости, то есть отличить искомую сущности от другой с таким же именем

русский перевод TAPL в бумаге насколько вменяем — стоит ли брать?

Если макросы на уровне AST или текста (а не на уровне системы типов) и рассматривается отдельная библиотека, то да, для всех кейсов не вывести. А если цельное приложение, то компилятор и так выводит.

Лень + mixfix операторы = почти любой синтаксис - немного производительности

мне норм 🙃

Абсолютно вменяем. Вы, кстати, напомнили мне, что когда я в следующий раз поеду в Москву, надо будет не забыть мой TAPL, чтобы взять автограф у переводчика.

Юрий Бронников? Передайте, пожалуйста, ему благодарность за все его переводы, начиная с SCIP. Юрий — самый главный популяризатор ФП на наших просторах :)

Передал