overlapping-instances

1열

1답변

친애하는 하스켈/GHC 전문가 하나, 하나 실제로 제공 상황에 따라 유효한 동안 GHC 겹치는 경우를보고 왜 난 정말 이해가 안 돼요. 예를 들어, 다음 코드 조각을 살펴 보자 : {-# LANGUAGE FlexibleInstances #-} class C a where foo :: a -> String foo x = "OK" in

0열

2답변

Monad의 Num 인스턴스입니다. 겉보기 관련이없는 코드가있는 경우에만 중복 인스턴스가 있습니까?

Monad을 Num으로 처리 할 수 있다면 코드를 좀 더 깔끔하게 작성할 수 있습니다 (적용 가능한 경우). {-# LANGUAGE FlexibleInstances #-} import Control.Monad (liftM, liftM2) import Data.Char (digitToInt) instance (Monad m, Num a) => N

3열

1답변

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

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

8열

1답변

하스켈 중복 인스턴스를 입력 기능

나는이 모델은 SQL과 같은 쿼리 최적화 다음 typeclass : class OptimizableQuery q where type Optimized q :: * optimize :: q -> Optimized q instance Query q => OptimizableQuery q where type Optimized q =

8열

1답변

Haskell의 언어 확장 또는 언어 자손, 특히 인스턴스 처리시 표현력을 선호하는 언어가 있습니까? 때때로

, 나는 하스켈은 즉, 인스턴스 머리를 일치 "기능"으로 실행 instance (a ~ NewDataTyp b) => C a 지금 뜻이 오류가 프로그램에 C의 다른 인스턴스 선언을 작성, 즉 어떠한 유형과 일치합니다 인 경우에도 일 수 없으므로 a ~ NewDataTyp b 문맥으로 인해 충돌이 발생 할 수 없습니다. 때로는 극복하기 위해 많은 노력이

0열

4답변

클래스간에 공통된 컨텍스트를 공유하는 방법은 무엇입니까?

현재 시나리오 : 나는 모든 생성자에서 공통 인수 context을 클래스 세트를 가지고 있고, 모든 클래스는 공통의 기지에서 상속합니다. 주에서 class base: def common_method(self): pass class a(base): def __init__(self,context, aa): pass

8열

1답변

외부 라이브러리의 중복 인스턴스 해결

accelerate 라이브러리에서 가져 오는 모듈에 (Data.Tagged) 유형의 show을 보내려고합니다. 불행히도 가속 라이브러리는 Data.Array.Accelerate.Pretty.hs에서 쇼 인스턴스를 instance Kit acc => Show (acc aenv a) where 으로 정의합니다. 조금 주위를 읽으면이 인스턴스를 가져 오는 것

0열

2답변

인스턴스 공유 변수가없는 복합 및 계층

상속 및 구성에 크게 의존하는 코드를 작성했습니다. 이제는 내 계층 구조 클래스가 서로간에 작동하도록 변수를 공유해야하는 문제가 발생했지만 합성 클래스가 공유되므로 이러한 클래스의 개별 인스턴스가 원하는 값을 공유하지 못하게됩니다. 그들에게. 나는 분명히 단어로 이것을 설명하는 것을 빨기 때문에 나는 약간의 코드를 썼다. 계층 구조 시스템을 덤핑과 내가 공