関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

212(1): 2023/02/24(金)02:14 ID:PIH/rCf2(1) AAS
>>211
Bing チャットに聞いたらこんなのが返ってきた。参考になるかな。

型変数を含むデータ型の例としては、関数型、代数的データ型、型クラスなどがあります。
例: data Tree a = Leaf a | Node (Tree a) (Tree a)
この代数的データ型Treeは任意の型aを要素とする二分木を表します。
例: class Eq a where
(==) :: a -> a -> Bool
(/=) :: a -> a -> Bool
この型クラスEqは任意の型aに対して等値性を定義するための仕組みです。

---

213: 2023/02/25(土)11:21 ID:h/PI1ikt(1) AAS
>>212
ありがとうございます。

凄いHを楽しく学ぶ本にも
Tree型があったので試してみました。

具体的な中身が「無い」事を現す値の場合
型引数で定義できるみたいです。

data Tree a = EmptyTree | Node a (Tree a) (Tree a)
deriving (Show)

v3 :: Tree a
v3 = EmptyTree

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.034s