La inferència de tipus és una característica poderosa de Haskell que permet al compilador deduir automàticament els tipus de les expressions sense necessitat que el programador els especifiqui explícitament. Això fa que el codi sigui més concís i llegible, alhora que manté la seguretat de tipus.

• Tipus Implícits: Haskell pot deduir el tipus d'una expressió sense que el programador l'especifiqui.
• Tipus Explícits: El programador pot especificar el tipus d'una expressió de manera explícita.

• Tipus Primitus: Int, Float, Char, Bool, etc.
• Tipus Compostos: Llistes [a], tuples (a, b), etc.
• Tipus Paramètrics: Tipus que depenen d'un o més paràmetres, com Maybe a, Either a b.

• GHC (Glasgow Haskell Compiler) és el compilador més utilitzat per Haskell i és capaç de deduir els tipus de la majoria de les expressions.

En aquest cas, hem especificat explícitament el tipus de la funció add. No obstant això, Haskell podria deduir el tipus automàticament:

El compilador deduirà que add té el tipus Int -> Int -> Int basant-se en l'operació de suma.

Haskell deduirà que numbers és una llista d'enters [Int].

El compilador deduirà que applyTwice té el tipus (a -> a) -> a -> a.

Quin tipus deduirà Haskell per a les següents expressions?

1. double x = x * 2
2. pair x y = (x, y)
3. isEven n = n mod 2 == 0

1. double :: Num a => a -> a
2. pair :: a -> b -> (a, b)
3. isEven :: Integral a => a -> Bool

Solució: Assegura't que els tipus de les variables siguin compatibles amb les operacions que estàs realitzant.

Solució: Especifica el tipus de la variable per evitar ambigüitats.

En aquesta secció, hem après sobre la inferència de tipus en Haskell, una característica que permet al compilador deduir automàticament els tipus de les expressions. Hem vist exemples pràctics i hem resolt exercicis per reforçar els conceptes apresos. La inferència de tipus fa que el codi sigui més concís i llegible, alhora que manté la seguretat de tipus.

En el següent tema, explorarem les Classes de Tipus, una característica avançada que permet definir comportaments comuns per a diferents tipus de dades.