механизмов управления памятью? Дополнительный вопрос: он может описать сам себя?
Мне проекция Турчина-Футамуры все покоя не даёт... 🤓
Я такого и близко не видел. 🤷♀️ Только https://www.mmtk.io/
Но я не вижу, почему и как язык для описания менеджеров памяти может описывать сам себя. В каком вообще смысле "описывать"?
Вот, язык должен описывать AST в явном декларативном виде (и включать операции над деревом), тогда он будет описывать сам себя (правда, тогда он будет абстрактным, описывать чистую семантику без каких либо описаний того, как это всё будет располагаться в физической памяти и предполагать бесконечное множество реализаций - хоть на асемблере, хоть на SQL-е, хоть на абаке - чистая математика :3)
> тогда он будет описывать сам себя Нет. Для описания семантики языка нужны структуры посложнее деревьев. Домены Скотта, например. 😏 Посмотрите на Spoofax, посчитайте, сколько там разных языков для описания разных аспектов и стадий обработки объектного языка.
Обсуждают сегодня