Adlandırılmış uygulamalar - Neden @ {myOrd} parametrelerden önce yerleştirilir?

Question

Aşağıdaki kodda, neden önce @{myOrd} parametresi önce yerleştirilir ve sonra değil mi?

[myOrd] Ord Nat where 
    compare Z (s n) = GT 
    compare (S n) Z = LT 
    compare (z z = EQ 
    compare (S x) (S y) = compare @{myOrd} x y 

Avantaj ve dezavantajlar nelerdir?

Answer 1

compare 's türü Ord a => a -> a -> Ordering, bu nedenle Ord a uygulama seçimi ilk bağımsız değişken olarak iletildi.

compare x yx ve y 'ın türüne göre örtük Ord Nat argüman doldurarak, adsız Ord Nat uygulanmasını kullanma sözdizimi.