«applicative» 태그된 질문

타입 클래스 X가 무엇인지 누군가에게 설명하면서 정확히 X 인 데이터 구조의 좋은 예를 찾기 위해 고심하고 있습니다. 따라서 다음에 대한 예를 요청합니다. Functor가 아닌 타입 생성자. Functor이지만 형식이 아닌 형식 생성자입니다. Applicative이지만 Monad가 아닌 형식 생성자입니다. Monad 인 타입 생성자. 나는 모나드에 대한 많은 예가 있다고 생각하지만, 이전 예와 관련이있는 …

209 haskell  monads  functor  applicative 

응용 프로그램은 구성하지만 모나드는 구성하지 않습니다. 위의 진술은 무엇을 의미합니까? 그리고 언제 하나가 다른 것보다 선호됩니까?

110 haskell  functional-programming  monads  monad-transformers  applicative 

표준 라이브러리 Haskell typeclasses MonadPlus, Alternative및 Monoid각각은 본질적으로 동일한 의미를 가진 두 가지 메서드를 제공합니다. 빈 값 : mzero, empty, 또는 mempty. 운영자 a -> a -> a: 함께 typeclass 값을 결합 mplus, <|>또는 mappend. 세 가지 모두 인스턴스가 준수해야하는 다음 법률을 지정합니다. mempty `mappend` x = x x `mappend` …

83 haskell  functional-programming  typeclass  applicative  monoids 

Haskell 's Applicatives를 배우고 있습니다. 그것은 것을 (나는 아마 틀렸다) 날 것으로 보인다 pure예를 들어, 기능이 정말 필요하지 않습니다 : pure (+) <*> [1,2,3] <*> [3,4,5] 로 쓸 수 있습니다 (+) <$> [1,2,3] <*> [3,4,5] 누군가가 pure함수가 명시 적 매핑보다 제공 하는 이점을 설명 할 수 있습니까 fmap?

19 haskell  applicative 

Applicativetypeclass을 나타내는 LAX monoidal 펑 해당 입력 기능의 범주에 직교 monoidal 구조를 유지. 다시 말해서, (,)단일체 구조 를 형성하는 표준 동 형사상이 주어지면 : -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, b), c) lunit_fwd …

9 haskell  functor  applicative  category-theory