Haskell è un linguaggio di programmazione puramente funzionale basato interamente su processi matematici e logici. La programmazione funzionale è una forma di programmazione dichiarativa, il che significa che il programma si concentra sulla sua natura e su ciò che dovrebbe realizzare piuttosto che dettagliare e ordinare come dovrebbe essere fatto (come la programmazione imperativa). La natura puramente funzionale di Haskell fornisce agli sviluppatori un codice semplice che possono studiare per comprendere chiaramente la logica del programma, senza dover passare attraverso comandi e lunghe sezioni di codice.
Caratteristiche di Haskell e programmazione funzionale
La programmazione funzionale rende il codice più facile da analizzare; è logico, matematico e specifico. Haskell è uno dei principali esempi di linguaggio puramente funzionale. È stato chiamato per Haskell Brooks Curry, un matematico e logico il cui lavoro ha gettato le basi per lo sviluppo di linguaggi di programmazione funzionali. Haskell è popolare tra alcune aziende, come quella finanziaria e tecnologica, che richiedono processi matematici molto specifici, corretti ed espliciti.
Le caratteristiche di Haskell (e della programmazione puramente funzionale in generale) includono:
Puro funzioni sono più facili da analizzare e testare e sono indipendenti da eventi esterni. Le funzioni pure, in altre parole, restituiscono ogni volta la stessa risposta, senza influire sulle altre sezioni del programma.
Non effetti collaterali poiché le funzioni restituiscono lo stesso valore ogni volta che vengono chiamate, non hanno effetti collaterali in altre parti del programma. Un effetto collaterale spesso cambia lo stato del programma stesso, non solo l'area locale in cui appare. Poiché le funzioni sono pure, gli sviluppatori sono in grado di evitare qualsiasi effetto collaterale mentre lavorano in Haskell.
Valutazione pigra il programma valuterà una funzione solo quando è assolutamente necessario. Non valuterà le funzioni solo perché. Questo è più efficiente.
Digitazione statica il programmatore deve assegnare un tipo di dati a una variabile durante lo sviluppo del programma. In genere, il programma assumerà quindi quel tipo per ogni successiva istanza della variabile.