2
Os tipos dependentes fornecem tudo o que a subtipagem fornece?
Tipos e linguagens de programação se concentra um pouco na subtipagem, mas até onde eu sei, a subtipagem não parece ser fundamental. A subtipagem oferece mais do que os tipos dependentes? Trabalhar com tipos dependentes deve ser mais trabalhoso, para que eu possa entender por que os subtipos podem ser …