Typový systém: Porovnání verzí

Přidáno 8 bajtů ,  před 8 měsíci
m
→‎Závislé typy: oprava terminologie + odkaz
m (+odkaz)
m (→‎Závislé typy: oprava terminologie + odkaz)
Mnoho typových systémů bylo vytvořeno speciálně pro použití v určitých prostředích, s některými typy dat nebo mimo skupinu statických programových analýz. Často jsou založeny na myšlenkách z formální [[teorie typů]] a jsou k dispozici pouze jako součást prototypových výzkumných systémů.
 
== ZávisléZávislostní typy ==
[[ZávisléZávislostní typytyp]]y jsou založeny na myšlence využití skalárů nebo hodnot přesněji popisujících nějakou jinou hodnotu. Například „matice (3×3)“ může být matice typu 3×3. Můžeme potom definovat pravidla, například následující pravidlo pro násobení matic:
 
:matrix_multiply: matice(''k'',''m'') × matice(''m'',''n'') → matice(''k'',''n'')