applicative

3열

1답변

저는 coq에 처음 접했고 지금까지 손으로 증명할 수있는 것들만 증명할 수있었습니다. 그래서 셀렉션 모나드를 만나서 그것을 haskell에서 구현하기로 결정했을 때, 좋은 운동이 될 것이라고 생각했지만 붙어있었습니다. 누군가가 coq에서 선택 모나드가 응용 프로그램이자 모나드라는 증거를 보여줄 수 있습니까? 다음은 functor의 haskell 구현입니다.

3열

1답변

약간 좀 <code>Haskell</code> 코드를보기 시작 발견 우편

와 <*>을 적용 : foo :: ([a] -> [b]) -> [a] -> [(a, b)] let foo = (<*>) zip 이 어떻게 작동하는지 이해가 안가, ap가 f (a -> b) -> f a하지만 zip 유형 [a] -> [b] -> ([a, b])이다 기대하고있다. f a -> f b은 [a] -> [b]과 일치하지만 f (a -> b)은

1열

1답변

실용적 검증 구문 scalaz + 무형의 2.0

나는에 이제 Scalaz 구문 2.0 //for jupyter-scala kernel //classpath.add("org.scalaz" %% "scalaz-core" % "7.2.7") //classpath.add("com.chuusai" %% "shapeless" % "2.3.2") case class Foo(a: Int, b: Char, c:

11열

1답변

ApplicativeDo 'Parsing` 응용 프로그램에서 여전히 Monad 인스턴스를 찾는 언어 확장자

parserspackage을 사용하여 파서를 작성하려고하는데, 구문은 do입니다. 다음은 그 예입니다 : {-# LANGUAGE ApplicativeDo #-} import Text.Parser.Char (string, spaces) import Text.Parser.Token (TokenParsing, natural) issueParser :: T

3열

2답변

AccValidation에 Monad 인스턴스가없는 이유는 무엇입니까? <a href="https://hackage.haskell.org/package/validation" rel="nofollow noreferrer"><code>validation</code></a> 패키지의 문서에서

: AccValidation 데이터 형식 Either 동형이지만, 에러 측에 축적 Applicative 인스턴스를 갖는다. 즉, 두 개 이상의 오류가 발생하면 Semigroup 연산을 사용하여 오류가 추가됩니다. 이 Applicative 인스턴스의 결과로 해당 Bind 또는 Monad 인스턴스가 없습니다. AccValidation은 "모나드가 아닌 응용 펑

3열

1답변

monoidal 펑터와 같은 적용 펑터

Hackage에서 Applicative Functors에 대해 언급했듯이, 이들은 강한 느슨한 monoidal 펑터입니다. 왜 하스켈에서의 정의는 지금처럼 표시되지 않습니다 : class Functor f => MonoidalApplicative f where mult :: f a -> f b -> f (a,b) unit :: a -> f

1열

2답변

Applicative에서 순수한 값을 적용하기 위해 사전 정의 된 Haskell 연산자? I는 기능이 있으면 다음

(예 형 a -> b의)을 Applicative 래핑하고 적용 할 수있는 값 (상기 예에서 입력 a의 예 : 값), I는 적용 할 수 doSomething :: Applicative f => f (a -> b) -> a -> f b doSomething wrappedFn arg = wrappedFn <*> (pure arg) 나는이 일을 많이하는 것으

3열

1답변

오류 t ~ t -> T1

나는이 다음 코드 : 나는 GHCi에서 다음과 같은 오류가 점점 오전 {-# LANGUAGE DeriveFunctor #-} data Foo a = Foo { field1 :: a, field2 :: a} deriving (Functor) instance Applicative Foo where pure a = Foo a a f <*

3열

1답변

하스켈

AFAIK GHC8에 새로운 추가 중 하나는 대응 Applicative 방법 (<$>, <*>) 가능한 경우에 DO-표기 desugars ApplicativeDo 언어 확장이다 ApplicativeDo. 나는 다음과 같은 질문을 가지고있다. Applicative 방법으로 desugaring 할 수 있는지 여부를 어떻게 결정합니까? 내가 아는 바로는, (나중

0열

1답변

데이터 형식 생성자의 컨텍스트에서 다른 모나드 및 적용 가능한 바인드/결합자를 이해하고 있습니까?

나는 주위에 내 머리를 얻으려고 노력하고 다음 코드 조각을, 주어진했습니다 data MyExample e i = MyExample (CustomMonad e i) | forall b. MyExample e b :>>= (b -> CustomMonad e b) | forall b. (MyExample e (b -> a)) :<*> (MyEx