Haskell és un llenguatge de programació funcional pur, conegut per la seva expressivitat, seguretat i capacitat per gestionar la concurrència de manera eficient. Va ser creat als anys 90 per un grup de científics de la computació amb l'objectiu de proporcionar un llenguatge estàndard per a la recerca en programació funcional.

1. Funcional Pur: Haskell és un llenguatge funcional pur, el que significa que les funcions en Haskell no tenen efectes secundaris. Això facilita el raonament sobre el codi i la seva correcció.
2. Tipatge Fort i Estàtic: Haskell utilitza un sistema de tipus fort i estàtic, el que ajuda a detectar errors en temps de compilació.
3. Inferència de Tipus: Haskell pot deduir els tipus de la majoria de les expressions automàticament, reduint la necessitat d'anotar tipus explícitament.
4. Laziness (Avaluació Peresa): Haskell utilitza avaluació peresa per defecte, el que significa que les expressions no es calculen fins que són necessàries.
5. Concurrència i Paral·lelisme: Haskell proporciona eines potents per gestionar la concurrència i el paral·lelisme, com ara les monads i les estructures de dades immutables.

• Mantenibilitat: El codi Haskell és sovint més curt i més fàcil de mantenir gràcies a la seva expressivitat i l'absència d'efectes secundaris.
• Fiabilitat: El sistema de tipus de Haskell ajuda a evitar molts errors comuns en temps de compilació.
• Productivitat: La capacitat de Haskell per deduir tipus i la seva sintaxi concisa poden augmentar la productivitat del desenvolupador.
• Rendiment: Tot i ser un llenguatge d'alt nivell, Haskell pot ser molt eficient gràcies a la seva avaluació peresa i optimitzacions del compilador.

• Corba d'Aprenentatge: Haskell pot ser difícil d'aprendre per a programadors acostumats a llenguatges imperatius.
• Ecosistema: Tot i que està creixent, l'ecosistema de Haskell no és tan gran com el d'altres llenguatges més populars.
• Rendiment en Certes Situacions: En alguns casos, l'avaluació peresa pot introduir sobrecàrrega i afectar el rendiment.

Haskell va ser creat el 1990 per un comitè de científics de la computació que volien un llenguatge estàndard per a la recerca en programació funcional. El llenguatge porta el nom del matemàtic i lògic Haskell Curry. Des de llavors, Haskell ha evolucionat significativament, amb la versió més recent sent Haskell 2010.

Haskell s'utilitza en una àmplia varietat d'aplicacions, des de la recerca acadèmica fins a la indústria. Alguns exemples inclouen:

• Desenvolupament Web: Frameworks com Yesod i Servant permeten construir aplicacions web robustes.
• Finances: Haskell s'utilitza en la indústria financera per a la seva fiabilitat i seguretat.
• Compiladors i Eines de Desenvolupament: Haskell és utilitzat per construir compiladors i altres eines de desenvolupament, com el compilador GHC (Glasgow Haskell Compiler).

Per donar una idea de com és la sintaxi de Haskell, aquí teniu un exemple senzill d'un programa "Hola Món":

• main :: IO (): Aquesta línia defineix el tipus de la funció main. IO () indica que main és una acció d'entrada/sortida que no retorna cap valor significatiu.
• main = putStrLn "Hola, món!": Aquesta línia defineix la funció main, que utilitza putStrLn per imprimir "Hola, món!" a la consola.

Haskell és un llenguatge de programació potent i elegant que ofereix molts avantatges per a la programació funcional. Tot i que pot tenir una corba d'aprenentatge pronunciada, les seves característiques úniques i la seva capacitat per produir codi segur i mantenible el fan una opció atractiva per a molts desenvolupadors.

En el proper tema, veurem com configurar l'entorn Haskell per començar a programar.