haskellのif文で条件を増やしたい

下記のhaskellコードの条件式で

C
1if(ys==[]){
2 if(x%2==0){
3   retunr y;
4 }else{
5   return[];
6 }
7}

のように条件を増やす方法を教えてください。

|ys==[]の下に | xmod2==0 =y |otherwise =[]を入れたらエラー吐かれました

Haskell
1splitr::Int->[Int]->[Int]
2splitr x (y:ys)
3    |ys==[]  =[]--ここの条件を増やしたい
4--        | x`mod`2==0 =y
5--        |otherwise =[]
6    |x`mod`2==0 = 
7        --trace (show x++":"++show ys) $ --デバッグ
8        y : splitr (x+1) ys
9    |otherwise  =  splitr (x+1) ys

回答2件

ガードの入れ子といったようなことはできないため if 式を使います。

haskell
1splitr :: Int -> [Int] -> [Int]
2splitr x (y:ys)
3    | ys == [] =
4        if x `mod` 2 == 0
5            then y
6            else []
7    | x `mod` 2 == 0 =
8        y : splitr (x+1) ys
9    | otherwise = splitr (x+1) ys

もしくはガードの条件を工夫して同じ意味にできます。

haskell
1splitr :: Int -> [Int] -> [Int]
2splitr x (y:ys)
3    | ys == [] && x `mod` 2 == 0 = y
4    | ys == []                   = []
5    | x `mod` 2 == 0             = y : splitr (x+1) ys
6    | otherwise                  = splitr (x+1) ys

ただ、y は [Int] 型でないため型エラーになると思います。

投稿2021/06/16 13:00

kakkun61

総合スコア285

回答へのコメント

退会済みユーザー

2021/06/16 23:08

ありがとうございます

ベストアンサー

2分岐なら普通にifでよいのでは。(3分岐以上ならcaseで)

haskell
1splitr::Int->[Int]->[Int]
2splitr x (y:ys)
3    |ys==[] = if x`mod`2==0 then [y] else []
4    |x`mod`2==0 = 
5        --trace (show x++":"++show ys) $ --デバッグ
6        y : splitr (x+1) ys
7    |otherwise  =  splitr (x+1) ys

もしくは、ys==[]ということは(y:ys)は[y]なのだから、パターンマッチで分けてもよいのでは。
(マッチするものが複数ある場合は、上にあるものが優先される)

haskell
1splitr::Int->[Int]->[Int]
2splitr x [y]
3    | x`mod`2==0 =[y]
4    |otherwise =[]
5splitr x (y:ys)
6    |x`mod`2==0 = 
7        --trace (show x++":"++show ys) $ --デバッグ
8        y : splitr (x+1) ys
9    |otherwise  =  splitr (x+1) ys