typeclass

7열

2답변

패턴 일치로 생성 된 함수가 Eq 유형 제약 조건을 가지고 있지만 데이터 생성자를 사용하지 않는 이유는 무엇입니까?

이유 ghci는 I가 패턴 매칭을 통해 제작이 함수 matchInt의 형태 서명에 equality type 제약을 나열 않는다 : 단순 데이터 생성자를 사용할 때 이에 $ ghci GHCi, version 8.2.1: http://www.haskell.org/ghc/ :? for help Prelude> :{ Prelude| matchInt 1 = 3

6열

1답변

'nat'에 주사에서 유형에 대한 결정적인 총 주문을 얻습니다.

자연수가 결정 가능한 전체 순서를 지원하기 때문에 ascii 유형의 결정적인 총 주문이 유도됩니다. nat_of_ascii (a : ascii) : nat Coq에서 이것을 표현하는 간결하고 관용적 인 방법은 무엇일까요? (유형 클래스, 모듈 등의 유무에 관계없이)

9열

1답변

이 코드를 고려 유형의 오류

해결합니다. Foo.hs:16:17: Could not deduce (Foo a) arising from a use of ‘bar’ from the context (SomeClass a) bound by the type signature for foo :: SomeClass a => a -> Int at Foo.hs:

0열

1답변

동시에 증인과 타입 클래스 받기

유형 매개 변수를 포함하는 싱글 톤 유형을 실험하고 있습니다. 그 싱글 톤 유형에 대한 Witness와 중첩 된 유형에 대한 typeclass를 모두 받아들이는 함수를 작성하려고합니다. 그것은 (아래 f1() 및 f2() 참조) 개별적으로 하나를 얻을 쉽게,하지만 난 그것을 동시에 작동시킬 수 없습니다 : inferred type arguments [Not

1열

1답변

정의의 평등 내가 <a href="https://leanprover.github.io/" rel="nofollow noreferrer">lean</a>를 배우려고 노력하고 두 가지 요소가 필요 <code>x</code> 및 <code>y</code> 주어진 목록에 <code>y</code>와 <code>x</code>의 모든 발생을 대체하는 대체 함수를 정의 할 수 있어요

(decidable 평등? 예를 들어, 목록에서 요소를 대체). def replace {α : Type}: α -> α -> list α -> list α | a b [] := [] | a b (x::xs) := (if a = x then b else x) :: replace a b xs 이 나에게 다음과 같은 오류 제공 : 나는 이런 식으로 정의하

0열

1답변

MongoDB를 : 사용 createCodecProvider는 일반적으로

대신하는 경우 클래스 val codecRegistry = fromRegistries( fromProviders( classOf[CaseClassNameGoesHere], ... ), ... ) 당 하나의 하드 코딩 라인을 가지는 내가 대신 그들을 만들 수있는 방법을 만들고 싶습니다. 두 def met

3열

1답변

이 두 인스턴스가 겹치는 방법 (범위를 벗어난 유형 포함)

전 몇 달 전 자유 모나크 컨텍스트에서 펑터 주입에 대해 I asked a question에 대해 설명합니다. Data Types à la Carte에 기반한 해결책은 펑터 (functor) 간의 일종의 포함 관계를 나타내는 클래스를 사용합니다. Free가 Control.Monad.Free 모듈에서 오는 경우 type WeatherData = String

2열

1답변

`PartialMap` typeclass에`Map` typeclass를 특화하십시오

Map 및 PartialMap이라는 두 가지 유형의 안경을 정의했으며 이러한 데이터 구조에 대한 명확한 규칙이 있습니다. 특히, 이들은 단지 V 또는 option V을 초과하는지 여부에서만 차이가납니다. PartialMap은 본질적으로 Map의 특별한 경우입니다. 그러나, 나는 그것을 인코딩하는 방법을 잘 모르겠습니다. Class Map M K V: Typ

2열

1답변

다음 코드는 출신 유도 정의 형

(https://stackoverflow.com/a/37461290/2129302)에 대한 구현 (쇼를) 찾기 : mkStr : (Show a) => tensor shape a -> String mkStr x = show x 하지만 그 대신이 : tensor : Vect n Nat -> Type -> Type tensor [] a = a tens

3열

1답변

스칼라의 typeclass 패턴에서 암시 적 정의의 런타임 비용

this에서 implicits를 사용하여 스칼라에서 유추를 시뮬레이트하는 방법을 살펴 봅니다. 잘못 입력하지 않은 경우 재귀 인스턴스 선언에 대한 typecass 메서드 (Printer a => Printer (Option a))를 사용할 때마다 런타임에 새 인스턴스가 생성됩니다. 다음은 코드입니다. print을 사용할 때마다 Printer 인스턴스가 런타