Notícias

Biblioteca Haskell para fazer a teoria das categorias com um papel central para os projustos

by Auto News Bot 12 de novembro de 2023 164

FUNCTORES têm gentil J -> K, mas você não pode simplesmente fazer um tipo de dados de qualquer tipo, deve
sempre seja da forma j -> k -> … -> tipo.Por exemplo, você não pode fazer um
Functor de identidade que funciona para qualquer k.Mas os funções são isomórficos a representáveis
Projectores, com Kind K -> J -> Tipo.Então, em vez disso, J -> K -> tipo
é reservado para projustos.Isso significa que os bifuntores precisam usar (j, k) -> tipo.As categorias indiadas de tipo facilitam a vida, uma vez que você saiba qual é o tipo de tipo,
Você sabe a qual categoria ele pertence.

Fonte: https://github.com/sjoerdvisscher/proarrow