JS
в частности, lazy IO — одна из обобщённых абстракций. можно внутрь String, или Lazy.Text, или Lazy.ByteString спрятать чтение откуда угодно, хоть из файла, хоть из сокета, хоть генерацию бесконечных случайных данных
можно, но не надо
Size: a a a
2020 May 25
AV
Никто не сталкивался с тем, что в wai/warp при responseStream тред стримящий данные после того как достримил убивается timeout manager-ом?
Oℕ
энергичные
оч плохое слово
AA
а вам зачем? если вы оптимизируете скорость, то зачем вам Lazy IO? есть же coduit/streaming/etc
ващет лэзи ио при осторожном использовании рвет кондуиты да и прочие стримы по скорости
JS
ващет лэзи ио при осторожном использовании рвет кондуиты да и прочие стримы по скорости
ух ты
AA
т.е. пока реально стримится лэзи ио быстрее, там просто проще на материализацию и тормоза из-за этого налететь
MP
criterion
а он подходит чтобы в работающем приложении время мерить, не только в бенчмарках?
AA
нет
MP
ну вот как бы я так и думал
MP
timeIt меряет CPU time, что конечно интересно, но не то, что надо
AA
справедливости ради, юзабельных средств мерить время в работающем приложении для хаскеля нет
AA
есть одно, которое бибикает, и 64 которые все портят
MP
прикольно
ну мне в принципе только IO мерять, так что
t0 <- dateTime
a <- f
t1 <- dateTime
pure (a, t1 - t0)
вполне пойдет
ну мне в принципе только IO мерять, так что
t0 <- dateTime
a <- f
t1 <- dateTime
pure (a, t1 - t0)
вполне пойдет
KZ
тут некоторые opentelemetry продвигают для замеров вроде
KZ
но это чуть сложней кода выше будет
MP
звучит громоздко, но надо попробовать, потому что метрики все равно нужны
MK
opentelemetry оказался прикольной штукой
KZ
и что именно показалось прикольным?
AV
немного оффтопик, но всё равно сюда. От автора бесценного мема про кузнечик за 1 день