monads

1열

1답변

하스켈에서 >>의 정확한 사용법

그냥 지금 하스켈의 모나드에 소개되고 >>으로로드 블록의 무언가를 친다. >>= 내가 서곡에서 다음 얻을 수있는, 나에게 의미가 있습니다 : Prelude> Just 1 >>= (\ x -> Just (x+1)) Just 2 나의 이해는 >> 바인드와 동일하지만 단지 기능에 관해서 일정 할 때 사용하는 것입니다 그 매개 변수. 내가하려고 할 때하지만

haskell types typeerror monads ghci 2017-10-04

---

6열

1답변

F # 계산식은 Combine이라 할 때

나는이 똑 바른 Maybe 모나드를 구현하려고 시도했다. 따라서 중간 단계 중 하나가 Nothing 인 경우 기본적으로 전체 표현식은 Nothing으로 평가됩니다. 내가 foobar 예상 type Maybe<'a> = | Just of 'a | Nothing type MaybeBuilder() = member this.Combi

f# monads 2017-05-16

---

0열

1답변

어느 쪽을 옮기는 방법. 오른쪽 모두. 왼쪽?

db.findUser(id).then(R.pipe( R.ifElse(firstTestHere, Either.Right,() => Either.Left(err)), R.map(R.ifElse(secondTestHere, obj => obj,() => Either.Left(err))), console.log )) 첫 번째 테스트가

javascript functional-programming monads ramda.js ramda-fantasy 2017-05-19

---

0열

1답변

Scalaz 모호한 가져 오기 오류가

I'am하고 뭔가이 for { x <- MonadX y <- MonadY } yield { (x, y) } MonadX 및 MonadY처럼 모나드와 유형 M[X] 및 M[Y] 한 작업을 할 때 내가 인스턴스를 제공 implicit m: Monad[M] 이 내 수입 입니다 import scalaz.Monad import s

scala monads scalaz 2017-05-23

---

1열

1답변

Reader Monad를 (Int -> Int)와 함께 사용하는 방법?

리더 모나드 사용법을 배우고 싶습니다. 불행히도 단지 적은 양의 예제 코드를 사용할 수 있습니다. 환경 및 검색된 값이 Int 인 Reader를 만들고 싶습니다. ReaderT이 예상되기 때문에, 나는 오류가 발생 addStuff :: Reader Int Int addStuff = do a <- (*2) b <- (+10) re

haskell monads reader-monad 2017-05-23

---

1열

1답변

모나드 순열을 변경할 수 있습니까?

문제 : 나는 다음과 같은 Future[Option[T]] 모나드를하고 난 그것에 scalaz 모나드 변압기 OptionT을 적용하고 싶습니다. 나는 선택적 결과에만 관심이 있습니다. 질문 : 그것은 의미를 보존 Future[Option[T]]에서 Option[Future[T]]을 생성 할 수 있습니까?

scala monads 2017-09-06

---

7열

2답변

모나드 변환기에서 왜 모나드는 내부 모나드입니까?</p> <pre><code>newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a)} </code></pre> <p>하지만하지 : 왜이 ​​</p> <pre><code>newtype MaybeT m a = MaybeT { runMaybeT :: Maybe (m a) } </code></pre> <p>예를 들어

는 MaybeT는 다음과 같이 정의된다?

haskell monads monad-transformers 2017-09-07

---

4열

2답변

생성 파서 조인 결과를 문자열로 CSV 필드의 필드를 구문 분석하는 의미는 다음 종류 및 기능, 주어진

: 내가 가지고있는 type Parser resultType = ParsecT String() Identity resultType cell :: Parser String 다음과 같은 기능을 구현 : customCell :: String -> Parser res -> Parser res customCell typeName subparser =

parsing haskell monads monad-transformers parsec 2017-09-12

---

0열

1답변

맞춤형 스칼라 모나드를 표준 스터드와 동일하게 처리하기 위해 Intellij 디버거를 얻으려면 어떻게해야합니까?

내가 def getList: List[A] def doSomeStuff(a: A): List[B] for { a <- getList x <- doSomeStuff(a) } yield x 같은 목록에 대한-이해 스칼라가 나는 인 IntelliJ에서 디버거로 단계별 경우, 디버거는 List 클래스의 내부지도/flatMap 구현 한

scala debugging intellij-idea monads 2017-09-13

---

3열

1답변

MaybeT 모나드의 아무것도 없음 : 좀 더 간결한 방법?

내가 특별히 MaybeT Identity String import Control.Monad.Trans.Maybe import Control.Monad.Identity import Data.Maybe main :: IO() main = putStrLn . show . runIdentity . runMaybeT $ maybeGetString may

haskell monads 2017-05-03

---