Type class

De Viquipèdia
Jump to navigation Jump to search

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].