의 내가 x :: Monad a => [a]
x = [item1, item2, item3, ...]
있다고 가정 해 봅시다 그리고 나는이 위해 무엇을 할 : zipf' x (y:z) = getZipList $ foldl (<*>) (x <$> y) z
그러나 불행히도 : y f = f <$> item1 <*> item2 <*> item3 <*> i
새 줄이 보일 때까지 STDIN에서 줄 바꾸기로 구분 된 문자열 목록을 읽고 싶습니다. 유형이 IO [String] 인 작업을 원합니다. 여기에 내가 재귀으로 어떻게 할 것입니다 : myReadList :: IO String
myReadList = go []
where
go :: [String] -> IO [String]
go l =
나는 좀 놀랐습니다 : -- | @since 4.9.0.0
instance Applicative Complex where
pure a = a :+ a
f :+ g <*> a :+ b = f a :+ g b
liftA2 f (x :+ y) (a :+ b) = f x a :+ f y b
-- | @since 4.9.0.0
in
는 모나드에 대한 튜토리얼을 읽고 다음에 붙어 있었 : 이해할 수 let m = return 2 :: IO Int
은 - 우리가 (IO 2) 그러나 다음은 무엇을 의미 하는가 모나드 변수에 2 팩? 내가 Monad 정의에서 알다시피 m >>= return
이 반환 항상 정확히 하나 개의 인수를 허용하는지, 2. 를 출력합니다. 그러나, 여기에는 결석
무한 목록 filterM을 사용하는 방법이 존재 :이 head <$> filterM (fmap not . fexists_) [ getDatedDir t d n | n <- [0..] ]
이의 문제는 그 결코 보고. 문제는 IO가 Functor이지만 filterM은 헤드 효과 이전에 모든 IO를 처리해야한다는 것입니다. 즉, 모든 n에 대해 fexists
맨 아래에 예제를 사용하여 질문을 다시하겠습니다. 내가 함수 호출의 왼쪽 및 오른쪽 값을 참조하고 있다고 말하면 m 또는 k입니다. 모나드에 대한 이해가 흐려집니다. m이 계산이고 k이 람다 식인 경우, k은 do 블록의 바인딩을 사용하여 작업 할 수 있고 Monad 인스턴스 정의의 다른 용도로 사용될 수있는 두 가지 용도로 사용됩니다. k이 do 블록에서
예 :으로 Purescript를 읽었으며 리더 모나드를 소개하는 부분에 도달했습니다. 이 예는 다음과 같습니다 : createUser :: Reader Permissions (Maybe User)
createUser = do
permissions <- ask
if hasPermission "admin" permissions
th
이 프로그램을 고려 게으른 평가 문제 : module test
import Effects
import Effect.StdIO
(>>==) : Maybe a -> Lazy (a -> Maybe b) -> Maybe b
(>>==) Nothing (Delay map) = Nothing
(>>==) (Just x) (Delay map) = map x
POMDP에 대해 open source library을하고 있습니다. 두 번째 공간에서 일부 비용 기능을 사용하여 검색하려면 후드 아래 Dynamic Programming을 사용합니다. DP 구현은분기는 하스켈의 지연 평가를 사용하는 DP 메모 작성의 경우 MemoTrie을 기반으로합니다. 그리고 나는 조정할 수있는 비용 함수가 필요하다. 나는 이것이 Me
g a은 구체적인 유형이며, 나는 [g (m a)] -> [m (g a)] -> m [g a]을 생각하고 있으며, 마지막 단계는 sequence :: Monad m => t (m a) -> m (t a)으로 수행 할 수 있습니다. 어떻게하면 첫 번째 단계를 달성 할 수 있습니까? 그래서, 당신은 손으로이를 작성할 필요가 없습니다 sequenceLEdge :