Câu hỏi được gắn thẻ «typeclass»

Trong khi tôi đang học Haskell, tôi nhận thấy nó lớp kiểu , được cho là một phát minh tuyệt vời có nguồn gốc từ Haskell. Tuy nhiên, trong trang Wikipedia về loại : Lập trình viên định nghĩa một lớp kiểu bằng cách chỉ định một tập hợp các …

112 java  haskell  interface  typeclass 

Kiểu chữ Comonad trong Haskell là gì? Như trong Comonad từ Control.Comonad trong gói comonad (giải thích về bất kỳ gói nào khác cung cấp kiểu chữ Comonad cũng được hoan nghênh). Tôi đã mơ hồ nghe nói về Comonad, nhưng tất cả những gì tôi thực sự biết về …

105 haskell  typeclass  comonad 

Các kiểu dữ liệu đại số (ADT) trong Haskell có thể tự động trở thành các thể hiện của một số typeclasse (nhưShow,Eq) bằng cách lấy từ chúng. data Maybe a = Nothing | Just a deriving (Eq, Ord) Câu hỏi của tôi là, điều này derivinghoạt động như thế …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Khi biên dịch ứng dụng Haskell của tôi với -Walltùy chọn, GHC phàn nàn về các phiên bản mồ côi, ví dụ: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Lớp kiểu ToSElemkhông phải của tôi, nó được định nghĩa bởi HStringTemplate . Bây giờ tôi biết cách khắc phục điều …

86 haskell  ghc  typeclass 

Đã cho : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Tôi muốn tạo Stringmột ví dụ về Fooable: instance Fooable String where toFoo = FooString GHC sau đó phàn nàn: Illegal instance declaration for …

85 haskell  ghc  typeclass  type-systems 

Thư viện chuẩn Haskell typeclasses MonadPlus, Alternativevà Monoidmỗi thứ cung cấp hai phương thức có ngữ nghĩa về cơ bản giống nhau: Một giá trị rỗng: mzero, empty, hoặc mempty. Một nhà điều hành a -> a -> amà gia nhập giá trị trong typeclass với nhau: mplus, <|>, hoặc …

83 haskell  functional-programming  typeclass  applicative  monoids 

Tôi đang chơi với Haskell mới bắt đầu và tôi muốn viết một hàm trung bình. Nó dường như là điều đơn giản nhất trên thế giới, phải không? Sai lầm. Có vẻ như hệ thống kiểu của Haskell cấm trung bình làm việc trên một kiểu số chung - …

76 haskell  types  typeclass 

Với các ràng buộc định lượng tôi có thể rút ra Eq (A f)tốt không? Tuy nhiên, khi tôi cố gắng lấy Ord (A f) thì thất bại. Tôi không hiểu làm thế nào để sử dụng các ràng buộc được định lượng khi lớp ràng buộc có một siêu …

10 haskell  typeclass  derived-class  quantified-constraints 

Một sự thật đúng đắn về phép nối là nếu tôi biết bất kỳ hai biến nào trong phương trình: a ++ b = c Sau đó tôi biết thứ ba. Tôi muốn nắm bắt ý tưởng này trong concat của riêng tôi để tôi sử dụng một phụ thuộc …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Tôi có mã này (phải thừa nhận là lạ) sử dụng ống kính và GHC.Records : {-# 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 = …

9 haskell  typeclass  typechecking 

Vấn đề Hãy xem xét các vấn đề thiết kế sau đây trong Haskell. Tôi có một EDSL đơn giản, tượng trưng trong đó tôi muốn biểu thị các biến và biểu thức tổng quát (đa thức đa biến) như x^2 * y + 2*z + 1. Ngoài ra, tôi …

9 haskell  casting  type-conversion  ghc  typeclass 

Tôi có một tá các loại mới như thế này: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Tôi muốn sử dụng lại các trường hợp hiện có: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Thực hiện các trường …

8 haskell  typeclass  newtype  deriving