monads

6열

1답변

표기를하고 모나드에 반환한다고 가정 나는 코드 Just [3,5] 어떻게 하스켈 그 출력 값이 Maybe 모나드에 있어야 알고 있지 출력 do {x <- (Just 3); y <- (Just 5); return (x:y:[])} 다음습니까? 즉, return은 [[3, 5]]을 출력 할 수 있습니다. Just 3 >>= \x -> Just 5 >>= \

12열

2답변

트래버스가 가능한 임의의 모나드의 구성이 항상 모나드입니까?

두 개의 모나드가있는 경우 m 및 n이고, n은 통과 할 수 있습니다. 모나드는 m-over- n 모나드입니까? 당연히 import Control.Monad import Data.Functor.Compose prebind :: (Monad m, Monad n) => m (n a) -> (a -> m (n b)) -> m (n (m (n b)

4열

2답변

어떤 Monad Transformer를 사용할 수 있습니까?

첫 번째 오류가 발생한 후에 유효성 검사가 중지되도록 아래에 유효성 검사 함수를 작성하려고합니다. 반환 유형 three은 다른 기능과 다릅니다. 이 코드를 컴파일하기 위해 어떤 모나드 변환기를 사용해야합니까? import scalaz._ import Scalaz._ import scala.concurrent.Future import scala.conc

1열

1답변

모나드 인스턴스를 이해하지 못하는 동시성이 불량합니까?

나는 동시성을 구현하는 this 가이드를 실행하는거야 나는 문제가이 모나드 예를 이해하는 데 : data Action m = Atom (m (Action m)) | Fork (Action m) (Action m) | Stop newtype C m a = C {apply :: (a -> Action m) -> Action m} instance Mona

1열

1답변

하스켈의 타입 생성자와 자바 제네릭 타입의 차이점은 무엇입니까?

나는 Haskell에서 경험이없는 모나드에 대해 읽고 뭔가 타입 생성자의 개념과 혼동하고있다. 모나드는 트리플이다 (M, unitM, bindM) 타입 생성자 M 다형성 함수의 쌍으로 이루어진. 자바에서 unitM :: a -> M a bindM :: M a -> (a -> M b) -> M b 는 : public class M<T> { s

9열

2답변

모나크를 풀기 위해 선택 모나드를 사용하는 방법은 무엇입니까?

모나드가 어떻게 작동하는지 이해하려고합니다. 분명히 그것은 Cont의 사촌이며 역 추적 검색에 사용될 수 있습니다. 내가 대신 Select을 사용하려면이 솔루션을 적용하기 위해 사투를 벌인거야 -- All the ways of extracting an element from a list. oneOf :: [Int] -> [(Int,[Int])] oneO

4열

1답변

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

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

1열

1답변

API와 인터페이스하기위한 HTTP 렌즈?

저는 하스켈과 함께 기세를 가지기 시작했고, 내가 일상화 한 추상화를 좋아합니다 (예 : lens). 나는 REST API 렌즈가 함께 사용하는 것이 유용 할 수 있지만 시간이 지나면 사용이 불가능하다는 것을 알고 있습니다. 내가 볼 수있는 주요 문제는 내가 직접 데이터 구조에 접근하지만, 요청 문자열을 출력 아니에요이다 는 (내 렌즈 구문은 아마도 잘못)

2열

1답변

펑터 또는 모나드는 각각 고차 함수로만 표현 될 수 있습니까?

컨테이너 유형 ([]/{})을 사용하지 않고 Javascript로 펑터를 구현하려고합니다. 따라서, 나는 전적으로 그들을 구성하는 순수 고차 기능을 활용 : const option = x => f => isAssigned(x) ? option(f(x)) : none; const none = option(null); const is

11열

3답변

우리는 모나드에 모나드가 필요한 이유는 무엇입니까

아마 모나드 유형 (연쇄, 반환 값에 따라 조건부 함수를 적용하고 연쇄 함수가 실패한 오류 메시지 등을 반환)을 중심으로 놀고있었습니다. 그래서 저는 모나드를 사용하여 우리가 할 수있는 것과 같고 더 많은 일을 성취 할 수있는 것처럼 보입니다. 그래서 제 질문은 그것들 사이의 실제적 또는 개념적 차이점이 어디에 있습니까?