AA
да не то чтоб не важно, это не самое проблемное на первый взгляд
Size: a a a
2020 December 09
AV
Hruska надоел ATS?
AA
проблема-то в том, что измеряется что-то мгновенное, т.е. не то что нужно
AA
Hruska надоел ATS?
в чем это выражается?
AV
> Is there a Liquid C? Same as Liquid Haskell but for C?
With similar expressive power to ATS lang?
With similar expressive power to ATS lang?
AA
и измеряется видимо только один ПМ на корневом узле дерева
AA
я думаю, что
это константы, которые вычисляются один раз и потом просто измеряется скорость доставания инта из корневого конструктора
filterWithKey (\k _ -> even k) example и т.д.это константы, которые вычисляются один раз и потом просто измеряется скорость доставания инта из корневого конструктора
MK
nf из критериона использовать надоMK
nf (filterWithKey ...) exampleAA
да можно и дальше размер вычислять, просто сделать ту работу, которую надо измерять функцией
AA
whnf (size . filterWithKey (\k _ -> even k)) exampleи т.д.
к
whnf (size . filterWithKey (\k _ -> even k)) exampleи т.д.
да, так и есть, сейчас дам нормальные результаты
LO
Не зиро кост абстракции :(
AA
не ожидал, что будет разница между вариантами через список и на линзах
DB
Aminion
жаль, нету синтаксиса для получения булеана, по паттерну
Можно сделать!)
YS
А можно сдерайвить условно
FromJSON для Foo a если есть инстанс FromJSON для a?MK
а что такое Foo?
MK
если ньютайп, то можно