applicative

0열

1답변

저는 this paper을 읽고 있습니다. 그리고 그것은 Monoids가 팬텀 응용 펑터라고 말합니다. purycript에 팬텀 유형을 설정하려고 시도했지만 Functor 인스턴스에 유형 오류가 발생합니다. 내 생각 엔 컴파일러는 a이지도를 작성한 후 Accy o a에 무엇이 있는지 모른다. 어떻게 수정하겠습니까? newtype Accy o a = Accy

2열

3답변

Ramda 's ap와 관련없는 어플리케이션 펑터는 무엇입니까?

자바 스크립트에서 응용 펑터를 사용하는 방법을 배우려하고 ap 메서드를 발견했습니다. 나는과 같이 세 가지 배열을 결합하여 사용하는 것을 시도하고있다 : const products = ['teeshirt', 'sweater'] const options = ['large', 'medium', 'small'] const colors = ['red', 'bl

1열

1답변

모든 것이 미래 일 때 pipeK에서 세 번째 함수가 호출되지 않는 이유는 무엇입니까?

세 번째 기능 (즉,이 doStuff3)가 호출되지 않는 이유를 알아낼 수 없습니다, 그래서 포크에 console.log 당신은 Ramda REPL

3열

1답변

형식 제약 조건을 functor 맵 함수에 추가하는 방법

형식 제한이있는 abstract class Foo[V : Monoid]에 Functor을 정의 할 수 없습니다. 이는 Functor의 map 메소드가 Monoid이 아닌 B 매개 변수를 사용하기 때문입니다. 제 질문은 어떻게 그런 제약 조건을 추가 할 수 있습니까? import cats.Functor import cats.kernel.Monoid ab

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

0열

1답변

이송 성이 자연스럽게 적용되는 "적용 가능한 변형"이란 무엇입니까?

는 Traversable 클래스의 traverse 및 sequenceA 함수는 다음 'naturality'법칙을 만족해야합니다 t . traverse f == traverse (t . f) t . sequenceA == sequenceA . fmap t 을 모든 '실용적 변화't을 위해. 그러나 그것은 무엇입니까? 이 t = tail에 대한 insta

9열

1답변

복소수 펑터와 모나드의 의미와 용도는 무엇입니까? 내가 GHC <code>Data.Complex</code> 모듈에서 <code>Applicative Complex</code> 및 <code>Monad Complex</code>의 인스턴스의 소스 코드를 읽을 때

나는 좀 놀랐습니다 : -- | @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

1열

2답변

첫 번째 또는 두 번째 인수를 버리면 왜 (?>) 또는 (<*)와 같은 함수가 필요합니까?

The type signature of the function (*>)는이다 : 첫 번째 인수의 값을 폐기 (*>) :: f a -> f b -> f b 시퀀스 작업. 누군가가 유용한 이유를 설명해주세요. 첫 번째 인수가 삭제 된 경우 카운터 직관적 인 것으로 보입니다. 예를 들어 설명해주십시오. 감사.

1열

1답변

ScalaZ에서 FoldLeft 이해하기

나는 ScalaZ에 관한 기사를 읽고 그것에 대해 질문이 있습니다. 이 article에서는 sum 함수를 일반화하여 합계 형식을 추상화합니다. 특성 모노 이드가 [A]로 정의된다 def sum[T](xs: List[T])(implicit m: Monoid[T]) = //... 은 다음과 같습니다 trait Monoid[A] { def mappe

3열

3답변

실용적 : <a href="https://wiki.haskell.org/Typeclassopedia" rel="nofollow noreferrer">Typoclassopedia</a> 내 연구 기간 동안 <*> X = 순수 (플립 ($)) <*> X <*> 순수 f`

F '순수 증명 나는이 증거를 발견,하지만 난 내 증거가 맞는지 확실하지 않다. 문제는 다음과 같습니다. 유효한 인수에 순수한 함수를 적용하는 것에 관한 상호 법칙의 변형을 상상할 수 있습니다. 위의 법을 사용하여, 그 증명 : pure f <*> x = pure (flip ($)) <*> x <*> pure f 경우 "위 법률"포인트를 Applicativ