Fogalmak: Mintaillesztés, kiértékelés, hibák
Mintaillesztés típusai
A mintaillesztést a gyakorlati részben részletezem.
Mintaillesztés szempontjából két típusu függvényt különböztetünk meg:
- totális függvény: minden lehetséges bemenetre(paraméterre) definiált
- parciális függvény: nem minden lehetséges bemenetre(paraméterre) definiált
Kiértékelés típusai
A kiértékelést olyan szempontból vizsgálhatjuk hogy mikor hajtodik végre:
- lusta (lazy) kiértékelés: egészen addig nem foglalkozik az értékkel amíg az nem szükséges
- mohó (strict) kiértékelés: az értéket azonnal kiértékeli
Esetleges hibák
Hibák szempontjából is kétfélét különböztetünk meg:
- fordítási hiba: olyan hiba amit a fordító talál meg, például ha nem megfelelően írunk egy függvényt
- ghci-ben: error, általában piros színnel, fájl betöltéskor fordul elő, hosszú üzenet a hiba leírásáról
- futási hiba: olyan hiba ami a program futásakor keletkezik
- ghci-ben:
*** Exception
-nel kezdődik
- ghci-ben: