Oℕ
в ATS
Size: a a a
2021 May 04
DF
бык
Oℕ
тупогуб
а кто тут утверждал, что его нет?
DF
в атс менеджер памяти это деталь реализации
DF
про гц не слышал
Oℕ
https://github.com/githwxi/ATS-Postiats/wiki/effects
ГЦ -это стандартный эффект функций, которые трекается компилятором
cloref - the function is a peristent closure that requires the garbage collector to be freed.
Без него там и ФП не было бы
ГЦ -это стандартный эффект функций, которые трекается компилятором
cloref - the function is a peristent closure that requires the garbage collector to be freed.
Без него там и ФП не было бы
DF
ничо не понял
Oℕ
я, правда, тоже не знаю, как ХКТ с ГЦ связан
DF
Алекс Грызлов сказал в компилерном чатике потом все начали повторять
Oℕ
понятно
SP
все так
DF
ору!
Oℕ
можно обычный линейный язык ссылочный просто сделать
DF
обычный линейный хаскель
Oℕ
линейную там систему F омега
argumentum ab auctoritate в чистом виде
Oℕ
HKT обычно в реальном мире связан с универсальностью представления
DF
то есть боксингом?
Oℕ
если у вас всё анбоксенное, тогда тяжело представить хуйер кайнд, который может анбоксенные типы принимать и анбоксенные же типы продуцировать