«typeclass» 태그된 질문

Haskell을 배우는 동안 Haskell에서 비롯된 훌륭한 발명품 인 클래스 클래스를 발견했습니다 . 그러나 클래스 유형의 Wikipedia 페이지에서 : 프로그래머는 클래스에 속하는 모든 유형에 대해 존재해야하는 함수 또는 상수 이름 세트를 해당 유형과 함께 지정하여 유형 클래스를 정의합니다. 나에게 Java의 인터페이스 에 다소 가까운 것 같습니다 ( Wikipedia의 Interface (Java) 페이지 …

112 java  haskell  interface  typeclass 

Haskell의 Comonad typeclass는 무엇입니까? 에서 Comonad에서와 같이 comonad 패키지 Control.Comonad (A Comonad의 typeclass는 또한 제공하는 다른 패키지의 설명은 환영합니다). 나는 Comonad에 대해 막연하게 들었지만, 내가 그것에 대해 정말로 아는 extract :: w a -> a것은 Monad의 return :: a -> m a. "실제"코드에서 Comonad의 "실제"사용에 대한 보너스 포인트.

105 haskell  typeclass  comonad 

Haskell의 ADT ( Algebraic Data Types )는 자동으로 일부 유형 클래스 (예 :Show,Eq)에서 파생 되어 인스턴스가 될 수있습니다. data Maybe a = Nothing | Just a deriving (Eq, Ord) 내 질문은 이것이 어떻게 deriving작동하는지입니다. 즉, Haskell이 파생 ADT를 위해 파생 된 유형 클래스의 함수를 구현하는 방법을 어떻게 알 수 있습니까? …

104 haskell  typeclass  derived-types  derived-instances  deriving 

-Wall옵션을 사용하여 내 Haskell 애플리케이션을 컴파일 할 때 GHC는 고아 인스턴스에 대해 다음과 같이 불평합니다. Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result 타입 클래스 ToSElem는 내 것이 아니며 HStringTemplate에 의해 정의됩니다 . 이제이 문제를 해결하는 방법 (인스턴스 선언을 Result가 선언 된 모듈로 이동)을 알고 있으며 GHC가 고아 인스턴스를 피하는 것을 …

87 haskell  ghc  typeclass 

주어진 : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo 다음 String의 인스턴스 를 만들고 싶습니다 Fooable. instance Fooable String where toFoo = FooString GHC는 다음과 같이 불평합니다. Illegal instance declaration for `Fooable String' (All …

85 haskell  ghc  typeclass  type-systems 

표준 라이브러리 Haskell typeclasses MonadPlus, Alternative및 Monoid각각은 본질적으로 동일한 의미를 가진 두 가지 메서드를 제공합니다. 빈 값 : mzero, empty, 또는 mempty. 운영자 a -> a -> a: 함께 typeclass 값을 결합 mplus, <|>또는 mappend. 세 가지 모두 인스턴스가 준수해야하는 다음 법률을 지정합니다. mempty `mappend` x = x x `mappend` …

83 haskell  functional-programming  typeclass  applicative  monoids 

정량화 된 제약 조건으로 Eq (A f)잘 파생 될 수 있습니까? 그러나 Ord (A f)를 얻으려고하면 실패합니다. 제약 조건 클래스에 수퍼 클래스가있을 때 정량화 된 제약 조건을 사용하는 방법을 이해하지 못합니다. Ord (A f)수퍼 클래스가있는 클래스와 다른 클래스를 어떻게 파생 합니까? > newtype A f = A (f Int) > …

10 haskell  typeclass  derived-class  quantified-constraints 

연결에 대한 좋은 사실은 방정식에서 두 가지 변수를 아는 경우입니다. a ++ b = c 그런 다음 세 번째를 알고 있습니다. 나는 기능적으로 의존성을 사용하기 위해이 아이디어를 내 자신의 concat에서 포착하고 싶습니다. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class Concatable (m …

10 haskell  typeclass  functional-dependencies  type-level-computation 

렌즈 와 GHC 를 사용하는이 이상한 코드가 있습니다 . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a dumb proxy class …

9 haskell  typeclass  typechecking 

문제 Haskell의 다음 설계 문제를 고려하십시오. 변수 및 일반 표현식 (다변량 다항식)을 표현하려는 단순하고 상징적 인 EDSL이 x^2 * y + 2*z + 1있습니다. 또한, 나는 표정, 말을 통해 특정 기호 방정식을 표현 할 x^2 + 1 = 1뿐만 아니라 정의 처럼 x := 2*y - 2. 목표는 다음과 같습니다. …

9 haskell  casting  type-conversion  ghc  typeclass