もっと安全にするには？

Question

私は、次の機能があります。

はその後、私は例外を持って

isElemChar 5 

：

<interactive>:73:12: error: 
    * No instance for (Num Char) arising from the literal `5' 
    * In the first argument of `isElemChar', namely `5' 
     In the expression: isElemChar 5 
     In an equation for `it': it = isElemChar 5 
*Cipher Data.Char> isElemChar 'a' 

にする方法私は次のように機能を使用しようとすると

isElemChar :: Char -> Bool 
isElemChar x = elem x ['A'..'Z'] || elem x ['a'..'z'] 

をより安全な機能ですか？それは、それが機能を発揮するための正しいアプローチでしょうか？

Maybeデータ型を使用できますが、実装方法はわかりません。

Answer 1

あなたの機能はです。あなたが言及している "例外"は、実際にはコンパイル時のエラーです。これは正確にエラーが発生する時間です。

これは少しあなたが対話プロンプトにいるという事実によって隠されていますが、プログラムsafe.hs ....

isElemChar :: Char -> Bool 
isElemChar x = elem x ['A'..'Z'] || elem x ['a'..'z'] 

main = print $ isElemChar 5 

を書いた...そしてあなたはそれをコンパイルしようとした場合され...

ghc safe.hs 

...あなたは

safe.hs:5:27: error: 
    • No instance for (Num Char) arising from the literal ‘5’ 
    • In the first argument of ‘isElemChar’, namely ‘5’ 
     In the second argument of ‘($)’, namely ‘isElemChar 5’ 
     In the expression: print $ isElemChar 5 

Answer 2

同様のエラーになるだろうsの機能をより行う必要はありませんああ、これはPythonではない、関数paramsは型を持っているので、あなたのコードはただcompile errorを与えるでしょう。 IOを扱っている場合、常にIO([Char])またはIO(Char)が得られます。