Princip kvalifikace - Qualification principle

v teorie programovacího jazyka, princip kvalifikace uvádí, že kterákoli sémanticky smysluplná syntaktická třída může přijímat místní definice. Jinými slovy je možné zahrnout a blok v jakékoli syntaktické třídě za předpokladu, že fráze této třídy specifikují nějaký druh výpočtu. (Watt 1990 )

Běžné příklady tohoto principu zahrnují:

  • příkaz blokovat - příkaz obsahující místní deklaraci, který se používá pouze k provedení tohoto příkazu. V následujícím výňatku z a C program, tmp deklarovaná proměnná je lokální pro příkaz okolního bloku:
-li (A > b) {    int tmp;    tmp = A;    A = b;    b = tmp;}
  • blokový výraz - výraz obsahující místní deklaraci, která se používá pouze pro vyhodnocení tohoto výrazu. V následujícím výňatku z ML program, místní prohlášení z G lze použít pouze při hodnocení následujícího výrazu:
nechat    val G = 9.8v    m * G * hkonec
  • blokové prohlášení je takový, který obsahuje místní deklaraci, vytvořené vazby se používají pouze pro zpracování blokové deklarace. V následujícím výňatku z ML program, lokální deklarace funkce skokpomocí pomocné funkce násobek:
místní    zábava násobek (n: int, d: int) =           (n mod d = 0)v    zábava skok (y: int) =           (násobek (y,4)          a také ne násobek (y, 100))          nebo jinak násobek (y,400) konec

Reference

  • Watt, David A. (1990) [1990]. "Vázání". Koncepty a paradigmata programovacího jazyka. Prentice Hall. 82–83. ISBN  0-13-728874-3.