Dependent types are only recently becoming well known and popular. The type systems in mainstream languages were not built with these kind of flexibility requi

Dependent types are only recently becoming well known and popular. The type systems in mainstream languages were not built with these kind of flexibility required by dependent types.