haskell - データ サブタイプの作成方法

Question

サブデータ型を関数に渡したい。

例：

data Car a = Ford | Opel | BMW | Mercedes a deriving (Show)

data Mercedes a = SClass a| CClass a| MClass a


myfunc::Car->String
myfunc a = show a ++ " works correctly"

でもやるよ：

myfunc CClass "x"

それは言う

スコープ外: コンストラクター CClass

Answer 1

「サブ」タイプを実現するには、いくつかのオプションがあります。data1つ目は、試みているように、より多くのタイプを使用することです:

data Car a = Ford (Ford a) | Mercedes (Mercedes a) deriving (Show)

data Ford a = ModelT a | Falcon a deriving (Show) -- different Fords models
data Mercedes a = CClass a | SClass a deriving (Show) -- different Mercedes models

型構築子であることはデータ構築子であることとは異なることに注意しdata Car = .. | Mercedes aてください. これで、次のような関数を使用できます。Car StringMercedes "a"Mercedes

horsepower :: Car a -> Float
horsepower (Ford (ModelT _)) = 1
horsepower (Ford (Falcon _)) = 500
horsepower (Mercedes (CClass _)) = 300
horsepower (Mercedes (SClass _)) = 400

そして、あなたの例は次のようになります：

myfunc :: Show a => Car a -> String
myfunc a = show a ++ " works correctly"

-- myfunc (Ford (ModelT "A")) => Ford (ModelT "A") works correctly
-- myfunc (Mercedes (CClass "b")) => Mercedes (CClass "b") works correctly

---

このような「サブタイピング」を可能にする別の方法は、型クラスを使用することです (詳細によっては、これがより良いオプションになる場合があります)。例えば

class (Show c) => Car c where
    make :: String
    model :: c -> String
    horsepower :: c -> Float
    number_of_seats :: c -> Int
    -- etc.

data Ford a = ModelT a | Falcon a deriving (Show)
instance (Show a) => Car (Ford a) where
    make = "Ford"
    horsepower (ModelT _) = 1
    horsepower (Falcon _) = 500
    -- etc.


data Mercedes a = CClass a | SClass a deriving (Show)
instance (Show a) => Car (Mercedes a) where
    make = "Mercedes"
    horsepower (CClass _) = 300
    horsepower (SClass _) = 400
    -- etc.

あなたの例は次のmyfuncとおりです。

myfunc :: (Car c) => c -> String
myfunc c = (make `asTypeOf` c) ++ " " ++ show c ++ " works correctly"

-- myfunc (ModelT "A") => Ford ModelT "A" works correctly
-- myfunc (CClass "b") => Mercedes CClass "b" works correctly

---

function (Ford (Ford "a"))また、 (またはfunction (CClass "a")) のような関数を括弧で呼び出さなければならないことに注意してください。

Answer 2

まず、車のタイプを次のように定義する必要があります。

data Car a = ... | Mercedes (MercedesClass a) | ...

data MercedesClass a = CClass a | ...

...そして、次のように書くことができます：

myFunc (Mercedes (CClass "x"))