Size: a a a

2021 May 06

DB

Danil Berestov in Haskell
ну))))
источник

[

[BRM]White Rabbit in Haskell
А что будет если применить sequenceA на функции a -> b -> a ?🤔
flip?
источник

MK

Maxim Koltsov in Haskell
если мы хотим инстанс Traversing (->)
источник

DB

Danil Berestov in Haskell
кажется что я что-то не до конца понимаю про траверсабле.
источник

K

Kir in Haskell
> :t sequenceA const
sequenceA const :: Traversable ((->) a) => b -> a -> a
источник

[

[BRM]White Rabbit in Haskell
Флип но с шизой
источник

[

[BRM]White Rabbit in Haskell
Ясно
источник

С

Сергей in Haskell
у меня такое часто бывает когда смотришь список инстансов под тайпклассом на хакаге
источник

DB

Danil Berestov in Haskell
traversable же должен быть фолдабле(
источник

DB

Danil Berestov in Haskell
функция не похожа на фолдабле
источник

K

Kir in Haskell
Вот да. А (->) e фолдаблом не сделать
источник

С

Сергей in Haskell
Maybe тоже не особо
источник

DB

Danil Berestov in Haskell
почему?
источник

[

[BRM]White Rabbit in Haskell
Ну давай, сверни Just 5
источник

MK

Maxim Koltsov in Haskell
[5]
источник

K

Kir in Haskell
источник

[

[BRM]White Rabbit in Haskell
Ладно
источник

MK

Maxim Koltsov in Haskell
так мы и не траверсабл строили
источник

MK

Maxim Koltsov in Haskell
а траверсал
источник

DB

Danil Berestov in Haskell
мейби это урезанный список
источник