Haskellは私は私が試してみましたリターンタプルに取得できますか</p> <pre><code>data Error a = Woops | Nice a deriving (Eq, Ord, Show) mixIt :: Int -> Int -> (Error (Int, Int)) </code></pre> <p>（エラーがデータ型である）としてHaskellの関数を定義したタプル

Question

になって、

fst (mixIt 2 2) 

しかし、間違いを教えてください。

Answer 1

fstはタイプ(a, b) -> a（まあ、私たちは(Int, Int) -> Intとして、より具体的な方法でそれを使用している）が、我々はタイプError (Int, Int)を持ってmixIt 2 2にそれを適用しているとの関数です。これが私たちのエラーの原因です。我々はそれ

case mixIt 2 2 of 
    Nice tuple -> fst tuple 

我々は、我々が持っているNiceコンストラクタを持っている場合に明示的にパターンマッチすることができます上のパターンマッチングによってバックmixItから取得Error値を検査する必要があり、それを修正するために

私たちが引数として必要とするタプル。しかし、mixItもWoops、もう1つのコンストラクタErrorを返す可能性があるため、問題があります。私たちはあなたが行くように設定されているケース式の最後のブランチに記入します一度

case mixIt 2 2 of 
    Nice tuple -> fst tuple 
    Whoops -> ... some Haskell code to produce another tuple ... 

（非常に悪いことで）そうでない場合は、私たちのプログラムは、実行時に失敗します別にそのケースを処理する必要があります。