Haskell：コマンドライン引数をintとして読み込むには？

Question

私はコマンドラインからint値を取得して、disp関数に渡そうとしています。 GHCによって与えられた

import System(getArgs) 

main = do 
    args <- getArgs 
    disp $ read $ head args :: Int 

disp n = take n $ repeat 'S' 

エラーが

Couldn't match expected type `Int' with actual type `[Char]' 
In the expression: disp $ read $ head args :: Int 
In the expression: 
    do { args <- getArgs; 
      disp $ read $ head args :: Int } 
In an equation for `main': 
    main 
     = do { args <- getArgs; 
        disp $ read $ head args :: Int } 

おかげです。

Answer 1

問題は優先度があります。タイプシグネチャは常に式全体に適用しようとします（括弧を使用してスコープのみ）。したがって、disp $ read $ head args :: Intは(disp $ read $ head args) :: Intと解釈されますが、これは明らかに正しくありません。あなたはそうのように括弧を使用することができ、次のいずれか

disp (read $ head args :: Int) 

またはGHCは、この場合には、それを推測することができますよう、型シグネチャを省略：

disp $ read $ head args 

このコードはまだあなたので、そのままでは動作しませんあなたはIOアクションを生成する必要があるので、IOモナドにあります。次の例のように、結果を印刷することでこれを行うことができます。

putStrLn $ disp $ read $ head args 

Answer 2

あなたがそこに追加した明示的なタイプを削除すれば正常に機能します。型推論を信じてください。 :)新しいエラーを修正するために、print $ ...、またはそれに類するものを追加してください。

何が起こるかは、takeのタイプが分かっているので、dispが期待する引数のタイプもわかっています。それはIntです。したがって、適切なreadが適用されます。

以下を実行してください。

Answer 3

あなたがそうのような整数のコマンドライン引数を引っ張ってカプセル化することができます

getIntArg :: IO Int 
getIntArg = fmap (read . head) getArgs 

モナドはファンクタであるため、働きます。あるいは、liftMで同じことをすることもできます。

あなたmain機能がちょうどとなりその方法：他の回答で述べたように、あなたがdispに印刷機能のいくつかのタイプを追加提供

main = do 
    n <- getIntArg 
    disp n 

。