Oℕ
Зига спрашивает о практическом применении Free?
там не совсем Free
Size: a a a
2018 February 22
ЗП
Зига спрашивает о практическом применении Free?
не, как в проекты такое затаскивать
AG
для этого надо чтобы проект был компилятором :)
ЗП
ЗП
ну и Олег выдал еще статейку http://oleg.fi/gists/posts/2018-02-21-single-free.html
λ
просто чтобы не заставлять всех переключать чатег
как можно скомпилить идрис имея 4GB )
как можно скомпилить идрис имея 4GB )
AG
много свопясь наверное
NI
о! вот и человек-категория
Это слишком ;-)
Тут вот у вас Паша есть, например ;-)
Тут вот у вас Паша есть, например ;-)
ЗП
Это слишком ;-)
Тут вот у вас Паша есть, например ;-)
Тут вот у вас Паша есть, например ;-)
вы тогда как сопряжения)
AG
но его тут нет
NI
Перепутал. Значит, надо позвать.
ЗП
сопряжения же дают монаду?
например (,) и (->) сопряжены и дают State?
например (,) и (->) сопряжены и дают State?
NI
сопряжения же дают монаду?
например (,) и (->) сопряжены и дают State?
например (,) и (->) сопряжены и дают State?
Или комонаду.
AG
и комонаду заодно
NI
;-)
ЗП
а комонаду как?
Oℕ
в другом порядке скомпозить
NI
Если сначала левый сопряжённый, потом правый — монада.
Если наоборот — комонада.
Если наоборот — комонада.
ЗП
ну я про это читал тут (про то, что монаду)
http://www.stephendiehl.com/posts/adjunctions.html
http://www.stephendiehl.com/posts/adjunctions.html
ЗП
ну вот для списка какие сопряжения?