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