Dependent types are based on the idea of using scalars or values to more precisely describe the type of some other value.
Зависна куцања су базирана на идеји коришћења скалара или вредности да би се прецизније описало укуцавање неке друге вредности.