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
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
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...
Lembre-se da transformação de passagem de continuação (transformação CPS) que leva para β A : = R R A (onde R é fixo) ef : A → B para β f : β A → β B definida por βUMAUMAAβA : = RRUMAβUMA:=RRUMA\beta A \mathrel{{:}{=}} R^{R^A}RRRf: A → Bf:UMA→Bf : A \to Bβf: βA → βBβf:βUMA→βB\beta f : \beta A \to...
Acompanhamento O que é um exemplo de uma Mônada que é uma Alternativa, mas não uma MonadPlus? : Suponha que é uma mônada. Quais são as relações betweem ser uma alternativa , um MonadPlusCatch e uma MonadPlusDistr ? mmmmmmmPara cada um dos seis pares possíveis, eu gostaria de ter uma prova de que...
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...
Isso é uma confusão de referência. Às vezes, vejo as pessoas usarem o termo "metalinguagem computacional de Moggi" para se referir ao cálculo apresentado por Moggi e, às vezes, ao "cálculo lambda computacional de Moggi". Às vezes eles usam λm lλmeu\lambda_{ml} e às vezes λcλc\lambda_c . Eu sempre...