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で同様に実装漏れに気づく方法はありますか?