Come scrivere un semplice programma in Haskell (con immagini)

2024 Autore: Gilbert Ryder | [email protected]. Ultima modifica: 2023-12-16 17:34

Hai mai desiderato lanciarti nella programmazione con Haskell ma non sapevi da dove cominciare? Bene, non hai bisogno di cercare oltre! Questo articolo ti mostrerà come far funzionare il codice Haskell sul tuo sistema Windows 10. Haskell è un linguaggio di programmazione puramente funzionale e tipizzato in modo statico. Per ulteriori informazioni e risorse su Haskell, vedere la pagina della documentazione di Haskell, il wiki di Haskell e il wiki di Haskell.

Passi

Parte 1 di 2: installazione di Chocolatey e Haskell Toolchain

Questi passaggi dimostreranno come far funzionare Chcolatey su Windows e come utilizzare Chocolatey per scaricare la toolchain Haskell. Chocolatey è un gestore di pacchetti a livello di macchina creato esclusivamente per Microsoft Windows. Ancora più importante, Chocolatey è il metodo consigliato da Haskell.org per l'installazione dei componenti richiesti sulla piattaforma Windows. Utilizzerai la versione open source di Chocolatey. Per ulteriori informazioni, vedere Perché Chocolatey?, Installazione di Chocolatey e Chocolatey.

Passaggio 1. Conoscere l'architettura del sistema

Aprire il visualizzatore di informazioni di sistema di base. Si trova nel pannello di controllo in

Pannello di controllo > Sistema e sicurezza > Sistema

. Nel pannello delle informazioni di sistema, vedrai importanti informazioni sul tuo sistema Windows. Sotto il Sistema sezione, vedrai Tipo di sistema. Appena a destra di quell'etichetta ti mostrerà l'architettura del sistema. (ad es. 32 bit o 64 bit)

Passaggio 2. Installa PowerShell

Utilizzerai Powershell in un passaggio successivo per installare Chocolately. Fare clic qui per accedere all'ultima versione di Powershell 7 su Github. Ci sono molte versioni diverse in questa pagina, ma dovresti concentrarti solo su quelle versioni compatibili con Windows. Sembreranno quasi identici a

PowerShell-7.x.y-win-ARCH.msi

dove

x.y

è la sovversione - che puoi ignorare perché sono tutti uguali - e

ARCO

è x64 o x86 (rispettivamente a 64 bit e 32 bit). Ti consigliamo di scaricare quello che corrisponde all'architettura del tuo sistema. Ad esempio, se l'ultima versione è 7.0.2 e la tua macchina esegue un'architettura a 32 bit (x86), dovresti scaricare

PowerShell-7.0.2-win-x86.msi

. Allo stesso modo, per l'architettura a 64 bit, il file avrà x64 al posto di x86.

Passaggio 3. Esegui il programma di installazione al termine del download

Non dovresti aver bisogno di preoccuparti della configurazione; tuttavia, assicurati di selezionare l'opzione del componente aggiuntivo del menu di scelta rapida "Apri qui". Ciò renderà più semplice e veloce l'apertura di Powershell in una directory specifica.

Passaggio 4. Scarica il terminale di Windows da Microsoft Store

Questo è essenzialmente un wrapper per Powershell che modernizza l'aspetto di Powershell migliorando l'efficienza e aggiungendo alcune funzionalità inclusa l'integrazione di altre shell. Fare clic qui per accedere alla pagina di download del terminale di Windows.

Passaggio 5. Installa Chocolatey

Per iniziare, esegui Windows Terminal come amministratore. Se non esegui come amministratore, Chocolatey non verrà installato perché hai bisogno di privilegi elevati. Naturalmente, ne consegue che ogni volta che si desidera eseguire Chocolatey, è necessario disporre di privilegi elevati (ovvero è necessario che il prompt sia in esecuzione come amministratore).

Passaggio 6. Immettere i comandi seguenti in ordine sequenziale

Per riferimento, ho mostrato un esempio nella foto sopra.

Set-ExecutionPolicy RemoteSigned

