は、私は、入力として<code>Int</code>を取り、それが<code>> 0</code>またはそれ以外であれば、それは<code>< 0</code>であればダッシュ<code>"-"</code>を返す<code>Int</code>ことを返す関数を作成するにはどうすればよいの入力

Question

に応じて文字列またはINTを返します。私はハスケルがその型式に厳格であることを理解していますが、これを回避する方法はありますか？

Answer 1

Haskellは静的に型指定されているため、通常は実行時の内容によっては型を変更できません。あなたはその後、プログラムのクエリで使用すると、左のコンストラクタまたは右を扱っていることができるかどうか

data Either a b = Left a | Right b 

：

fun :: Int -> Either Int String 
fun x | x > 0 = Left x 
     | otherwise = Right "-" 

Eitherは次のように定義されています

ただしEitherタイプを使用することができますコンストラクタ。

Answer 2

これを行うためのハスケルの方法は、Maybeを使用していると思います。その後

positive :: Int -> Maybe Int 
positive x | x >= 0 = Just x 
      | x < 0 = Nothing 

、あなたがJustやNothingを得たかどうかを確認するために、パターンマッチをすることができます。それ以外の場合は、あなたの言うことをする関数を書く方法がありません - その署名は何ですか：Int -> IntまたはInt -> String？

Answer 3

haskellの関数は、単一の型を返す必要があります。これが有益であるかどうかについて論じることはできますが（this Programmers.SE post参照）、はるかに複雑な言語の部分を掘り下げずに対処しなければならないことです。

コメントと@Alecに記載されている@pdexterのように、Maybeがこれを処理する最良の方法です。

import Data.Maybe 
...  

f :: Int -> Maybe Int 
f num 
| x >= 0 = Just num 
| x < 0 = Nothing 

は、その後、あなたの他のコードでは、あなたが扱うことができる Maybe：

-- Let's assume you want to bind the result to a String type 
let num = f Number 
putStrLn $ case num of 
    Just x -> show x 
    Nothing -> "-"