AO
Tel Asc
Мне кажется лично, кажется,что в теории можно сделать при помощи ТН или чего-то ещё сделать для черч-энкодинг типов инстанс в аппликатив...
В смысле автоматически?
Size: a a a
2020 July 20
TA
В смысле автоматически?
Хотя-бы для функторов.
AO
Tel Asc
Хотя-бы для функторов.
Для функторов вроде и так можно
ЗП
Новый тип это всегда какая-то конструкция из старых, а значит имея некий набор можно использовать deriving via
TA
Для функторов вроде и так можно
У меня немного другая задача даже...
Я пытаюсь сделать deriving в Functor обощенный до произвольных стрелок для Чёрч энкодинг типов с произвольными стрелками:
class Arrow a=>AFunctor a f where
amap :: a b c -> a (f b) (f c)
Ну и парочку типов для этого например:
newtype ArrPair a b c =
ArrPair (forall pair.a (a b (a c pair)) pair)
newtype ArrId a b =
ArrId (forall id.a (a b id) id)
Я пытаюсь сделать deriving в Functor обощенный до произвольных стрелок для Чёрч энкодинг типов с произвольными стрелками:
class Arrow a=>AFunctor a f where
amap :: a b c -> a (f b) (f c)
Ну и парочку типов для этого например:
newtype ArrPair a b c =
ArrPair (forall pair.a (a b (a c pair)) pair)
newtype ArrId a b =
ArrId (forall id.a (a b id) id)
JS
Новый тип это всегда какая-то конструкция из старых, а значит имея некий набор можно использовать deriving via
нет, новое поведение не комбинация старых поведений
TA
нет, новое поведение не комбинация старых поведений
+
Ну, точнее не всегда.
State тот же нельзя сделать при помощи Reader + Writer...
Ну, точнее не всегда.
State тот же нельзя сделать при помощи Reader + Writer...
TA
Ну в теории да,но как определить какие-то примитивные типы для построения всего - тоже загадка...
Т.е. как понять что они позволят воплотить практически что угодно,или что угодно...
Т.е. как понять что они позволят воплотить практически что угодно,или что угодно...
TA
Как вы думаете,можно ли таким типом(Encoding) описать любой Church Encoding тип с произвольными стрелками вместо (->)?
https://pastebin.com/GYCLcZqN
https://pastebin.com/GYCLcZqN
MK
посмотри на пакет typerep-map например
KZ
Symbol в ключи пихать?
M
посмотри на пакет typerep-map например
не то, у меня все такие типы будут иметь один и тот же тайп класс, нужно просто получать его по строчке
можно просто поддерживать такую мапу руками, но это как то несистемно
можно просто поддерживать такую мапу руками, но это как то несистемно