Gizli parametreleri ve görünüm/bağlam sınırlarını birleştirmeyi kısıtlamanın nedeni neydi? Scala ana makinesine

Question

One of the recent commits örtük parametrelerle bağlam/görünüm sınırlarının birleştirilmesiyle ilgili kısıtlamayı kaldırır. Bu, kazanın miktarını azaltan büyük bir iyileştirmedir, ancak bu kısıtlamayı daha önce yapmanın sebebi neydi ve şimdi ne gibi sonuçlar bekleyebiliriz?

Answer 1

Bağlam ve görünüm sınırları, örtülü parametreler ekler. Yani eğer yazdığınız:

, aslında, iki örtük parametreler bir yerine geçirilen vardır

def f[T : Manifest](l: List[T])(implicit ord: Ordering[T]) 

. Bu tür bir sözdizimine izin vermek kesinlikle yolun bazı karışıklıklarına neden olacaktır. Örtük parametre kullanımı daha yaygın olmaya başladığından, tip sınıfları nedeniyle, yukarıdaki gibi bir şey yapabilmek yararlıdır.