Em que circunstâncias as computações monádicas são recursivas à cauda?

Em Wiki de HaskellRecursão em uma mônada existe um exemplo que é reivindicado sercauda recursiva:

a equivalência entre o functor e a mônada do aplicativo

Como interpretar bind / >> = da instância da função?

Estou tentando melhorar minha compreensão deApplicativeareiaMonads implementando suas instâncias de função em Javascript. Meu conhecimento de Haskell é limitado e espero que minha pergunta faça algum sentido. Aqui estão minhas implementações ...

Não trabalha com sequenciamento

Eu tenho esse tipo, basicamente uma seta Kleisli: {-# language DeriveFunctor #-} data Plan m i o = Plan (i -> m o) deriving Functor instance (Monad m) => Applicative (Plan m i) where pure x = Plan (\_ -> pure x) Plan f <*> Plan x = Plan (\i -> f ...

Como implementar a monad de continuação indexada no estilo do índice de núcleo

Eu tenho visto (e tentando entender) mônadas indexadas recentemente. Eu acho que tenho a cabeça em torno de um estilo de mônada indexada, como descrito aqui:...

Por que não há << na biblioteca padrão do Haskell?

o

Como o Scala Futures é encadeado junto com o flatMap?

Por que a função de seqüência Haskell não pode ser preguiçosa ou por que funções monádicas recursivas não podem ser preguiçosas

Objeto Opção Scala dentro de outro objeto Option

Eu tenho um modelo, que tem alguns campos de opção, que contêm outros campos de opção. Por exemplo:

O que há de tão especial sobre a palavra-chave "return"

Quando eu parecia entender o que é o retorno em Haskell, tentei brincar com alternativas diferentes e parece que o retorno não só pode ser usado em qualquer ...