Зачем свободно работать с памятью если есть умные указатели + gc

в хаскеле есть умные указатели?

я хз что в хаскеле есть, я его не знаю

ForeignPtr

вроде как в нём нет нужды ни в то ни в другом

ну если умный указатель это указатель + refcounter

нужно если FFI есть

Ну да, эт он.

вообще для FFI в Haskell есть много интересных Pointer-ов

от Addr# и Ptr, до StablePt, ForeignPtr, StaticPtr (не для FFI)

Но гц наверное нет

в смысле нет гц?

Где то писали для чистых функций он не нужен, там и так всё ясно

что-то новое

Делал даже обёртку для плюсовых smart pointers на основе ForeignPtr с финализатором

Плюсы ещё та гадость

Трясинища

глупости какие-то писали

GC для нормального FP нужен

для UFP хотя бы

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

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

аллокации ещё не обязывают вводить GC

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

количество выживжих/погибших тоже не обязывает

там аргумент был из разряда что мы не можем сделать циклическую структуру не нарушая immutability, и по этому можно обйтись счётчиком ссылок

количество выживжих/погибших тоже не обязывает

ну а что вы тут еще из практически годного кроме гц придумаете?

repeat x = x: repeat x

пожалуйста ^

циклическая структура

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

там аргумент был из разряда что мы не можем сделать циклическую структуру не нарушая immutability, и по этому можно обйтись счётчиком ссылок

я уже это спрашивал и мне тут показали, что циклические ссылки в случае ленивости будут

Мда, поменьше всякой фигни надо читать

а вот в случае энергичного языка надо подумать

сделать ленивость через \() -> a

она не то, чтобы настоящая будет

и тормозить, но это мелочи

я уже это спрашивал и мне тут показали, что циклические ссылки в случае ленивости будут

да и без ленивости бывает, к примеру такой вот код из окамлграфа let rec dummy_arc = { vert = Infinity; next = dummy_arc; inst = ref (Terminal dummy_arc); mate = -1 }

но даже если и циклических нет, то что без GC то?

расшифруйте

арены/регионы/рефкаунтеры?

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

но даже если и циклических нет, то что без GC то?

нет циклических - можно счётчик ссылок забабахать

да

но счетчик ссылок это хуже чем GC?

Настоящую ленивость можно сварганить, если поиграться с call/cc

в очень большом числе задач

Счётчик ссылок это очень примитивный и тупой GC

у вас сложность зависима от числа выделенных элементов

Счётчик ссылок это очень примитивный и тупой GC

это не GC

а не от числа выживших

это работает только для языка, в котором нужно мало выделять и мутировать

причем не *можно*, а *нужно*

хммм

при этом без прыжков с аллокатором даже выделение дороже

поэтому у нас появляются jemalloc, например.

ещё вопрос какой у нас доступ из тредов

Хаскель в основном для бэка же юзают?

если у нас данные не thread-local (for some definition) то нужны синхронизации

не, если всё таки говорить теоретически

Хаскель в основном для бэка же юзают?

Для блокчейна

Счётчик ссылок это очень примитивный и тупой GC

он не гц. Каждый уважающий гц гарантирует, что всё порождённое будет убито.

да что теоритически, возьмите какой-нить prefix tree на раст и на haskell

и удивитесь тому, что разница в скорости выполнения не та, которую вы ожидаете

Хаскель в основном для бэка же юзают?

сейчас front/back очень сильно варьируются

смотря откуда смотреть

сейчас front/back очень сильно варьируются

Фронт? wasm, miso?

но код для браузера и UI на нём писать можно, но с натяжками

Я просто пробовал ghcjs и оно комплится как UE4, т.е. по минуте ждать + это норма

надо будет сварганить маленький чистый ФП язык без GC на счётчике ссылок (как обязательное условие) и посмотреть какой язык в итоге получится

Числодробилки это не ФП

у ajhc вроде счетчик ссылок был

?

через полгодика опять прибегу

есть забавный язык ats2

https://en.wikipedia.org/wiki/ATS_%28programming_language%29

у ajhc вроде счетчик ссылок был

вывод регионов и гц для нулевого региона, как в млките

> Garbage collection is not used unless explicitly stated with -D_ATS_GCATS. в ats2

но я вот все его боюсь осиливать

вывод регионов и гц для нулевого региона, как в млките

прикольно

(гц для нулевого региона как бы опциональный)