λ
Мне даже лень искать Пашино определение
Size: a a a
2020 February 02
DM
святой патрегъ, вы все об этом
Oℕ
Т.е. теперь ты не скидываешь ссылки на паперы, говоря, что ты скинул ссылки на паперы раньше?
Oℕ
Хотя это ложь
Oℕ
Ссылку можно скинуть и на функтор - это контейнер, толку-то
λ
Необязательно одновременные ж
Oℕ
Тем, что тебе нужно не это делать, а сгенерировать такой конструктор на лету
Oℕ
Т.е. сконструировать функцию, которая может порождать типы
Oℕ
В рантайме, паша
Oℕ
Полиморфная рекурсия, сорта фри структур
Oℕ
Собственно то, для чего эти ХКТ и нужны
Oℕ
у тебя есть
data Freer f a = Pure a | forall b. Bind (f b) (b -> Freer f a)
data Freer f a = Pure a | forall b. Bind (f b) (b -> Freer f a)
Oℕ
ты получаешь функцию
f ~> g
f ~> g
Oℕ
Определяешь рекурсивный обход, который Freer f a -> Freer g a
VS
Олег сейчас описывает то,что в f# называется type provider
Oℕ
Олег сейчас описывает то,что в f# называется type provider
Вот кто меня заебал больше Паши, так это Вася который невпопад пишет то, что не имеет отношения к делу абсолютно каждый раз
Oℕ
Определяешь рекурсивный обход, который Freer f a -> Freer g a
Для этого каждый раз имея f x для заранее неизвестного типа x, тебе нужно сгенеровать g x НА ЛЕТУ
Oℕ
Именно когда f x и f y имеют одинаковое рантайм представление это сделать очень легко,
Oℕ
В компайлтайме не известен, Паша