Pertanyaan yang diberi tag «typeclass»

Saat saya mempelajari Haskell, saya melihat kelas tipenya , yang seharusnya merupakan penemuan hebat yang berasal dari Haskell. Namun, di halaman Wikipedia tentang kelas tipe : Pemrogram mendefinisikan kelas tipe dengan menetapkan sekumpulan fungsi atau nama konstanta, bersama dengan tipenya masing-masing, yang harus ada untuk setiap tipe yang termasuk dalam …

112 java  haskell  interface  typeclass 

Apa kelas tipe Comonad di Haskell? Seperti dalam Comonad dari Control.Comonad dalam paket comonad (penjelasan tentang paket lain yang menyediakan kelas tipe Comonad juga diterima). Saya samar-samar pernah mendengar tentang Comonad, tetapi yang saya benar-benar tahu tentang itu adalah penyediaan extract :: w a -> a, semacam paralel dengan Monad …

105 haskell  typeclass  comonad 

Tipe Data Aljabar (ADT) di Haskell dapat secara otomatis menjadi instance dari beberapa kelas tipe (sepertiShow,Eq) dengan menurunkannya . data Maybe a = Nothing | Just a deriving (Eq, Ord) Pertanyaan saya adalah, bagaimana cara derivingkerjanya, yaitu bagaimana Haskell tahu bagaimana menerapkan fungsi kelas tipe turunan untuk ADT turunan? Juga, …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Saat menyusun aplikasi Haskell saya dengan -Wallopsi tersebut, GHC mengeluh tentang instans yatim piatu, misalnya: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result Jenis kelas ToSElembukan milik saya, ini ditentukan oleh HStringTemplate . Sekarang saya tahu cara memperbaikinya (pindahkan deklarasi instance ke modul tempat Hasil dideklarasikan), dan saya tahu mengapa GHC …

87 haskell  ghc  typeclass 

Dengan batasan kuantitatif saya dapat memperoleh dengan Eq (A f)baik? Namun, ketika saya mencoba untuk menurunkan Ord (A f) gagal. Saya tidak mengerti bagaimana menggunakan batasan terkuantifikasi ketika kelas kendala memiliki superclass. Bagaimana cara mendapatkan Ord (A f)dan kelas lain yang memiliki kacamata super? > newtype A f = A …

10 haskell  typeclass  derived-class  quantified-constraints 

Fakta benar yang bagus tentang penggabungan adalah bahwa jika saya tahu ada dua variabel dalam persamaan: a ++ b = c Lalu aku tahu yang ketiga. Saya ingin menangkap ide ini di konser saya sendiri jadi saya menggunakan dependensi fungsional. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Saya memiliki kode ini (memang aneh) yang menggunakan lensa dan GHC.Rekam : {-# 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 …

9 haskell  typeclass  typechecking 

Masalah Pertimbangkan masalah desain berikut ini di Haskell. Saya memiliki, EDSL simbolis sederhana di mana saya ingin mengekspresikan variabel dan ekspresi umum (polinomial multivariat) seperti x^2 * y + 2*z + 1. Selain itu, saya ingin mengekspresikan persamaan simbolik tertentu atas ekspresi, katakanlah x^2 + 1 = 1, serta definisi …

9 haskell  casting  type-conversion  ghc  typeclass