如何引用haskell類型規範中已有的類型變量？

我希望在函數f中定義一個函數f'，以便它們的類型規範都引用相同的類型變量。但是，當我嘗試這樣做時，編譯器出現編譯錯誤，它假定外部的m和內部的m不是相同的類型變量。任何提示如何解決這個問題？如何引用haskell類型規範中已有的類型變量？

f :: (Monad m) => (String -> Int -> String -> m()) -> [String] -> m() 
f _ (x:_) = f' Nothing x 
    where 
    f' :: (Maybe Int) -> String -> m() -- when I comment this line, the code compiles 
    f' _ _ = return() 

main = undefined

來源

2013-08-19 tohava

檢查http://www.haskell.org/haskellwiki/Scoped_type_variables – dg123

謝謝，這解決了它。如果您將此更改爲答案，我會將其標記爲正確。 – tohava

對於這個特定的例子，你也可以通過給內部類型簽名添加一個'（Monad m）'約束來編譯它。 –

檢查http://www.haskell.org/haskellwiki/Scoped_type_variables

從鏈接： Scoped Type Variables are an extension to Haskell's type system that allow free type variables to be re-used in the scope of a function.

來源

2013-08-19 14:55:35 dg123

Haskell的98前奏還包含一個函數asTypeOf，其可以被用來模仿作用域類型變量在一定程度上（如果使用編譯器不支持XScopedTypeVariables）。

見http://hackage.haskell.org/packages/archive/base/latest/doc/html/Prelude.html#v:asTypeOf

來源

2013-08-19 22:29:24 scravy

如何引用haskell類型規範中已有的類型變量？

回答

相關問題