Haskell è un linguaggio di programmazione per computer avanzato. Considerata programmazione puramente funzionale, il linguaggio consiste in valutazioni di espressioni. Queste espressioni sono in genere scritte in un formato in cui una parte dell’espressione è uguale all’altra. Il linguaggio è scritto su una piattaforma Haskell e può essere facilmente integrato con altri linguaggi di programmazione per computer.
Basato sul sistema di calcolo lambda, Haskell utilizza il simbolo lambda greco come logo. Il lambda calcolo esamina le relazioni all’interno delle funzioni matematiche, dell’applicazione delle funzioni e della ricorsione. Questo sistema matematico funziona in base alla teoria che le equazioni più semplici e brevi sono più potenti di quelle lunghe e complicate e questo fornisce ad Haskell la base per il suo formato intuitivo e facile da imparare.
La struttura delle espressioni eseguite in Haskell consente a un programma di eseguire teoricamente flussi di dati infiniti. Ciò è dovuto alle proprietà di valutazione pigre del linguaggio, il che significa che un’espressione è essenzialmente inattiva finché non è necessaria insieme a un’altra istruzione. Una volta che è necessario, l’espressione produrrà i valori necessari e passerà all’espressione successiva. Se programmato come tale, può creare un ciclo infinito di dati.
Haskell utilizza un sistema di tipizzazione statica. Ciò consente al programma di controllare se stesso per gli errori prima che il programma venga eseguito, rendendo possibile rilevare errori nel codice prima che il programma sia completato. Si ritiene che la tipizzazione statica si traduca in un codice più efficiente rispetto alla sua controparte dinamica e ha il vantaggio di verificare se stesso mentre viene scritto. Questo può essere un notevole risparmio di tempo se si verifica un errore nelle aree funzionali essenziali e di base del codice; se non viene scoperto fino all’esecuzione del programma, può significare una riscrittura importante.
Spesso utilizzato per programmi che devono essere modificati o aggiornati regolarmente, Haskell ha abbastanza in comune con altri linguaggi di programmazione da essere spesso un trampolino di lancio per i programmatori che si avviano a lavorare con un altro linguaggio. Haskell può ospitare sia la programmazione numerica che simbolica ed è stato utilizzato dalle principali aziende. La sua longevità è stata in parte dovuta al suo facile utilizzo e ai costanti aggiornamenti.
Il linguaggio prende il nome dal matematico Haskell Brooks Curry, che ha svolto gran parte del suo lavoro nella teoria dei sistemi e dei processi formali. La sua ricerca in logica matematica ha costituito la base su cui sono stati costruiti i linguaggi di programmazione per computer, compreso quello a cui ha dato il suo nome. Curry è morto nel 1982, all’età di 82 anni.
La piattaforma per la programmazione Haskell è disponibile per il download da numerosi siti, inclusa la pagina dell’azienda. Il download è gratuito e include tutorial e guide per il programmatore principiante.