Set-ExecutionPolicy Bypass -Scope Process -Force; iwr https://chocolatey.org/install.ps1 -UseBasicParsing | iex

Passaggio 7. Riavvia Windows Terminal o esegui il comando

rinfrescare

per aggiornare il

$Env:Percorso

con il nuovo installato

cioccolato

.

Puoi verificarlo eseguendo

choco --versione

. Se non ricevi un errore, allora è tutto normale. Per ulteriori informazioni sull'installazione di Chocolatey, visitare Installazione di Chocolatey

Passaggio 8. Installa gli strumenti Haskell

Come indicato sul sito Web di Haskell, è necessario installare il

haskell-dev

pacchetto tramite Chocolatey. Prima di correre

cioccolato

assicurati di aver riavviato Windows Termal o di aver eseguito il comando

rinfrescare

affinché

cioccolato

sarà nel

$Env:Percorso

. Usando un prompt con privilegi elevati, esegui il seguente comando

choco install haskell-dev -y

Passaggio 9. Eseguire il comando refreshenv

Una volta

haskell-dev

è terminata l'installazione, esegui

rinfrescare

e prova per vedere se sono nel tuo percorso. Puoi farlo correndo

ghc --version

per controllare il compilatore.

Parte 2 di 2: creazione del tuo primo programma Haskell

Passaggio 1. Apri un nuovo documento vuoto

Puoi utilizzare qualsiasi editor di testo che desideri (ad esempio vscode, atom, sublime, ecc.). Apri il tuo editor di testo preferito con un documento vuoto. Salverai questo documento come

ciao.hs

. Il

.hs

estensione viene utilizzata per identificare i file contenenti il codice sorgente Haskell.

Passaggio 2. Creare la prima variabile in Haskell

Devi definire una variabile chiamata main. Il compilatore haskell cercherà questo quando compilerai il tuo codice sorgente.

principale:: IO()

1. Il

   ::

2. operatore può essere letto come "ha tipo".

3. Quindi puoi leggere la riga di codice sopra come

   principale

   "ha tipo"

   IO()

4. Il

   IO()

   il tipo è qualcosa chiamato a

   Monade

   . Non entrerò nei dettagli, ma puoi leggere di più sul wiki di Haskell sulle monadi.

   Passaggio 3. Fornire un valore

   Il

   IO()

   Monad viene utilizzato per Input/Output. Quindi ora che hai la tua variabile

   principale

   devi solo dargli un valore.

   main:: IO() main = putStrLn "Ciao, mondo!"
   

   1. putStrLn

      è una funzione il cui tipo è

      Stringa -> IO()

   2. .

   3. All'inizio può sembrare confuso, ma è piuttosto semplice. Pensa al

      ->

      come mappatura da un tipo all'altro. Questo è il

      putStrLn

   4. la funzione associa una stringa a una monade.

   5. In sostanza, la funzione

      putStrLn

      assume un valore di tipo

      Corda

      e restituisce un valore di tipo

      IO()

   6. .

   7. Questo è il motivo per cui la digitazione viene verificata quando assegni

      principale

      al valore di

      putStrLn "Ciao, mondo!"

      

      Passaggio 4. Compila il programma

      Congratulazioni, hai appena scritto il tuo primo programma haskell. Tutto quello che devi fare ora è compilarlo. Apri Windows Terminal e vai alla cartella in cui hai salvato il tuo

      ciao.hs

      file. Puoi utilizzare l'opzione del menu di scelta rapida "Apri qui" se hai selezionato tale opzione durante l'installazione di Powershell 7. Una volta lì, puoi iniziare il processo di compilazione utilizzando il seguente comando:

      ghc ciao.hs -o ciao
      

      1. La compilazione prende il codice sorgente

         ciao.hs

      2. come input

      3. usando il

         -o

         flag puoi passare il nome di quello che vuoi che sia l'eseguibile di output. In questo caso è

         Ciao

      4. Per eseguire il programma dopo l'esecuzione

         .\ciao.exe
         

      5. nota: è importante avere il

         .\

         davanti

         ciao.exe