state-monad

1열

1답변

고양이에서 StateMonad 시퀀싱

나는 스칼라의 고양이 라이브러리, 특히 State Monad를 살펴 보았습니다. object Splitter { def apply(maxSize: Int, overlap: Int): State[StringBuilder, String] = State( builder => { val splitPoint = math.min(builde

scala state-monad scala-cats 2017-10-12

---

9열

2답변

리더 모나드 이해

예 :으로 Purescript를 읽었으며 리더 모나드를 소개하는 부분에 도달했습니다. 이 예는 다음과 같습니다 : createUser :: Reader Permissions (Maybe User) createUser = do permissions <- ask if hasPermission "admin" permissions th

haskell monads purescript state-monad reader-monad 2017-10-13

---

3열

1답변

상태 모나드 : 값을 수정하지 않고 상태를 수정하는 중

술어 p과 목록을 사용하는 함수를 작성했습니다. 은 ([value],[state])을 반환합니다. 첫 번째 목록에는 p을 전달하는 요소가 포함되어 있고 두 번째 요소에는없는 요소가 들어 있습니다. 그러나, 나는 실패한 요소가 잘못 [value]에 저장되는 곳 runState (myFunc even [1,2,3,4,5]) [] 내가 ([2,4,5,3,1]

haskell monads state-monad 2017-04-04

---

2열

2답변

스테이트 모나드는 변경 가능 (지역 변수)이있는 언어 (예 : Scala)에서 필요/유용합니까?

하스켈에서 상태 모나드는 유용 할 수 있습니다. 왜냐하면 우리가 IO 모나드에 있지 않는 한 가변 변수가 없기 때문입니다. 그러나 스칼라와 어떤 관계가 있습니까? State Monad는 가변 변수가있는 언어에서 유용합니까? 어떤 의미에서는 모든 주 Monad는 use some local mutable variables within the Monad cont

scala haskell state-monad 2017-04-05

---

2열

1답변

계속하시오 (FlexibleContexts를 사용하여 이것을 허용하십시오) 간단한 Haskell 함수에서 에러가 발생했습니다.

저는 하스켈 모나드를 가지고 놀고 있습니다. 나는 수정할 수없는 오류가 계속 발생합니다. 내 코드 세그먼트는 상태 Monad를 사용하여 문자열의 처음 두 문자를 함께 추가하고이를 상태의 일부로 반환합니다. 내 "풋"라인은 계속 오류를 표시합니다. * Non type-variable argument in the constraint: MonadState [a]

haskell monads state-monad 2017-04-06

---

4열

1답변

하스켈에서의 상태 모나드 통과에 대한 혼동

하스켈에서 상태는 모나드가 추출되어 저장되는 상태입니다. 그리고 다음의 두 예제에서는 모두 >>을 사용하여 상태 모나드를 전달하고, 함수 인라이닝 및 축소에 의한 정밀한 확인을 통해 상태가 실제로 다음 단계로 넘어 갔음을 확인합니다. 그러나 이것은 매우 직관적이지 않습니다. 그렇다면 단지 >> (또는 및 람다 식 \s -> a 인 s은 a에서 무료가 아닌)

haskell monads state-monad 2017-02-22

---

1열

2답변

모나드 변환기 스택의 evalState

예를 들어 mtl 모나드 스택이 주어진 경우. ExceptT String (WriterT String (State s a)), 바깥 쪽 모나드를 풀지 않아도 내 상태 모나드를 어떻게 평가할 수 있습니까? have :: ExceptT String (WriterT String (State s)) a f :: State s a -> a want :: Exc

haskell monad-transformers state-monad 2017-09-11

---

4열

1답변

상태 모나드는 바깥 문맥에 어떻게 묶여 있습니까

나는 모나드를 이해하려고 노력하고 있습니다. 나는 분명히 인정해야합니다. 계산식을 작성하고 많은 수의 인쇄 문을 추가 했으므로 누가 호출되는지를 추적 할 수 있습니다. type State<'st,'a> = | Ok of 'a * 'st | Error of string and StateMonadBuilder() = member b

f# state-monad 2017-01-17

---

1열

2답변

COQ

하스켈에서 의 반대 상태 모나드는, 바인드의 다음과 같은 정의가 허용됩니다 : type RState s a = s -> (a, s) bind :: RState s a -> (a -> RState s b) -> RState s b bind sf f = \s -> let (a, s'') = sf s' (b, s') = f a s

haskell monads lazy-evaluation coq state-monad 2017-01-18

---

3열

1답변

하나가 일치하지 않으면 왜 '겹치는 인스턴스'오류가 발생합니까?

프리 모나드에 상태 모나드를 삽입 할 수 있습니다. {-# language FlexibleInstances, MultiParamTypeClasses #-} module Main where import Control.Monad.Free import Control.Monad.State import Data.Bifunctor data Toy stat

haskell state-monad free-monad 2017-01-19

---