Они, естественно, отличаются, но не уровнем абстрактности

Ну, если для Вас разницы нет, то и говорить не о чем... 🤷‍♀️

Многие настолько привыкли к тексту, что не видят насколько это абстрактная вещь

А Вы сами можете предложить формальную семантику какого-то вида для своего языка? :)

Для тех, кто не владеет EBNF — это просто повторение любого символа любое количество раз.

Для начала с помощью семантики придётся ввести ограничение для приведения к нормальному синтаксису. Если что, это было частью риторического вопроса про неважность синтаксиса

Синтаксис важен и для описания правил переходов SOS-семантики, и для выполнения программы уже на уровне машинного кода (все эти битовые поля командного слова — тоже синтаксис). У промежуточных представлений компилятора свой синтаксис. В системе Nanopass это очень хорошо видно, потому что для каждого прохода задается IR в БНФ-подобном виде. Другое дело, что конкретный или внешний синтаксис входного языка не так важен. Вспомните проект Juice Михаэля Франца, где программы на Обероне предлагалось распространять в виде деревьев абстрактного синтаксиса.

Поэтому я и писал, что дело в путанице терминалов синтаксиса с синтаксисом в целом. Утрируя, это как путать язык и кодировку. Ну а деревья абстрактного синтаксиса Франца обладают настолько же "абстрактным" синтаксисом, что и исходная программа, иначе её нельзя было бы нормально исполнить. Иными словами, перевод программы из одной формы в другую эквивалентную форму не повышает уровень абстракции.

Это и называется семантически эквивалентной трансляцией. Чтобы говорить о ней предметно помимо синтаксиса нужно вводить еще и понятие семантики. Той, которая позволяет установить, что форма Оберона и форма деревьев обозначают одну и ту же программу.

Верно.
Но главное, что синтаксис из "абстрактного" синтаксиса никуда не девается, он просто меняет "кодировку".

Коллеги, разъясните тривиальный терминологический вопрос: можно ли считать динамическое подключение DLL разновидностью FFI? Или FFI подразумевает только статическую компоновку?

Кстати интересстный бенчмарк на эту тему
https://habr.com/ru/post/413181/

FFI - это же вроде вызов из языка в язык. А статическое или динамическое связывание - не важно.

смотрите какая парадигма подъехала

Dr Web хорошо ловил представителей этой парадигмы.

То есть если программа на языке X вызывает функцию на C из Kernel32.dll - это уже FFI? Просто мне казалось, что упоминание FFI, как правило, подразумевает нечто большее.

@shipilev а в fokjoinpool, там при создании задачи, мы сначала ее сплитим, так?

верно я понимаю, что выполняться они будут, только после того как засплитятся полностью?