Tipos con Clase parte 3

 

Seguimos con type class

Haskell proporciona varias type class estándar. Echemos un vistazo a Num.

Num es la clase de tipos numéricos.

Aquí está (en parte) su declaración de clase:

    class Num a where

      (+), (-), (*) :: a -> a -> a

Hay muchos tipos numéricos; dos de ellos son Int y Double.

Hay funciones monomórficas primitivas que realizan operaciones aritméticas en estos tipos (estos no son los nombres reales):

addInt, subInt, mulInt :: Int -> Int -> Int

addDbl, subDbl, mulDbl :: Double -> Double -> Double

    instance Num Int where

      (+) = addInt

      (-) = subInt

      (*) = mulInt

    instance Num Double where

      (+) = addDbl

      (-) = subDbl

      (*) = mulDbl

Hay algunas operaciones (suma) que son válidas para todos los tipos numéricos. Hay algunos otros (por ejemplo, funciones trigonométricas) que son válidos solo para algunos tipos numéricos.

Por lo tanto, existe una rica jerarquía de subclases, que incluyen :

Integral: clase de tipos numéricos que representan valores enteros, incluidos Int, Integer y más.

Fraccional: clase de tipos que pueden representar fracciones.

Floating: clase que contiene Float, Double, etc.

Bounded: clase de tipos numéricos que tienen un elemento mínimo y máximo.

Bits: clase de tipos donde puede acceder a la representación como una secuencia de bits, útil para la programación de sistemas y el diseño de circuitos digitales.

Si deseamos profundizar en clases y tipos numéricos, podemos consultar la documentación de Haskell.