MK
а можно как-то посмотреть что именно в hi файл попало из кода?
Size: a a a
2020 December 18
MK
ghc --show-iface похоже
MK
прикольно, похоже гхц понимает что ExceptT e Identity и Either e имеют одинаковое рантайм представление и превращает runIdentity . runExceptT в каст
TZ
А это никак не связано с тем, что там пачка ньютайпов?
TZ
Грубо говоря, что
coerce . coerce == coerceMK
ну связано конечно
MK
ну я не думал что он глубоко смотрит
YS
https://www.youtube.com/watch?v=Ma7IDvGMOG0
https://www.youtube.com/watch?v=nQekCzAFQmY&feature=youtu.be
только не пинайте мои первые потуги делать лекции)
https://www.youtube.com/watch?v=nQekCzAFQmY&feature=youtu.be
только не пинайте мои первые потуги делать лекции)
Мне понравилось) вторую часть досматриваю
AR
Где-то вот в этом куске кода есть space leak. Не видите навскидку где именно (используется Postgres Simple)
K
Где-то вот в этом куске кода есть space leak. Не видите навскидку где именно (используется Postgres Simple)
Элементы кортежа не форсируются
AR
Элементы кортежа не форсируются
Так они же и не используются? Должны умереть сразу, нет?
AR
почему? как PG.fold работает?
Я не знаю, как он работает, не лазил во внутренности pg-simple ещё
MP
Где-то вот в этом куске кода есть space leak. Не видите навскидку где именно (используется Postgres Simple)
pure $! z
?
?
MP
не уверен что это что-то поменяет впрочем
A
Я не знаю, как он работает, не лазил во внутренности pg-simple ещё
This fold is not strict. The stream consumer is responsible for forcing the evaluation of its result to avoid space leaks.
AR
не уверен что это что-то поменяет впрочем
Да, это не помогает тоже.
Дока по
> This fold is not strict. The stream consumer is responsible for forcing the evaluation of its result to avoid space leaks.
Но как?
Дока по
fold говорит:> This fold is not strict. The stream consumer is responsible for forcing the evaluation of its result to avoid space leaks.
Но как?