сложность в реализации рефов, например

типа как написать допустим лисп на хацкеле, в котором будут рефы, но при реализации не использовать рефы самого хаскеля

тебе придётся делать какой-то слой похожий на память

которой, видимо, придётся самому чистить, то есть свой гц писать

рефы, мвары, вары, любая изменяемая фигня приводит в моей голове к этому

если писать язык, который только на чистых функция и ничего нигде не меняется, то проблем не вижу

но так даже в хаскеле не получается )

а зачем рефы самого хаскеля не использовать?

действительно

ну например затем, что не хочу

как нет-то? если пишешь интерпретатор на языке с гц, он гц этого языка и использует

ГЦ языка реализации (хост) несомненно используется, но будет ли его достаточно?

ГЦ языка реализации (хост) несомненно используется, но будет ли его достаточно?

ну если интерпретатор аллоцирует в гц-куче хоста, то будет

Да, наверное

если писать язык, который только на чистых функция и ничего нигде не меняется, то проблем не вижу

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

а зачем рефы самого хаскеля не использовать?

во всех книжках про LC и реализации языка всё сводится к тому, что относительно богатый язык можно реализовав рекурсивные функции, а всё остальное строится на их основе, ну и из этого выходит красота и какая-то универсальность LC абстракций

типа этот язык можно в любой рантайм малой кровью встроить

вот я и не рассматриваю рефы рантайма

ну вот "относительно богатый язык" можно будет, но для инплейс мутабельности надо будет инплейс мутабельность импользовать

писал лиспы на хаскеле, на джаве, на 1С, на питоне и на баяне ) везде использвал гц хоста ) знакомый писал на сишке - использовал ее гц (конечно писал свой)

но тут вопрос что считать гц. вот есть у меня связанный символ a, с ним связано значение списка в 100500 элементов (развернутого в памяти). и пока живет это окружение и это имя живет в нем - эти 100500 живут в куче. если окружение не живет (вышли из лямбды) или я перебиндил a на 0 - 100500 элементов почистил гц хоста. можно самому писать свой слой гц для разбиндивания своих же имен конечно

@alexknvl будет жить. Поприветствуем!

@Nivroc будет жить. Поприветствуем!

типа этот язык можно в любой рантайм малой кровью встроить

Ты наверное можешь моделировать heap память используя массивы байтов. Как-бы, написать свой ассемблер. Такой принцип используется в asm.js чтобы C/C++ код перегнать в JavaScript

Тогда и сможешь реализовать свой гц

Ты наверное можешь моделировать heap память используя массивы байтов. Как-бы, написать свой ассемблер. Такой принцип используется в asm.js чтобы C/C++ код перегнать в JavaScript

Вопрос только зачем эмулировать массив байтов для языка с ГЦ

Для С++ понятно зачем, он без ГЦ

Вопрос только зачем эмулировать массив байтов для языка с ГЦ

в Яве это используется, чтобы обогнать GC по скорости

ГЦ — это «Гарбаге Цоллецтор»?

Мусорка

ГЦ — это «Гарбаге Цоллецтор»?

Нет, Sborshik Musora

Тогда и сможешь реализовать свой гц

ну вот в том и дело, что я не хочу этого делать)

хочется же идеального мира

типа в котором я могу написать парсер, определить пару функций нормализации термов и всё готово )

а ГЦ сам собой появился)

Sborshik Musora то есть

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

data Data = Nil | Cons Data Data | Atom String

ну вот что-то мне подсказывало, что его получится использовать только в простейших случаях

ну неправильно подсказывает

значит :)

для лиспа хватит

ну читай выше, как ты рефы и мвары сделаешь без своей управляемой памяти

не используя рефы и мвары хаскеля

а почему не используя?

😃 было уже

ну ок, легко

State (Map Int Data)

рефы представляем интами

при всем уважении к рефам и mvarам хаскеля, в большинстве языков бывают циклические ссылки

проблема отчасти решается слабыми ссылками и прочими радостями, но память в той же джаве течет до сих пор

не так энергично как в C++ конечно, но все же

и в хаскеле бывают циклические ссылки

рефы представляем интами

ну вот ты и начал свою память пилить)

a = 1 : a

как чистить этот стейт будешь после часа работы проги?

а нельзя data Data = Nil | Cons Data Data | Atom String | Ref (IORef Data) ?

нет)

и в хаскеле бывают циклические ссылки

ммм, я имел ввиду циклы большей длины. Например a = 1:b; b = 2:a

а зачем тебе IORefы в твоём языке?

ну какое-то подобие переменных впилить

локальные переменные можно на StateT, глобальные не нужны

как то так

Впрочем, без монад глобальные таки нужны :(

State есть, если функции в языке есть

любой State в интерпретаторе, который меняется при работе = память

т.е. почти всегда

не, юзай State внутри языка

а не в интерпретаторе

типа если ты туда что-то добавил, то оно там так и будет валяться, если сам не почистишь

гц за тебя это не сделает

проблема в том что в глобальном State внезапно не будет работать gc

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

статические переменные тоже не собираются обычно

в руби хорошо реализованно, там локальный стейт это объект первого класса

😀 началось

@azzaazaa если в языке есть функции, есть StateT, если есть StateT, то есть переменные

и не нужен экстра GC

внутри твоего трансформера что?

хочу переменную типа X, пишу код в State X

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