Ciao! Se è la prima volta che capiti su questo sito, ti consiglio di consultare la pagina principale di questo cosiddetto Giardino Digitale per scoprire meglio cos’è e come navigarlo.
Lo stato di questa nota è al momento: 🔴 Bozza.
Definizione: Haskell
Haskell è un linguaggio di programmazione puramente funzionale lazy, general-purpose e fortemente tipizzato, creato principalmente per analizzare le caratteristiche dei linguaggi. È stato chiamato così in onore del matematico e logico statunitense Haskell Curry.
1 - Introduzione ad Haskell
1.1 - Installazione e compilatori
Per usare Haskell, come ogni altro linguaggio di programmazione, c’è bisogno di un IDE e di un compilatore. Uno dei compilatori più diffusi per Haskell è il Glasgow Haskell Compiler (GHC).
Definizione: Glasgow Haskell Compiler (GHC)
Il Glasgow Haskell Compiler (GHC) è un compilatore per il linguaggio di programmazione Haskell, chiamato così perché inizialmente sviluppato presso l’Università di Glasgow in Scozia.
Permette di compilare file di codice Haskell (solitamente con estensione .hs), ma supporta anche una modalità interattiva da terminale tramite il GHCi.
Puoi trovare qui la documentazione completa sul GHC.
Definizione: GHCi
GHCi è l’interfaccia interattiva (REPL) del GHC che permette di eseguire espressioni Haskell direttamente da riga di comando senza dover compilare un file sorgente.
Per imparare a usare Haskell è molto più facile e veloce usare il GHCi anziché compilare ed eseguire nuovamente il programma per ogni modifica che si fa. Il GHCi è accessibile da terminale tramite il comando ghci.
Sintassi: uso del GHCi
All’interno del GHCi si possono chiamare funzioni da file Haskell che vengono caricati. Per caricare un file nel GHCi, si usa il comando
:l <file_name.hs>
Per esempio, per caricare un file Haskell con nome myfunctions.hs, bisogna scrivere nel GHCi:l myfunctions.hs.
Se il file myfunctions.hs viene modificato, per aggiornare le modifiche anche nel GHCi basta nuovamente scrivere :l myfunctions.hs, oppure equivalentemente :r che ricarica tutti i file già caricati.
Per uscire dal GHCi e tornare al terminale basta premere Ctrl+D.
Fonti
🏫 Corso di Laurea in Informatica (L-31 R) presso l’Università di Torino:
Corso di Linguaggi e Paradigmi di Programmazione, A.A. 2020-21 (pagina Moodle):