Oℕ
Size: a a a
2019 December 27
ΛВ
Скажите, есть пример неполиномиального траверсала?
Больше, чем полином?
Oℕ
Или если траверсал означает полиномиальный в бидекартово замкнутой, как доказать
Oℕ
Больше, чем полином?
что?
ΛВ
Траверсал = обход какой-то структуры?
Oℕ
Traversal functor, переставимый слева с моноидальным функтором
ΛВ
Ок, я пожалуй пойду
Oℕ
typeclass Traverse
KS
Антон, не лезь, оно тебя сожрёт
Oℕ
sequence : Applicative g=> f g a -> g f a
ΛВ
Надо не полиноминальный сиквенс?
Oℕ
Есть пример такого, который нельзя было бы выразить через ADT с одним тайп параметром
Oℕ
спасибо, что попытался
V
Все,я нет
Get Academical or Die Tryin'
V
GADT
V
сукааа
KS
Олег это дракон в пещере - загадывает загадки и съедает тех, кто не отгадал