は、私はその言葉の整数整数と出力を取り込むためのコードを記述しようとしていますハスケル

Question

に文字列にint型に変換しようとしています。例：入力が4321の場合、出力は4,330です。 このため、私は最初に入力を個々の数字に分割したいと思います。 exの入力4321は[4,3,2,1]の配列になります。

瞬間に私の現在のコード

newtype wordInt = WI Int 

instance Show WordInt where 
    show (WI x) | x>= 0 = helper x 
       | x < 0 = helper -x 

helper 0 = [0] 
helper x = x `mod` 10 : helper (x `div` 10) 

は、私は私がタイプのエラーを取得していると思います。 これは、正数と負数の両方を渡すことができる必要があることに注意してください。また、私が探しているコンバージョンを効率的に行う方法について考えることができれば、大変感謝しています。種類の

Answer 1

名前は小文字で始めることはできません。 ShowクラスのshowがStringを返さなければならない方法

newtype wordInt = WI Int 

とあなたのhelperは（Intに適用される）タイプInt -> [Int]があります。ここWordIntへwordIntを変更します。あなたは何とかリストにshowを呼び出すことにより、例えば、Stringにリストを変換する必要があります。

最後に

instance Show WordInt where 
    show (WI x) | x >= 0 = show $ helper x 
       | x < 0 = show $ helper (-x) 

、私は括弧で-xを入れ予告。そうでない場合、コンパイラはあなたが（機能はないIntです）helperからxを引くしようとしていると思われますので、これは単項マイナスのために必要とされています。それが逆に数字のリストを返すため

しかし、helperの実装が間違っています。これを修正するには、数字を分割して、リストを逆にするヘルパー関数を書くことができます：

helper :: Int -> [Int] 
helper = reverse . go 
    where go 0 = [0] 
      go x = x `mod` 10 : go (x `div` 10) 

しかし、この意志パッドは、先行ゼロ数：

λ. helper 4321 
[0,4,3,2,1] 

これはしていませんもちろん、意味を変え、それが問題であるならば、このような場合に対処するためのラッパー関数を記述します。

helper :: Int -> [Int] 
helper x = 
    case splitIntoDigits x of 
     [] -> [0] 
     xs -> reverse xs 

splitIntoDigits :: Int -> [Int] 
splitIntoDigits 0 = [] 
splitIntoDigits x = x `mod` 10 : splitIntoDigits (x `div` 10) 

それは、両方のケースで動作します。

λ. helper 0 
[0] 
λ. helper 4321 
[4,3,2,1]