1

Swiftの付属型enumからデータを取り出すようなコードをHaskellで書きたいで付属型enumと同じようにHaskellを書くにはどうすればいいかと聞きました。

確かに Swiftコード

import Foundation
enum Barcode {
    case upca(Int, Int, Int, Int)
    case qrcode(String)
}
func getBarcodeString(barcode: Barcode) -> String {
    switch barcode {
    case .upca(let a, let b, let c, let d):
        return String(a) + String(b) + String(c) + String(d)
    case .qrcode(let s):
        return s
    }
}
let barcode1 = Barcode.upca(1, 2, 3, 4)
let barcode2 = Barcode.qrcode("A")
print(getBarcodeString(barcode: barcode1))
print(getBarcodeString(barcode: barcode2))

data Barcode = Upca Int Int Int Int
             | Qrcode String
             
barcode1 = Upca 1 2 3 4
barcode2 = Qrcode "A"

getBarcodeString :: Barcode -> String
getBarcodeString x = case x of
    Upca a b c d -> show a ++ show b ++ show c ++ show d
    Qrcode s     -> s

main = do
    putStrLn $ getBarcodeString barcode1
    putStrLn $ getBarcodeString barcode2

と同じと思ったのですが、上記コードから case内のQrcode s -> s の部分を抜いて下記のようにしてみました。

data Barcode = Upca Int Int Int Int
             | Qrcode String
             
barcode1 = Upca 1 2 3 4
barcode2 = Qrcode "A"

getBarcodeString :: Barcode -> String
getBarcodeString x = case x of
    Upca a b c d -> show a ++ show b ++ show c ++ show d

main = do
    putStrLn $ getBarcodeString barcode1
    putStrLn $ getBarcodeString barcode2

これをコンパイルして実行

まずコンパイル:

% docker run -it --rm --name bar-haskell -v "$PWD":/tmp -w /tmp haskell:8 ghc -o Bar Bar.hs

そして実行:

% docker run -it --rm --name bar-haskell -v "$PWD":/tmp -w /tmp haskell:8 ./Bar
1234
Bar: Bar.hs:(8,22)-(9,56): Non-exhaustive patterns in case

1234が表示されたあとで、 Non-exhaustive patterns in case が出ています。
Swiftであれば switch にすべてのパターンを網羅しないとコンパイルエラーになるので、実装漏れを防げるのですが、Haskellで同様に実装漏れに気づく方法はありますか?

2
  • 2
    Swift の話は本筋と関係ないのと,「念の為関数版も…」以降は実質重複なので,ないほうが質問として読みやすいかなと少し思いました.
    – Yosh
    Commented 2020年8月29日 12:35
  • そうですね。思い切って消しましょう(消しました)。 Commented 2020年8月29日 12:38

1 件の回答 1

3

GHC のオプションに -Wincomplete-patterns があるのでこれを使ってみてください.

$ ghc -Wincomplete-patterns  a.hs
[1 of 1] Compiling Main             ( a.hs, a.o )

a.hs:7:22: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative: Patterns not matched: (Qrcode _)
  |
7 | getBarcodeString x = case x of
  |                      ^^^^^^^^^...
Linking a ...

コンパイルエラーにしたい場合は,-Werror=⟨wflag⟩ を使えそうです.

$ ghc -Werror=incomplete-patterns  a.hs
[1 of 1] Compiling Main             ( a.hs, a.o )

a.hs:7:22: error: [-Wincomplete-patterns, -Werror=incomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative: Patterns not matched: (Qrcode _)
  |
7 | getBarcodeString x = case x of
  |                      ^^^^^^^^^...
2
  • なるほど。コンパイルエラーではないですが、警告になるわけですね。 Commented 2020年8月29日 12:40
  • 1
    @shingo.nakanishi 調べてみるとコンパイルエラーにすることもできるようなので追記しました(すみません).
    – Yosh
    Commented 2020年8月29日 12:44

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。