Estado de gestão - capítulo 3 do SICP

Eu tenho trabalhado emEstrutura e Interpretação de Programas de Computador e completar os exercícios em Haskell. Os dois primeiros capítulos foram bons (códi...

o que é a monad adequada ou a compreensão da sequência para mapear e transportar o estado?

Eu estou escrevendo um interpretador de linguagem de programação.Eu preciso do idioma de código certo para avaliar uma sequência de expressões para obter uma...

Posso usar diferentes fluxos de trabalho simultaneamente em F #?

Preciso que meu estado seja repassado enquanto posso encadear funções com o talvez fluxo de trabalho. Existe uma maneira de dois fluxos de trabalho compartil...

combinando StateT com InputT

É um acompanhamento paraessa questão [https://stackoverflow.com/questions/37908718/keeping-track-of-history-in-ghci]. Estou tentando combinarshell de @ ErikR'sresponda [https://stackoverflow.com/a/37909749/165753]no meuInputT ciclo. main :: IO ...

É possível implementar `(Applicative m) => Applicative (StateT s m)`?

Monad State, seqüências de números aleatórios e código monádico

Pesquisa ampliada usando a mônada do estado em Haskell

Recentemente, fiz uma pergunta para criar a árvore DFS a partir do Graph no Stackoverflow e aprendi que ela pode ser simplesmente implementada usando a State Monad. DFS em ...

Scalaz state monad examples

Não vi muitos exemplos da mônada do estado scalaz. Há simeste exemplo [http://scalaz.github.com/scalaz/scalaz-2.9.1-6.0.2/doc.sxr/scalaz/example/ExampleState.scala.html] mas é difícil de entender e existe apenas umoutra ...

Uso do estado de Haskell em uma mônad

Deus odeio o termo "cheiro de código", mas não consigo pensar em nada mais precis Estou projetando uma linguagem de alto nível e compilador para Espaço em branco [http://compsoc.dur.ac.uk/whitespace/]o meu tempo livre para aprender sobre ...

Como evito me referir a todas as variáveis de estado ao atualizar apenas algumas?

Um idioma usado para compor alguns procedimentos (com memória) é o seguinte: p1 :: State (Int, String) () p1 = do (a, b) <- get ... do something ... put (a', b) p2 :: State (Int, String) () p2 = do (a, b) <- get ... do something else ... put (a, ...