haskellのタイプをチェックする方法

Question

haskellの変数のタイプをチェックする方法はわかりませんが、私はgetLineでコンソールから何かを読むと、私はそれがintergerであると予想しますが、ユーザーは文字列を入力することができますまた、私は私のプログラムがクラッシュするのを望んでいません。たとえば、誰かが文字列を入力し、それをIntに変換しようとすると、クラッシュ（例外）されるので、変換可能かどうかをチェックしたいと思います。それ、どうやったら出来るの ？任意の助けてくれてありがとう:)

main1 = do 
     let g <- getLine 
      k = g :: Int 
      if(k :: Int) 
       then ........ 

Answer 1

EDIT：あなたに注意してください常にがgetLineから文字列を持っている - それはそれは返すタイプです。その文字列に数字のascii表現が含まれていて、それを読み続けている場合。

文字列がg、そしてg :: Intの場合、コンパイラは単に「いいえ、あなたは間違っています」という文字列です。翻訳を実行する必要があります - 文字列を解析し、Intを計算します。最も簡単に利用できる方法は、プレリュードのreadとreadMaybeのText.Readです。

読むには動作しますが、無効な入力に例外をスローします：

Prelude> read "4742" :: Int 
4742 
Prelude> read "no" :: Int 
*** Exception: Prelude.read: no parse 
Prelude> read "191andmore" 
*** Exception: Prelude.read: no parse 

多分バリアントは、安全な例外です：

Prelude> import Text.Read 
Prelude Text.Read> readMaybe "181" :: Maybe Int 
Just 181 
Prelude Text.Read> readMaybe "no" :: Maybe Int 
Nothing 
Prelude Text.Read> readMaybe "211andmore" :: Maybe Int 
Nothing