我需要幫助（哈斯克爾）居民的類型

Question

上週五我的老師給我這個問題：

舉一個居民的類型

(a -> b -> c) -> b -> a -> c 

，我不明白到底是什麼，它要求

編輯：練習完成。給定的類型與默認的haskell翻轉函數相對應。謝謝您的回答。

Answer 1

「一個類型的居民」是指具有某種給定類型的表達。例如，2是Int的居民，並且["Foo","Bar"]是[String]的居民。

換句話說，你的老師要求你寫一些類型爲(a -> b -> c) -> b -> a -> c的東西。

我不會爲你解決這個問題，因爲它是作業，但是如果你在編寫這樣一個函數時遇到困難，你的第一步是寫出所有的參數和它們的類型，然後嘗試將它們一起使用完成它。