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
skok
pomocí pomocné funkcená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.
![]() | Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
![]() | Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |