вот у янга вроде по теме блоги были

да, но там совсем поверхностно обычно, еще у него есть недописанный пейпер с обзором ртс, там все очень неподробно

дункана чтоли пнуть как обычно

т.е. на самом деле можно что-то точно узнать если в сишный код смотреть, но это ад адский

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

причем чуть ли не в cmm

ладно, допустим у нас есть эффективное место где можно ресурсы регистрировать, чтобы не таскать IORef

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

в ResourceT и у меня для этого введен ключ

в ResourceT это вообще небезопасно, у меня добавляется экзестенциальная переменная

т.е. удалить объект можно только с его ключем

и нельзя перепутать

но это добавляет indirection

можно запрятать ключь в объект, но это все равно indirection, хотя и подешевле

наверное можно делать регистр под тип ресурс, и какой-нить класс типов

интересно как в расте сделано

а как compactContains# работает? Но же вроде быстрый? По идее он проверяет что обе ссылки на один блок в хипе?

надо посмотреть

но мне казалось, что у них там хештаблица

StgWord compactContains (StgCompactNFData *str, StgPtr what) { bdescr *bd; // This check is the reason why this needs to be // implemented in C instead of (possibly faster) Cmm if (!HEAP_ALLOCED (what)) return 0; // Note that we don't care about tags, they are eaten // away by the Bdescr operation anyway bd = Bdescr((P_)what); return (bd->flags & BF_COMPACT) != 0 && (str == NULL || objectGetCompact((StgClosure*)what) == str); }

магия какая-то

kek https://github.com/berewt/acme-haskellee/blob/master/src/Acme/HaskellEE/MappableInTwoDifferentWays.hs

А почему bindable это аппликатив?

а я почём знаю

kek https://github.com/berewt/acme-haskellee/blob/master/src/Acme/HaskellEE/MappableInTwoDifferentWays.hs

омг

kek https://github.com/berewt/acme-haskellee/blob/master/src/Acme/HaskellEE/MappableInTwoDifferentWays.hs

зачем такое?

Ты про JavaEE не слышали?

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

А если функтор переименую в маппабл, то фмап станет мап?

ну fmap так называется исключительно в силу историчских причин.

магия какая-то

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

да там тоже ничего и в objectGetCompactBlock который она вызывает

INLINE_HEADER StgCompactNFDataBlock *objectGetCompactBlock (StgClosure *closure); INLINE_HEADER StgCompactNFDataBlock *objectGetCompactBlock (StgClosure *closure) { bdescr *object_block, *head_block; object_block = Bdescr((StgPtr)closure); ASSERT ((object_block->flags & BF_COMPACT) != 0); if (object_block->blocks == 0) head_block = object_block->link; else head_block = object_block; ASSERT ((head_block->flags & BF_COMPACT) != 0); return (StgCompactNFDataBlock*)(head_block->start); }

ну да, блоки компакта же в список объеденены, так что он сравнивает не то, что данный компакт тот же блок, что и блок в котором объект, но то проверяет, что блок в котором объект в списке блоков данного компакта

все равно должно быть более-менее быстро

ну, т.е. быстрее хеш-таблицы

угу

но для ресурсов же такое не провернёшь

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

то одного объекта мне недостаточно для того, чтобы её найти

есть компакт Ресурсы есть компакт Освобожденные

а добавление в compact насколько дешевое?

а ещё есть доп сложность

userResource :: Resource ->. IOL (Resource. Smth)

копирование. Те. копирование забоксенного инта в данном случае, больше инта же ничего не надо чтоб ресурс вне хипа представить

мне нужно чтобы новый инстанс ресурса был связан со старым

вот, да, т.е. мне для ресурса грубо говоря надо чтобы значение ресурса ставило ему в соотвествие Int

указатель там, номер хэндла ещё что

да

тогда видимо по компакту на тип?

ну да

а ну или ресурс всегда Boxed

да

это наверное даже проще

т.е. ресурс ~ Storable

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

когда доставать должны использовать peek

небезопасненько

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

что в общем-то unbounded

классика

оо замечательно

Напоминает мне код на агде, на самом деле

нельзя пользоваться языками для которых основная IDE это емакс

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

Самое удобное программирование с юникодом имхо на вскоде с lean-плагином

мне как-то unicode не удобен

но я не емаксер

хз что за связь между юникодом и емаксом

а нём есть достаточно удобные плагины чтобы писать смешные символы

а придумайте мне как сделать newtype но строгий?

не понял

Никак

Он и так не ленивый

не Type в смысле?

Prelude> newtype W = W Int Prelude> x = W (undefined) Prelude> case x of W _ -> 7 7

ну совсем не ленивый

строже некуда

хочется с семантикой data W = W !Int

Prelude> data W = W !Int Prelude> x = W undefined Prelude> case x of W _ -> 7 *** Exception: Prelude.undefined