在Haskell中，如何在Dynamic TypeRef上執行case語句

Question

我嘗試了以下方法：

intType =  typeOf (5::Int)
stringType = typeOf "s"

dynFunc :: Dynamic -> IO ()
dynFunc d =
  case dynTypeRep d of
    stringType -> polyFunc ((fromDyn d "") :: String)
    intType -> polyFunc ((fromDyn d 0) :: Int)
    _      -> error "Could not coerce dynamic value"

但它警告重疊模式匹配並且不能正常工作。 它始終是第一個模式而不是正確模式。

Answer 1

case表達式中->的左側是模式 ，而不是表達式 。 模式stringType將匹配任何內容並將本地名稱stringType綁定到它。 它不會比較平等。

編譯器告訴你你的模式intType和_永遠不會到達; 由於stringType模式首先出現並匹配任何內容，因此將始終選擇其右側。

正如Claudiu建議的那樣，你會想要使用警衛。 像這樣的東西應該做的伎倆：

dynFunc d | rep == stringType = ...
          | rep == intType    = ...
          | otherwise         = error ...
          where rep = dynTypeRep d

如果您有很多可能性，您可能需要考慮制作一個列表並使用lookup功能。