category-theory

3열

1답변

저는 함수 유형에 대해 프로그래머를위한 범주 이론을 읽었습니다. 그는 말한다 : 주의가 카레 함수 객체의 보편적 건설을위한 factorizer입니다.이 factorizer :: ((a, b)->c) -> (a->(b->c)) factorizer g = \a -> (\b -> g (a, b)) : 이것은 이 양식을 다시 않다면 특히 명백하다 (참고로 :

-2열

1답변

Haskell을위한 Edward Kmetts 패키지의 개요

일부 Haskell 패키지에서 Kmetts 패키지의 개요를 한눈에 기억하지만 더 이상 찾을 수 없습니다. 모든 Kmetts 패키지 (또는 적어도 중요한 하위 세트)와 이들 사이의 모든 종속성을 보여줍니다. 누군가 나를 찾을 수있는 곳으로 안내 할 수 있습니까?

3열

1답변

상위 traversable functors에 해당하는 optic이 있습니까?

Hedgehog은 다음과 같이 정의 된 HTraversable 클래스가 : 값이 콘크리트 또는 추상 여부를 통해 유형을 매개 변수화에 대한 자신의 Var 유형에 사용되는 -- | Higher-order traversable functors. -- class HTraversable t where htraverse :: Applicative f =

6열

1답변

KleisliFunctor와 비슷한 점은 무엇입니까? 여기

우리가 KleisliFunctor를 정의 할 수 있습니다 방법입니다 class (Monad m, Functor f) => KleisliFunctor m f where kmap :: (a -> m b) -> f a -> f b kmap f = kjoin . fmap f kjoin :: f (m a) -> f a kjoin

2열

2답변

Haskell의 모든 Monad 인스턴스가 Hask에서 Hask 로의 맵핑을위한 다른 방법입니까? 여기 <a href="https://en.wikibooks.org/wiki/Haskell/Category_theory" rel="nofollow noreferrer">Haskell/Category theory</a>을 읽고 있어요

는 그 기사에서 definition of monad입니다 : 모나드는 몇 가지 추가적인 구조를 지원하는 같은 카테고리 범주에서 펑터의 특별한 유형이다. 따라서 정의까지.가 단위 : C의 모든 오브젝트 X 두 morphisms 함께 C-> C : 모나드는 펑 M 인 X -> M (X) 가입 : M (M (X)) -> M (X) 내가 알고있는 것처럼, 하스켈

5열

2답변

Haskell에서`join`과`fmap join`은 동일합니까 (범주 이론 관점에서)입니까?

제 질문은 하스켈의 모나드의 첫 번째 법칙에서 발생합니다 : join . fmap join = join . join. 는 Haskell/Category_theory에서이 법은 다음 그림으로 설명된다 :이 예는 유형이 아닌 유형의 인스턴스를 사용한다는 사실에 의해 혼란 스러워요 . 범주 Hask에있는 객체는 유형이므로 인스턴스가 아닙니다. 을 모두 화살표 (

11열

1답변

바이 콤 노나드의 방법은 무엇입니까?

대신 뭔가 VectorSpace-y 또는 R2의 오히려 더 일반적인 짐승이 여기에 숨어 수도 나에게 발생 유용한 표준 클래스 to this one class Coordinate c where createCoordinate :: x -> y -> c x y getFirst :: c x y -> x getSecond :: c x

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

3열

1답변

Bifunctor에 해당하는 Monoid가 있습니까?

Bifunctor으로 작업 할 때 first 및 second "지도"기능에 액세스 할 수 있습니다. 기본적으로 Functor은 fmap의 두 가지 방식으로 허용합니다. Monoid에는 어떤 것이 있나요? 우리가 두 가지 다른 방식으로 추가 할 수있게 해주는 개념? 예를 들어, 불투명 한 Matrix 유형을 상상해보십시오. 목록 또는 벡터 벡터 목록이 아니기

1열

1답변

독자 모나드 - 모나드 인터페이스에 어떻게 부합합니까?

저는 카테고리 이론을 배우고 있습니다. 나는 독자 모나드의 개념을 이해 , 그것을 구현하는 데에도 꽤 쉽게 : case class Reader[DEP, A](g: DEP => A) { def apply(dep: DEP): A = g(dep) def map[B](f: A => B): Reader[DEP, B] = Reader(dep =>