Fogalmak: Tiszta nyelv, statikusan típusos, deklaratív, funkcionális

A Haskell funkcionális nyelv

Tiszta nyelv

Haskell tiszta nyelv, ez annyit jelent hogy nincsenek benne mellékhatások.

(Haladó anyagban pontosítva lesz a fogalom: ha van mellékhatás akkor az a típusból kiderűl.)

Statikusan típusos

Mindennek van típusa. Ha nem írtuk ki akkor is van, csak a fordító találja ki egyéb adatok alapján.

Deklaratív nyelv

Ahelyett hogy vezérlési folyamatokat írnánk le, parancsokat/lépéseket sorolnánk fel, azt írjuk le hogy mi a kívánt eredmény. A fordító eldönti hogy mi a legoptimálísabb módja ennek.

Funkcionális nyelv

A fő struktúrális elem a függvény, szokás mondani hogy "Haskellben minden függvény" (vagy kulcsszó). Megpróbálnak programozásban matematiaki függvényeket írni. A nyelv szintaxisa is hasonló a matematikához.

GHC - GHCI

A GHC a haskell compilerének neve, Glasgow Haskell Compiler. A GHC fordítja a haskell kódot gépi kódra.

A GHCI egy interaktív Haskell környezet. A GHCI-ben ki tudjuk próbálni a különböző függvényeket, kifejezéseket. Terminálból futtatható.

GHCI parancsok

• :l :load <Elérési út> - Betölti a fájlt
• :r :reload - Újratölti a legutolsó betöltött fájlt
• :t <függvény> - megmutatja a függvény típusát
• :i <függvény/típus/típusosztály> információt ad a paraméterként megadott dologról