Dependent types are based on the idea of using scalars or values to more precisely describe the type of some other value.
Závislé typy jsou založeny na myšlence využití skalárů nebo hodnot přesněji popisujících nějakou jinou hodnotu.