ハスケル：なぜメインメソッドのGHCによって推論された型は完全ではありませんか？例えば

Question

、いくつかのスタックオーバーフローの質問への回答でドン・スチュワートによって書かれたコードを取る：

import Control.Monad 
import qualified Data.HashTable as H 
import System.Environment 

main = do 
    [size] <- fmap (fmap read) getArgs 
    m <- H.new (==) H.hashInt 
    forM_ [1..size] $ \n -> H.insert m n n 
    v <- H.lookup m 100 
    print v 

はGHCiの中でそれをロードします。

:t getArgs ---> getArgs :: IO [String] 
:t main ---> main :: IO() 

は、なぜメインの型シグネチャはgetArgs :: IO [String]が呼び出されているという事実を反映していませんか？

バイナリを実行するときに引数を付けることができます。 <prog> 145が返されますJust 100 しかし、GHCiでは、次のことはできません。main 145がエラーになります。どのようにGHCiでこのプログラムを実行し、議論をしますか？

Answer 1

mainのタイプは、その最終式のタイプです。 printはIO()を生成するので、タイプはmainです。 (>>=)はモナド以外のものを伝播しないため、中間形式は関係ありません。

(>>=) :: Monad m => m a -> (a -> m b) -> m b 

a結果タイプ（m b）に表示されません。

GHCiでプログラムを実行する場合は、:mainコマンドを参照してください。

Answer 2

:setにargsの値を設定します。たとえば、次のタイプの署名問題として

Prelude> import System.Environment 
Prelude System.Environment> getArgs 
[] 
Prelude System.Environment> :set args ["foo","bar"] 
Prelude System.Envrionment> getArgs 
["foo","bar"] 

、ここでメインの種類はprint vによって決定されます。それ以前のものはすべて>>演算子で無視されます。