Pertanyaan yang diberi tag path-dependent-type

Apa yang dimaksud dengan tipe yang bergantung pada jalur Scala?

Saya pernah mendengar bahwa Scala memiliki tipe yang bergantung pada jalur. Ini ada hubungannya dengan kelas batin tapi apa sebenarnya artinya ini dan mengapa saya

Ada alasan mengapa scala tidak secara eksplisit mendukung tipe dependen?

Ada tipe yang bergantung pada jalur dan saya pikir dimungkinkan untuk mengekspresikan hampir semua fitur bahasa seperti Epigram atau Agda di Scala, tetapi saya bertanya-tanya mengapa Scala tidak mendukung ini secara lebih eksplisit seperti yang dilakukannya dengan sangat baik di area lain...