monads

0열

1답변

파섹을 사용하여 새 함수 "parse :: String -> Stm"을 작성하십시오.

새로운 함수 parse :: String -> Stm을 작성해야하는 교과 과정이 있습니다. Parsec에는 이미 구문 분석 함수가 있으므로 구문 분석에서 내 래퍼 함수를 반환하도록 정규화 된 parsec을 가져와야합니다. 래퍼 함수는 입력 문자열을 Parsec의 구문 분석 함수로 구문 분석하고 반환 된 모나드에서 결과의 압축을 풀어야합니다. 이것은 래퍼

2열

1답변

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

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

2열

0답변

DOM 읽기/쓰기를위한 Maybe와 IO 모나드의 결합

IO와 아마도 모나드을 사용하여 간단한 예제 을 작성하려고합니다. 이 프로그램은 DOM에서 노드를 읽고 그것에 innerHTML을 씁니다. 내가 묵묵히하는 것은 IO와 아마의 조합입니다. IO (Maybe NodeList). 이 설정으로 어떻게 회로를 단락 시키거나 오류를 발생 시키나요? 값을 추출하거나 기본값을 설정하는 데 getOrElse을 사용할 수

0열

1답변

평범한 포인터가 일반적인 연산 인 &와 *와 함께 모나드입니까?

유형 생성자 : template< typename T > T*; 단위 연산자 template< typename T > T* unit(T /*or T&*/ t) { return &t; } 바인드 운영자 template< typename A, typename B > B* bind(A a, std::function<b*(a)> f) { return a

2열

2답변

>>>와 concatMap의 차이점

오늘 모나드를 이해하려고 시도한 후 >>=으로 놀고 있었고 흥미로운 패턴을 발견했습니다. 목록 모나드로 작업 할 때 >>=은 concatMap처럼 작동하는 것으로 보입니다. 나는 유사점을 찾기 위해 주위를 둘러 보았고, 특히 해킹에 대한 정의를 살펴 보았다. 어떤 것들은 내가 노력 : [1, 2, 3] >>= (iter 5 id) => [1,1,1,1,1,

3열

1답변

MonadTransformer은 완성 된 작업을

서문 이 나는 사람이 이미 내 문제를 해결했다고 생각하는 그 질문 중 하나에 대한 유형 체킹,하지만 난 어디 있는지 모르겠어요. 질문 내가 모나드 스택의 동작이 완료되지 않는 유형 체킹 실패 할하는 방식으로 완전하거나 불완전의 아이디어를 전달하는 MonadTransformer 찾고 있습니다. 내 상황 나는 모나드가 MVAR을 보유 상태와 스택이있다. 이

1열

1답변

모나드 변압기와 내가 그렇게 같은 ReaderT을 생성하는 기능을 가지고 <code>ExceptT String IO()</code></p> <p>의 DO 블록 내부 실용적 아마

: type UDCEnv = (AWS.Env, Bool) uploadVersionFilesToCaches :: S3.BucketName -> FilePath -> [GitRepoNameAndVersion] -> ReaderT UDCEnv IO() 내가 너무 일이 Maybe FilePat

1열

1답변

리스트 이해 내에서 GetLine

리스트 이해력에서 매트릭스를 만들고 싶습니다. 각 행에 대해 getLine 및 구문 분석이 필요합니다. 간단히 말해서, 나는 이와 같은 것을하고 싶습니다. 나는이 기능 대신에 각 행에 대해 명령 프롬프트에서의 getline에 노력을 실행하면 fun = [ getLine | y <- [0..4]] , 나는 '인쇄'의 사용으로 인해 발생 없음 인스턴스 (쇼

2열

3답변

단일 대/소문자 구분을 사용하여 계산식 만들기

시작 번호를 두 번 나눕니다. 전체 워크 플로는 부울을 반환해야합니다. let divideBy bottom top = if bottom = 0 then None else Some (top/bottom) let divideByWorkflow init x y = match init |> divideBy x with | N

1열

1답변

하스켈 <- 잘 <code><-</code><code>do</code>에서 블록 <code>>>=</code> 단지 문법 설탕 것으로 알려져 있지만 하스켈 소스 어디서나 정의 <code><-</code>이거나 언어 문법의 일부 따라서 파서 단지 구문 구조입니다 것

할 일 표기법 단지 <-을 >>=의 적절한 양식으로 바꿉니다.