我如何可以聲明內定義的函數的類型讓

Question

我想寫類似：

f :: (a -> b) -> a -> c -> b 
f g = 
    let inner :: a -> c -> b 
     inner x y = g x 
    in inner 

但是這給了我一個error.because它不承認，我想引用以與聲明中相同的「a」和「b」類型作爲f

我該如何明確地給出適當的內部類型？

Answer 1

您需要擴展ScopedTypeVariables。您還需要爲您的簽名添加一個明確的forall a b c .，這表示綁定整個定義範圍的變量。要做到這一點

{-# LANGUAGE ScopedTypeVariables #-} 

f :: forall a b c . (a -> b) -> a -> c -> b 
f g = 
    let inner :: a -> c -> b 
     inner x y = g x 
    in inner 

Answer 2

的一種方法是通過使GA參數內，像這樣綁定的外部和內部類型....

f g = 
    let inner :: (a->b)->a -> c -> b 
     inner g x y = g x 
    in inner g 

這確實改變了你的結構略有雖然.. ..可能會否定首先有內在的理由，但在很多情況下（取決於較大的程序），這可能會有所幫助。