Összefoglalás

Mi a számítógép-programozás?

A programozás során megmondjuk a számítógépnek hogy mit csináljon.

Miután elkészült a leírás, azt akár többször is végrehajthatjuk.
A végrehajtás az érték előállítását eredményezi, vagy pedig a számítógépet a megadott szabályok szerinti viselkedésre kényszeríti.

Programozási nyelvek

A kérést a számítógéppel egy program formájában közöljük, amit egy adott programozási nyelven adunk meg.

A deklaratív nyelvek általában a problémához közelebb álló leírást tesznek lehetővé.

Funkcionális nyelvek

A deklaratív nyelvek egyik csoportja a funkcionális nyelvek.

A funkcionális nyelvek alapeleme a függvény.

Egy függvényt vagy egyszerűbb függvényekből rakunk össze, vagy egyenletrendszerrel adunk meg.

Tiszta funkcionális nyelvek

A tiszta funkcionális nyelvekben mindig érvényes a behelyettesíthetőség elve:

Ha x = f(y), akkor x helyett bárhol írható f(y) és fordítva.

A tiszta funkcionális nyelvekben kevesebb a hibalehetőség, a programok áttekinthetőbbek és könnyebben transzformálhatók.

Haskell

A Haskell a legelterjedtebb tisztán funkcionális nyelv.

A Haskell nyelv honlapja: http://haskell.org

Egyelőre kevés magyar nyelvű anyag érhető el!

A Haskell felhasználási területei

Néhány ipari felhasználó: ABN AMRO, Bluespec, Credit Suisse, Deutsche Bank, Ericsson, Facebook, Google, Standard Chartered

Ezen kívül számos terület vár még felfedezésre, például a funkcionális reaktív programozás.