Yol bağımlı tipler var ve Scala'da Epigram veya Agda gibi dillerin hemen hemen tüm özelliklerini ifade etmenin mümkün olduğunu düşünüyorum, ancak Scala'nın diğer alanlarda çok hoş olduğu gibi neden bunu daha açık bir şekilde desteklemediğini merak ediyorum (örneğin , DSL'ler)? "Gerekli değil" gibi eksik bir şey var mı?