МБ
А чем модель Lisp особенная? Есть интерпретаторы Си, написанные на Си.
Size: a a a
2021 April 27
AT
Я так понял, метаязык должен описывать и грамматику, и семантику — нет?
B
Нет
AB
Вы совсем не том. )
B
Только динамическую семантику
МБ
AT
Ну вот тогда я не понимаю насчёт "мета". В частности, у нас имеются такие штуки — labelled state transition systems. Они, конечно, описываются на некотором языке (в конечном счёте можно свести к ZFC, но можно остановиться и пораньше). Для какого языка программирования они являются мета-языком? Для всех?
B
Господи, просто посмотри семантику для пропозициональной логики
B
Эта семантика — описана в метаязыке
B
Тут всё так же
AT
Пропозициональная логика — first-order, а языки программирования — higher-order. Поэтому тут не всё так понятно. 😞
B
Слушай, я материться буду
МБ
Не совсем. Семантика ЯП - это отображение из синтаксических конструкций в шаги вычисления. И это отображение можно задать на языке, для которого это отображение уже задано. Он и будет метаязыком.
B
Я веду речь о модели языка программирования.
AT
Be my guest! Просто не забудьте пояснить, с какими именно утверждениями Вы не согласны и почему. 😊
AT
"Модели" в смысле операционной семантики или нет?
B
Динамической, как ты писал
МБ
Ну... Модели ЯП-ов в логическом смысле - тонкая штука. Это надо смотреть на денотационную семанику, а не на операционную.
B
Где утверждается о том, при каких условиях мы вычислили здесь, например, строку. Т.е. реально, а не по тайпчекеру.
B
Теперь я снова спрашиваю