Perguntas com a marcação «monad»

3
Existe um conceito de algo como functores coaplicativos sentados entre comônadas e functores?
Qualquer mônada também é um função aplicadora e qualquer função aplicadora é um função. Além disso, qualquer comonada é um functor. Existe um conceito semelhante entre comônadas e functores, algo como functor co-aplicativo e quais são suas propriedades? \begin{array}{c} \end{array} Functors↑Funções aplicáveis↑MônadasFunctors↑? ? ?↑ComonadsFunctorsFunctors↑↑Funções aplicáveis???↑↑MônadasComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …

2
Status quo da teoria da categoria e das mônadas na pesquisa teórica em ciência da computação?
Background . Sou um estudante de bacharel interessado em pesquisas relacionadas à teoria das categorias, mônadas e Haskell, e quero encontrar um tópico para a tese de bacharel nessa área. Eu olhei para o jornal Eugenio Moggi , “ Noções de Computação e Mônadas ”, 1991, e ainda não entendo …




2
Explicando os transformadores de mônada em termos categóricos
Muitos recursos relacionados a noções categóricas na programação descrevem mônadas, mas nunca vi uma descrição categórica de transformadores de mônada. Como os transformadores de mônada podem ser descritos nos termos da teoria das categorias? Em particular, eu estaria interessado em: a relação entre os transformadores de mônada e suas correspondentes …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.