User:Ushkin N/Comparison of programming languages/Types/Dependent types

See Dependent types.