2
Apakah tipe dependen memberi Anda segala yang subtyping lakukan?
Jenis dan Pemrograman Bahasa berfokus sedikit pada subtyping, tetapi sejauh yang saya tahu, subtyping tampaknya tidak terlalu mendasar. Apakah subtyping memberi Anda lebih dari sekadar tipe dependen? Bekerja dengan tipe dependen pasti lebih banyak pekerjaan, jadi saya bisa mengerti mengapa subtipe mungkin berguna dalam praktik. Namun, saya lebih tertarik pada …