1 ประเภทที่ขึ้นกับพา ธ ของ Scala หมายถึงอะไร? ฉันได้ยินมาว่า Scala มีประเภทที่ขึ้นกับเส้นทาง มันเกี่ยวกับคลาสชั้นใน แต่จริงๆแล้วมันหมายความว่าอย่างไรและทำไมฉันถึงสนใจ? 125 scala type-systems path-dependent-type
4 เหตุผลใดที่ scala ไม่รองรับประเภทที่อ้างอิงอย่างชัดเจน? มีประเภทที่ขึ้นอยู่กับเส้นทางและฉันคิดว่ามันเป็นไปได้ที่จะแสดงคุณลักษณะเกือบทั้งหมดของภาษาเช่น Epigram หรือ Agda ใน Scala แต่ฉันสงสัยว่าทำไม Scala ไม่สนับสนุนสิ่งนี้อย่างชัดเจนมากขึ้นเหมือนกับที่ทำในด้านอื่น ๆ (พูด , DSLs)? อะไรที่ฉันขาดหายไปเช่น "มันไม่จำเป็น"? 109 scala path-dependent-type dependent-type shapeless