https://www.youtube.com/watch?v=t0mhvd3-60Y
А версия для чтения есть?
саша
Viacheslav
Вот тут норм видео про это. Всем советую, кстати, конфу. Я вот два года подряд езжу и вообще не жалею
Viacheslav
https://arxiv.org/pdf/1710.09756.pdf
Viacheslav
Но видео смотреть ИМХО поприятнее
саша
Настолько все предложения не нравятся, что бесплатно готов работать?
Pavel
и почему не в @haskell_blah по этому поводу писать?
Alexander
А почему модификатор (линейности) в синтаксисе добавили к стрелке, а не к аргументу (как это сделано в клине)? По идее же если делать как в клине, то определение "линейной монады" остаётся неизменным, не?
потому, что к аргументу это не линейность, а уникальность
Alexander
линейность это свойство стрелки, а не аргумента
Alexander
в объявлении вроде тоже не о Haskell (или это не очевидно)
Pavel
Там же нельзя о хаскеле писать, не?
предложени ux/ui в сообщении выше как-то относится к Haskell ?
Alexander
в общем то, что это свойство стрелки было решено ещё до того, как сделали^W придумали полиморно сделать
Alexander
у Edsko есть пост про отличия Uniquiness types и Linear types
Alexander
http://edsko.net/2017/01/08/linearity-in-haskell/
саша
https://github.com/tweag/linear-types/blob/master/ROADMAP.md
а это актуальный документ?
A64m
сомнительно, судя по тому, что он с мая 17-го не менялся
саша
а где можно актуальный роадмап посмотреть?
Anonymous
@dirspy будет жить. Поприветствуем!
Anonymous
@monkoose будет жить. Поприветствуем!
A64m
первый раз отлаживал гхц-ным отладчиком после того как тут написал что более-менее им пользоваться можно, и, разумеется, гхци у меня сегфолтнулся на самом интересном месте
Ilya
Надо гхци отладить гхц-отладчиком тогда, он же на хаскеле написан:)
Kirill
ну Слоан вроде гхци в гхци запущал, правда вроде оно не до конца честно вложено
Kirill
точно не помню, но для этого случая возможно достаточно
Alexander
ghc_current_use_bytes пишет 6mb
Alexander
container_memory_rss пишет 1.3Гб
Alexander
больше ничего в контейнере нету
Alexander
кому верить, или какую метрику собирать вместо ghc_current_use_bytes
A64m
так вне гц-хипа память-то не учитывается, там могут быть байтстринги всякие
A64m
и я не помню, что показывает ghc_current_use_bytes
Alexander
угу, но поидее там ничего нету
Kirill
@qnikst а ghc_max_used_bytes от неё не очень отличается?
Alexander
ну оно не будет падать, когда системе память отдали
Alexander
в новых ghc вроде более толковые опции были
Kirill
дак а зачем падать?
Kirill
max же?
Alexander
системе отдавать после пика
Alexander
мне пик конечно интересен, но постольку поскольку
Kirill
ну просто показатель current актуальный или не совсем
Kirill
а для байтстрингов так ничего у нас же и нету?
Alexander
не совсем
Alexander
мне кажется что нету
Alexander
там же честный системый malloc
Alexander
он не трекается нормально, если в /proc не смотреть
Kirill
может посмотреть? :)
Alexander
это нужно в контейнер exec-аться
Андрей
/proc
Андрей
🙂
Cesare Borgia
/proc
Kirill
не всегда его включишь, да и последствия от включения заметные
Alexander
вроде не всегда поможет
Alexander
bytestring то увидит, а вот CString - нет
Yura
ну тут могут сишные профайлеры помочь
Yura
хотя хз
Alexander
не, мне разумные метрики собирать, куда там профайлер
Yura
да
Yura
тут профайлер не поможет
Anonymous
@qwertyasdfgzxcv1487 будет жить. Поприветствуем!
Anonymous
Ну в смысле здравствуйте
Cheese
ну вот, the Артёма забанили
Alexander
какого?
Artyom
есть ли такая тулза, чтобы посмотреть, какая у меня в коде самая глубокая цепочка "функция A использует функцию B использует функцию C..."?
Алексей
А если цикл?
Artyom
если цикл, то равно длине цикла
Alexander
error "foo" + +RTS -xc
Alexander
а стоп, это не самое длинное, ну ладно
Alexander
я думаю нету
Artyom
цель вопроса: хочу натравить эту тулзу на наш код в Wire и ткнуть коллег носом в каку, которая там понаписана
уровень вложенности примерно 50 будет, думаю
Alexander
из того, что профилировщик делает наверное можно достать
Alexander
ткни так и скажи "мамой клянусь"
Alexander
ну или про танки и берлин
Alexander
по русски главное или с хорошим акцентом
Alexander
извините
Alexander
@lightgreen в общем я не видел, скорее всего из профилировщика достать можно, он в глубину выдает ветку
Artyom
оно убедительнее получается, когда пруфы есть
— да где же у нас орфаны
— ну вот греп показывает, что в тридцати модулях есть -Wno-orphans
— а
Artyom
Alexander
наймите у нас аудит