Scala Language Spec göre:

... yerel tür kesmesi karmaşıklığını sınırlamak için izin verilir olayla sınırları [tür parametreleri]. Minimality ve türleri maximality anlaşılmalıdır kabul edilebilir bir karmaşıklık türlerinin göreceli.

Uygulama sınırları nelerdir?

Ayrıca, parametre türü sınırları daha anlaşıldığı ifade türleri için geçerli olan, ve o sınırları farklı bir sınırı var mı?

Doğru yorumu Düzenle gelen biri olduğunu düşünüyorum: döngüler tanımsız davranıştır boş sonsuz.

Özellikle sezgisel davranış olduğunu söyleyemem, ama bu yorumu derleyici keyfi olarak izin verilen alternatif daha mantıklıgörmezdenİK çağırmadan sonsuz döngü.

Eğer sonsuz döngü İK, sadece sigara-sonlandırma programları anlamlı kabul olmadığı anlamına gelir: C 0,. göre ^em>varhayır anlambilim.

Bu anlamda belirli bir miktar da yapar. Onlar özel bir durum, bir numara, yan etkileri artık ortaya (örneğin, bir şey hiç iade main) ve çok sayıda derleyici en iyi duruma getirmeleri vardır engel tarafından sahip korumak için sonsuz döngü. Örneğin, bir döngü üzerinde hareket hesaplamalar sonunda, hesaplama her durumda yapılacak çünkü eğer döngü için herhangi bir yan etkisi ise son derece geçerli. Ama eğer döngü asla sona ererse, salimen çünkü karşısındaki kod, yeniden yapamayızolabiliraslında bu programı daha önce yürütülen olan sadece değişen kilitleniyor. İK olarak asılı bir program davranıyoruz tabii.