monoids

5열

1답변

Haskell - Implementing Monoid 연산자가 연관되지 않은 경우 어떻게 될 것입니까?

정의 또는 monoid에 따르면 이항 연산자는 연관되어야합니다. A op (B op C) == (A op B) op C. 하스켈 base mconcat definition은 다음과 같습니다 mconcat = foldr mappend mempty 나는 mconcat 기능의 구현 세부 사항을 알고 있기 때문에, 나쁜 아무것도 정의하고 함수가 연관되지 않는

1열

1답변

표준 ML에서 다형성 목록 monoid를 표현하는 방법

나는 최근에 Standard ML에서 monoids로 놀고있었습니다. 이러한 structure IntSumMonoid : MONOID = struct type monoid = int val neutral = 0 fun combine a b = a + b end 그러나 나는 더 높은 kinded 유형에 대한 모노 이드 정의에

1열

1답변

옵션 [Monoid [T]] 매퍼드 작업을 처리하는 좋은 방법이 있습니까? I는 모노 이드 [T]를 가지고 있다면

제로와 mappend을 가지고 있다는 것이 각각 implicit myMonoid: Monoid[T] = ... val x: T = thing() val y: Option[T] = none[T] val z: Option[T] = Some(value) val a: T = x.mappend(y) val b: T = x.mappend(z) val

0열

1답변

이 서명은 무엇입니까? (제로 : α; 추가 : α -> β -> α; } 이름?

나는 모노 이드 및 빌더 인터페이스가 있습니다 interface IMonoidFor<T> { T Zero { get; } T Append(T a, T b); } interface IBuilderFor<T> { IBuilderFor<T> Append(T value); T Result(); } 을 그리고 알고리

1열

1답변

Foldable은 mappend의 구현을 어떻게 알 수 있습니까?

"http://learnyouahaskell.com"의 도움으로 하스켈을 배우고 있습니다. 나는이 접힌 나무를 나타내는 목록을 F.foldMap (\x -> [x]) testTree을 실행하면 data Tree a = Nil | Node a (Tree a) (Tree a) deriving (Show, Read, Eq) instance F.Foldable

0열

1답변

하스켈 데이터 형식 상태 모나드에 대한 계산

어떻게 Monoid 인스턴스에 다음 데이터 형식을 사용할 수 있습니까? data Counts = Counts { binds :: Int, returns :: Int, gets :: Int, puts :: Int } deriving (Eq, Show) 예 : 내가 같은 생각 : mempty = Counts { 0, 0

3열

1답변

HSpec 및 QuickCheck을 사용하여 Data.Monoid 속성 확인

HSpec 및 QuickCheck를 사용하여 Monoids (연관성 및 신원 요소)의 등록 정보를 확인하려고합니다. 특정 인스턴스를 확인하려고하지만 대부분의 코드를 다형성으로 유지하려고합니다. (그래도 난하고 싶은 무엇 module Test where import Test.Hspec import Test.QuickCheck import Data.Mo

2열

1답변

스칼라에서 모노로이드 값의 "합"을 얻는 방법?

단순한 몬테카를로 시뮬레이션을 위해 Rng 라이브러리를 사용한다고 가정합니다 (예 : post). val d : Rng[Double] = double val point : Rng[(Double, Double)] = pair(d, d) val points = point.stream(1000) val tests = points.map(point => i

4열

2답변

하스켈 : Endo를 쓰는 것이 더 나은 방법일까요?

network-api-support 패키지 덕분에 Endo 유형을 발견했으며, 아마도 Endo 's에 값을 넣을 수있는 필요성을 발견했습니다. 그 결과 maybeEndo라는 함수를 작성했습니다. setProxy :: Proxy -> RequestTransformer setProxy (Proxy pHost pPort) = Endo $ addProxy pHo

4열

1답변

왜 Monoid는 foldr/foldl을위한 요구 사항이 아닙니까?

하스켈에서 Foldable 클래스를보고 있습니다. 두 가지 방법 fold, foldMap에는 Monoid 인스턴스가 필요합니다. 그러나 foldr 또는 foldl에는 이러한 제약 조건이 없습니다. foldr/foldl 동등한 것으로, 그것은 주어진 폴딩 기능을 제한해서는 안 결과에 대해 fold :: Monoid m => t m -> m foldMap :