«typeclass» etiketlenmiş sorular

Birbiriyle kesişen geometrik nesneler için bir tür sınıfı tanımlamak istiyorum: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Fikir, farklı tipteki nesneleri işleyebilen genel amaçlı bir kavşak fonksiyonuna sahip olmaktır. Birisi şöyle düşünebilirdi: instance Intersect …

11 haskell  type-systems  typeclass 

Herhangi bir Sınırlı örneğin Enum'un aklı başında bir uygulaması olmalı gibi görünüyor. Şahsen bir karşı örnek düşünemiyorum, ancak eğer birisi patolojik olmayan biriyle gelirse, neden böyle olmadığını anlayacağım. :iİki tip sınıfta yaptığından , şu anda standart kütüphanede tek istisna, Sınırlı olan ancak Numaralandırmalar olmayan tuples için olduğu görülüyor. Bununla birlikte, …

9 haskell  typeclass