AllowAmbiguousTypes拡張と型適用 - Pixel Pedals of Tomakomai

AllowAmbiguousTypes拡張と型適用 - Pixel Pedals of Tomakomai

このように f を定義して実行したい。 f :: String -> String f = show . read main :: IO () main = pu...概要を表示 このように f を定義して実行したい。 f :: String -> String f = show . read main :: IO () main = putStrLn $ f "True" エラーが出る。 Prelude> :l test.hs [1 of 1] Compiling Main ( test.hs, interpreted ) test.hs:5:5: error: • Ambiguous type variable ‘a0’ arising from a use of ‘show’ prevents the constraint ‘(Show a0)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. These potential insta

• はてなブログ