Type class

De Viquipèdia
Salta a la navegació Salta a la cerca

Type class, en ciència de la computació, és un sistema de tipus que suporta polimorfisme ad hoc. Type class va aparèixer per primer cop al llenguatge de programació Haskell.[1][2]

Exemples[modifica]

Una type class Eq es declararia de la següent manera :

class Eq a where
  (==) :: a -> a -> Bool
  (/=) :: a -> a -> Bool

llavors es podria definir una funció elm :

elem :: Eq a => a -> [a] -> Bool
elem y []     = False
elem y (x:xs) = (x == y) || elem y xs

Referències[modifica]


  1. contributors, Cats. «Cats» (en anglès). https://typelevel.org.+[Consulta: 9 octubre 2017].
  2. «What Is the Difference Between a Type and a Type Class in Haskell? - Quora» (en anglès). https://www.quora.com.+[Consulta: 9 octubre 2017].