monoids

18열

2답변

GHC에는 DeriveFunctor, DeriveDataTypeable 등과 같은 몇 가지 언어 플래그가있어 Haskell 98에서 허용되는 유형 클래스 이외의 유형 클래스에 대해 파생 인스턴스를 컴파일러에서 생성 할 수 있습니다. 이는 특히 Functor과 같은 유형에 대해 명백한 "자연"파생 인스턴스를 지시합니다. 그럼 Monoid을 사용하지 않으시겠습

33열

2답변

왜 MonadPlus가 아닌 Monad + Monoid입니까?

MonadPlus 뒤에있는 동기를 이해하려고합니다. 이미 보조 안경 Monad 및 Monoid이있는 것이 필요한 이유는 무엇입니까? 허용되는 경우 Monoid의 인스턴스는 구체 유형이고 Monad의 인스턴스는 단일 유형 매개 변수를 필요로합니다. (. 도움이되는 설명을 Monoid vs MonadPlus 참조)하지만 당신은 Monad 및 Monoid의 조합

0열

1답변

접이식와 나무

나는 나무 data Tree a = Leaf a | Node [Tree a] deriving (Show) 의 다음과 같은 정의와 접을 수있는 다음과 같은 인스턴스가 트리 대신 a 대신에 유형 선언의 인스턴스를 만들지 않습니까?

5열

1답변

(Monad m, Monoid o) => m o?

끔찍한 제목을 위해 죄송합니다. 나는 Monoid 유형을 포장하는 Monad에 대해 Applicative의 인스턴스를 만들려고합니다. instance (Monad m, Monoid o) => Applicative (m o) where pure x = return mempty xm <*> ym = do x <- xm y

0열

1답변

매개 변수화 된 모노도를위한 제로를 만들 때 아무 것도 사용하지 않는 문제

다음은 제 코드입니다. 나는 그것의 새로운 인스턴스를 만들 수있을 거라고 생각 def AlwaysMatchingTypesafeQuery[ObjectType] = new TypesafeMongoQuery[ObjectType] { override def build(): DBObject = AlwaysMatchingQuery } def NeverMatc

49열

1답변

범주, Monoid 및 Monad를 설명하기위한 간단한 예제?

나는이 세 가지 개념과 매우 혼동을 느낍니다. 범주, Monoid 및 Monad의 차이점을 보여주는 간단한 예가 있습니까? 이러한 추상적 개념에 대한 설명이있는 경우 매우 유용합니다.

8열

2답변

왜이 렌즈를 사용하려면 내 데이터 유형이 Monoid 인스턴스에 있어야합니까?

아래의 코드는 SceneGraph 유형의 '_scene'필드가있는 레코드에서 사용하고 있습니다. 저는 makeLenses를 사용하여 렌즈를 만들었습니다. inputGame :: Input -> Game -> Game inputGame i g = flip execState g $ do let es = g ^. userInput . events

8열

2답변

Foldable의 foldl/foldr 구현은 haskell의 이진 트리에서 어디에서 왔습니까?

나는 하스켈을 배우려고 노력하고 있는데, 나는 몬로이드에 관한 섹션에있다. 이 섹션에서 저자는 다음과 같이 트리의 foldMap 메소드를 정의합니다. instance F.Foldable Tree where foldMap f Empty = mempty foldMap f (Node x l r) = F.foldMap f l `mappend`

18열

4답변

모노로이드의 실제 사용은 무엇입니까?

내가 읽는 중 하스켈을 배우십시오 그리고 이미 적용 사례를 다루었으며 이제는 단서가 있습니다. 나는 둘 다 이해하는 데 아무런 문제가 없다. 비록 실제로 응용에서 유용한 것을 찾았지만 monoid는 그렇지 않다. 그래서 저는 하스켈에 대해 무언가를 이해하지 못한다고 생각합니다. 먼저 Applicative을 말하면 '컨테이너'에 대한 다양한 작업을 수행하기

13열

3답변

C++에서 준결승이나 단조 로움에 대한 표준 추상화가 있습니까?

boost 또는 다른 일반적인 C++ 라이브러리는 semiring 또는 monoid 추상화 (예 : 템플릿 클래스)를 제공합니까? 나는이 추상적 구조의 관점에서 표현하고자하는 몇 가지 알고리즘을 가지고 있지만 지금까지 나는 무엇이든 만나지 않았다. 나는 내 자신을 쓸 수 있지만, 이상적으로 이것들은 이미 내가 부스트와 같이 사용하고있는 도서관에있을 것이다.