多態參數類型的模式匹配 - 替代

Question

假設我需要不同的輸出，具體取決於函數的多態參數的類型。我的初始嘗試失敗一些神祕的錯誤消息：

choice :: a -> Int 
choice (_ :: Int) = 0 
choice (_ :: String) = 1 
choice _ = 2 

然而，我們可以通過在不同的數據構造包裹所需類型固定，很容易並使用這些中的模式匹配：

data Choice a = IntChoice Int | StringChoice String | OtherChoice a 

choice :: Choice a -> Int 
choice (IntChoice _) = 0 
choice (StringChoice _) = 1 
choice (OtherChoice _) = 2 

問題：你知道一個方法來繞過這個嗎？ Haskell2010，GHC或允許我使用第一個變體（或類似的東西）的任何擴展中有沒有功能？

Answer 1

問題：你知道一種方法來規避這種情況嗎？ Haskell2010，GHC或允許我使用第一個變體（或類似的東西）的任何擴展中有沒有功能？

沒有，要麼是在2010年或任何GHC擴展，讓你寫類型

choice :: a -> Int 

，其返回值取決於它的參數類型的函數提供哈斯克爾沒有特色。你可以指望將來也不存在這樣的特徵。

即使有瑕疵在運行時檢查GHC的內部數據表示，不可能從類型爲Int的新類型的值中區分出Int類型的值：這些類型具有相同的運行時表示。

由函數返回的Int是一個存在於運行時的值，因此需要由運行時存在的另一個值來確定。這可能是要麼

1. 一個普通的價值，就像你data Choice a = IntChoice Int | StringChoice String | OtherChoice a; choice :: Choice a -> Int例如，或者

2. 一種類字典，使用一個自定義類，如大衛年輕人的答案，或者內置Typeable類：

   choice :: Typeable a => a -> Int 
   choice a 
       | typeOf a == typeOf (undefined :: Int) = 0 
       | typeOf a == typeOf (undefined :: String) = 1 
       | otherwise        = 2 
   

Answer 2

這混淆了兩種不同的多態性。你想要的是 ad-hoc多態性，這是通過類型類來完成的。 a -> Int類型函數的多態性類型爲參數多態性。對於參數多態，choice的一個函數定義必須適用於任意可能的類型a。在這種情況下，這意味着它實際上不能使用類型爲a的值，因爲它不知道任何關於它的值，因此choice必須是一個常量函數，例如choice _ = 3。這實際上給你非常強大的保證功能可以做什麼，只是看它的類型（這個屬性被稱爲參數）。

與類型類，你可以實現你的例子如：

class ChoiceClass a where 
    choice :: a -> Int 

instance ChoiceClass Int where 
    choice _ = 0 

instance ChoiceClass String where 
    choice _ = 1 

instance ChoiceClass a where 
    choice _ = 2 

現在，我要指出的是，這種類型的類的做法往往是錯誤的尤其是當別人誰是剛開始想用它。你絕對是不想這樣做，以避免簡單的類型，如Choice類型在你的問題。它可以增加很多複雜性，實例解析起初可能會讓人困惑。請注意，爲了使類型解決方案能夠正常工作，需要打開兩個擴展：FlexibleInstances和TypeSynonymInstances，因爲String是[Char]的同義詞。 OverlappingInstances也是必需的，因爲類型類在「開放世界」假設下工作（這意味着任何人都可以隨後出現併爲新類型添加實例，並且必須考慮這一點）。這不是必然一件壞事，但在這裏它是由於使用類型解決方案而非簡單的數據類型解決方案導致的爬行復雜性的一個標誌。特別是可以使事情變得更難以思考和使用。