Алексей Худяков

Интересно, мы когда-нибудь увидим индукцию по type level naturals?..

The record update s {point = a} with type Stack is ambiguous. This will not be supported by -XDuplicateRecordFields in future releases of GHC. А как запланировано делать апде...

А в хаскелле не появилось инструментов чтобы можно посмотреть в какую корку скомпилировалась функция из такого-то пакета? Или сейчас только прыжки с флагами -ddump... и чтен...

Каждый раз 100500 модулей перекомпилировать? А так в ghci :r :r :r :r

Какой GHC-й прогмпт?

@cblp_su А на https://hackage.haskell.org/package/algebraic-graphs не пробовал смотреть? Сам не пользовался, но выглядит интересно

This read like a troll piece. Every line rubbed me in some wrong way until I couldn't take it any more. > Haskell, at its core, is simple: it is just a polymorphic lambda cal...

А какой парсер у нас нынче самый быстрый для бинарных данных?

Вопрос. А какие сейчас есть пригодные к использованию (для широко понимаемого "пригодные") библиотеки для линейной алгебры, кроме hmatrix? Я изучаю текущий state of art

ООП? Нераскаянных хаскеллистов

А что не так с кабалом, кстати?

А можно заставить кабал только сгенерировать build plan (dist-newstyle/cache/plan.json), но ничего не собирать?

А что надо проверить? Ошибки накапливающиеся при умножении матриц?

How do other PL language communities approach foundational changes in base libraries? Do they do some sort of SWOT analysis upfront? Which ends up with whatever the most exper...

Напоминаю главный принцип опенсорца: "Тебе надо? Ты и делай"

Maybe — тип?

А в линзах есть монадический set: setM :: ASetter s t a b -> m b -> s -> m t ?

А где-нибудь уже есть библиотека для выведения всяких скучных инстансов типа A x1 y1 <> A x2 y2 = A (x1<>x2)... при поможи DerivingVia?

g :: (a,b) -- warning g = (c,d) -- warning Я не очень понял, с этим пропозалом обычные тупли будут вести к варнингам в -Wall?

А почему никто не сказал, что эффекты ТФ тривиально композятся? foo :: MonadFoo m => m () foo = ... bar :: MonadBar m => m () bar => ... foobar :: (MonadFoo m, MonadBar m...