MP
а так если стейт, то
z <- use typed
ну или
z <- lift (use typed)
z <- use typed
ну или
z <- lift (use typed)
да, это видимо самое простое, спасибо
Size: a a a
2020 November 16
к
Это типа просто с фантомными типами монадка?
+ правильные сигнатуры над фантомом
DB
+ правильные сигнатуры над фантомом
а вот это я не понял
MK
да забей, не забивай себе голову
MK
чтобы пользоваться это не нужно
MK
у меня сегодня просто настроение потроллить
DB
чтобы пользоваться это не нужно
Да мне чо-то уже больно этим сквилом пользоваться
DB
я всё думаю, почему я на персистенте не остановился
DB
Ну хотя есть вещь, которая меня определённо смущает — автогенерация модели
DB
join :: m b c (m a b) x -> m a c x
А, ну типа просто функции проиндексировать надо правильно. Я примерно таким же занимался на своих матрицах https://hackage.haskell.org/package/qlinear
DB
видел еще красиво с моноидом над индексом
Это шо
A
у меня сегодня просто настроение потроллить
сегодня уже понедельник
MK
сегодня уже понедельник
а что это меняет?)
A
а что это меняет?)
за ревью, значит, во вторник приду
AV
хаха
MK
))