Jeremy Gibbons 및 Bruno C.의 The Essence of the Iterator Pattern에 나와있는 것처럼 하스켈과 Kernighan 및 Ritchie에서 모나드 구성을 사용하여 시연 된 UNIX wc 프로그램을 포팅하려고 비교적 처음입니다. S. Oliveira, 컴파일하는데 어려움을 겪고 있습니다. import Control.Mo
는 데이터 유형 F 및 유형의 기능을 제공하는 라이브러리가 ffoldlIO :: (b -> a -> IO b) -> b -> F a -> IO b
기능은 foldlIO :: (b -> a -> IO b) -> b -> [a] -> IO b
foldlIO f a = \xs -> foldr (\x r (!a') -> f a' x >>= r) return
나는 수행하려고하는 다소 단순한 기능에 집착 한 하스 켈 멍청한 느낌입니다. 궁극적으로 목표는 엄격한 ByteString을 읽는 것입니다. 모나드를 디코더와 함께 사용하여 ByteString에서 첫 번째 Word32을 검색하고 Data.Bits.testBit이 Word32의 여러 부분에서 True로 평가되는 특정 기능을 수행하십시오. 여기 내 예제 코드입니
저는 모나드를 시작하면서 어쩌면 어쩌면 IO (일명 Task?)에 대해서 배웠습니다. 입력을 기반으로 동작 과정을 결정할 수있는 Monad가 있습니까? 예를 들어 입력이 'http'로 시작하면 fn (입력)을 실행하십시오. 입력이 '단축'으로 시작하면 fn2 (입력)를 실행 하시겠습니까? 마지막으로 입력이 '완료'이면 fn3 (입력)입니다. 아니면 이러한
하스켈에서 오류 모나드와 IO Monad를 결합하고 싶습니다. 나는 다음과 같은 동작을 달성하고자하는 type AskMonad = ErrorT String IO
askSomething :: AskMonad Direction
askSomething = do
liftIO $ putStrLn "Choose an element from the lis
물고기 조작자에 비해 Monads는 연관성을 만족시킵니다. 다음 식을 의미 (람다 식으로) 결합과 같은 번역 (h >=> g) >=> f = h >=> (g >=> f)
이, \a -> h a >>=(\b -> g b >>= \c -> f c) =
\a ->(h a >>= \b -> g b)>>= \c -> f c
이것은 단항 조성을 이해하는 좋은
무료 모나드에 대해 배우고 있으며 스칼라에 두 개의 도메인 특정 언어를 정의하는 데 사용하는 간단한 예제를 작성했습니다. 첫 번째 모나드는 저장소의 부작용을 처리합니다. 상태를 관리하기 위해 상태 모나드를 사용하는 통역사를 구현했지만 실제 프로그램에서는 데이터베이스를 사용합니다. 두 번째 모나드는 IO를 처리합니다. import cats.data.State
말해봐, 나는 데이터베이스에 연결하고 쿼리를하고 싶다. 나는 이전 연결을 다시 때 기존의 연결을 끊어 다시 연결하려면, 나는 데이터베이스에 새 연결마다 시간이 원하지 않는, queryDatabase :: IO String
...
doSomeQuery :: IO()
doSomeQuery = do
conn <- connectToDatabase
하스켈에서 Parser Combinators (a la parsec)를 구현할 때 this tutorial을 따르고 있습니다. 이 게시물을 통해 언급 한 NanoParsec의 모든 것을 구현했습니다. 이제 몇 시간 동안 , 나는 꽤 작업 -- try p. If p fails continue without consuming anything
try :: Pa