185 похожих чатов

@GabrielFallen а существует какой-то язык описания менеджеров памяти, сборщиков мусора,

механизмов управления памятью? Дополнительный вопрос: он может описать сам себя?
Мне проекция Турчина-Футамуры все покоя не даёт... 🤓

4 ответов

24 просмотра

Я такого и близко не видел. 🤷‍♀️ Только https://www.mmtk.io/

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

Alexander Chichigin
Но я не вижу, почему и как язык для описания менед...

Вот, язык должен описывать AST в явном декларативном виде (и включать операции над деревом), тогда он будет описывать сам себя (правда, тогда он будет абстрактным, описывать чистую семантику без каких либо описаний того, как это всё будет располагаться в физической памяти и предполагать бесконечное множество реализаций - хоть на асемблере, хоть на SQL-е, хоть на абаке - чистая математика :3)

Александр Козаев
Вот, язык должен описывать AST в явном декларативн...

> тогда он будет описывать сам себя Нет. Для описания семантики языка нужны структуры посложнее деревьев. Домены Скотта, например. 😏 Посмотрите на Spoofax, посчитайте, сколько там разных языков для описания разных аспектов и стадий обработки объектного языка.

Похожие вопросы

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
как быть с принтером? такой подход прокатит?
zamtmn
12
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Карта сайта