This is an old revision of the document!

Haskell Environment

Setup

Primul pas spre a putea învăța Haskell este să avem o modalitate de a rula codul scris. Puteți descărca platforma Haskell de aici (Windows/OS X/Linux) sau puteți căuta pachetul “ghc” în repourile distribuției voastre.

GHC este un compilator de Haskell, similar cu gcc. Pentru început, nu vom compila programe, ci vom rula în modul interactiv, care ne permite să apelăm funcții din consolă și să vedem rezultatul lor. Putem să încărcăm și fișiere cu fragmente de cod din care să apelăm funcții definite de noi.

GHCi

Pentru modul interactiv, rulați ghci. Ar trebui să vedeți ceva asemănător: 

GHCi, version 8.4.3: http://www.haskell.org/ghc/  :? for help
Prelude>

Mesajul constă în numele interpretorului și versiunea, urmat de un link către siteul oficial. A doua linie este promptul interactiv; “Prelude” este numele unui modul default care vă pune la dispoziție foarte multe tipuri (e.g. Bool) și funcții (e.g. length) utile. Orice expresie scrieți este evaluată, iar rezultatul afișat pe următoarea linie: 

Prelude> 2 + 2
4
Prelude>

Deasemena tot în GHCi, puteți defini direct variabile sau funcții: 

Prelude> patru = 4
Prelude> patru
4
Prelude> plus a b = a + b
Prelude> plus 2 2
4
Prelude>

GHCi acceptă comenzi în formatul :<nume> <argumente>, care ajută cu încărcarea codului, inspectarea acestuia și înțelegerea limbajului. Comenzile pot fi invocate cu numele complet, sau cu un subșir al acestuia. În tabelul de mai jos, se găsesc cele mai utile comenzi și o explicație a acestora (tot ce e între paranteze pătrate face parte din numele complet al comenzii, dar nu e necesar):

Cheatsheet GHCi

Comandă Efect
:cd <director> schimbă directorul curent al GHCi
:l[oad] <file1> <file2> … încarcă fișiere Haskell în GHCi (alte fișiere încărcate a priori vor fi descărcate)
:r[eload] echivalentul la a rula din nou ultima comandă de “load”
:m[odule] + <module1> <module2> … importă modulele* în GHCi (fără a afecta modulele deja importate)
:i[nfo] <nume> afișează informații despre un nume (e.g. funcție, tip, constructor de tip*, clasă*)
:t[ype] <expresie> afișează tipul expresiei
:k[ind] <tip> afișează kind*-ul unui tip
:bro[wse] Main afișează toate definițiile scrise de voi în fișierul încărcat
:e[dit] deschide ultimul fișier încărcat în editorul default (după închiderea editorului, se revine în GHCi)
:h[elp] sau :? afișează meniul de help cu toate comenzile disponibile
:q[uit] închide GHCi

* - nu vă faceți griji dacă nu întâlniți aceste concepte la primele laboratoare.

Exemplu de sesiune interactivă

Considerăm urmatorul fișier, numit work.hs: 

-- work.hs
data Tree a = Empty | Node (Tree a) (Tree a)
 
constantThree = '3'
 
mySum :: Int -> Int -> Int
mySum a b = a + b

În ghci: 

Prelude> :l work.hs
[1 of 1] Compiling Main             ( work.hs, interpreted )
Ok, one module loaded.
*Main> :browse Main
type role Tree phantom
data Tree a = Empty | Node (Tree a) (Tree a)
constantThree :: Char
mySum :: Int -> Int -> Int
*Main> :k Tree
Tree :: * -> *
*Main> :i mySum
mySum :: Int -> Int -> Int      -- Defined at work.hs:7:1
*Main> isDigit constantThree
 
<interactive>:28:1: error:
    Variable not in scope: isDigit :: Char -> t
*Main> :m + Data.Char
*Main Data.Char> isDigit constantThree
True
*Main Data.Char> constantThree
'3'
*Main Data.Char> :t isDigit
isDigit :: Char -> Bool
*Main Data.Char> :quit