สกาลามีข้อ จำกัด อะไรบ้างสำหรับ "ความซับซ้อนที่ยอมรับได้" ของประเภทที่อนุมาน

ตามข้อกำหนดภาษาสกาล่า :

... การอนุมานประเภทท้องถิ่นได้รับอนุญาตเพื่อจำกัดความซับซ้อนของขอบเขตที่อนุมาน [ของพารามิเตอร์ประเภท] ต้องเข้าใจ Minimality และ Maximality เมื่อเทียบกับชุดของประเภทของความซับซ้อนที่ยอมรับได้

ในทางปฏิบัติมีข้อ จำกัด อะไรบ้าง?

นอกจากนี้ยังมีขีด จำกัด ที่แตกต่างกันที่ใช้กับประเภทนิพจน์ที่อนุมานมากกว่าขอบเขตประเภทพารามิเตอร์และขีด จำกัด เหล่านั้นคืออะไร

เมื่ออนุมานประเภทคอมไพลเลอร์มักจะต้องคำนวณ Least Upper Bound (LUB) ของรายการประเภท ยกตัวอย่างเช่นประเภทของการif (cond) e1 else e1เป็น LUB ประเภทของและe1e1

ประเภทเหล่านี้อาจมีขนาดค่อนข้างใหญ่ตัวอย่างเช่นลองใช้ใน REPL:

:type Map(1 -> (1 to 10), 2 -> (1 to 10).toList)
scala.collection.immutable.Map[Int,scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int] with Serializable{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def dropRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def takeRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def drop(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def take(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]}; def dropRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def dropRight(n: Int): scala.collection.immutable.Seq[Int]...

การกระทำนี้นำมาซึ่งการตรวจสอบความมีสติเพื่อจำกัดความลึกของประเภทที่อนุมานดังกล่าว

มีงานล่าสุดบางอย่างในการใช้ปลั๊กอินไปยังกระบวนการคอมไพล์เพื่อตรวจหาประเภทที่อนุมานซึ่งใช้เวลาคำนวณนานและแนะนำสถานที่ที่อาจต้องใช้คำอธิบายประกอบประเภทที่ชัดเจน