Подскажите, а как продублировать функции из data, добавив к ним префиксы? Вот у меня есть data Session = Session { user :: User, app :: App, node :: Node }, а мне надо автоматически сгенерировать ещё три функции: test_user = user test_app = app test_node = node Это через Template Haskell надо, или другие какие-то способы есть?

Линзы изобретаешь?

Ну почти, да

Уже читаю makeLenses

Но не совсем

Есть скрытая в основном приложении структура, а мне надо написать тесты, которые всё-таки могут в состояние структуры заглянуть.

Вот и думаю, как лучше сделать, по минимуму переделывая основной код...

Т.е. мне нужно просто getter'ы со своими именами сделать, вот и всё.

Internal модуль в котором ничего не скрыто

Да, лучшее решение, но не знаю, согласится ли майнтейнер модуля.

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

Хреново вопрос задал конечно

Можно транслировать в промежуточное представление хаскеля (ghc core или вообще c--) и это уже запускать Но по возможностям все равно хаскель и получится

Хм, я пока думал только про интерпретаторы

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

Наверно возможно только какой-то query language написать

Так может не надо писать язык с изменяемыми переменными, пытаясь засунуть в него Гц от хаскеля?)

Можешь попробовать jvm байт код генерировать (хоть на хаскеле), будет их гц

Да я писать собсно не собираюсь пока, только думаю много про это)

А мысль это пришла из-за того, что вроде вообще нет интерпретаторов, которые используют чужой гу

Гц’

А мысль это пришла из-за того, что вроде вообще нет интерпретаторов, которые используют чужой гу

https://docs.python.org/3/library/functions.html#eval ?:)

?

интерпретатор, который использует "чужой" (относительно кода, который ты передал) ГЦ (если я правильно тебя понял)

Не понял ты меня

Вообще я мог уже задавать этот вопрос тут, не первый раз им задаюсь

Тогда другой вопрос, насколько сильно сборщики мусора завязаны на язык?

Тогда другой вопрос, насколько сильно сборщики мусора завязаны на язык?

могут быть вообще не завязаны, см JVM

а могут быть очень, см. эрланг (хотя та под BEAM есть как минимум элексир)

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

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

?

А мысль это пришла из-за того, что вроде вообще нет интерпретаторов, которые используют чужой гу

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

вообще не понимаю в чем сложности

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Да, наверное

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

Ну а при чем тут изменяемость, правда? Проблемы могут быть, если нам придется эмулировать ручной доступ к куче, но это как раз значит, что мы делаем язык без своего 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

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