モジュール(7)

  • タイプ・タイプクラスの自作
  • 以下をファイルに書いてロードすると、Showクラスを継承したPersonなるタイプができて、それは、String,String,Intを持つ。しかも、それをPerson->Stringというタイプ関係で扱う関数fが生成される
data Person = Person {
	f:: String,
	g ::String ,
	a:: Int
	} deriving(Show)
*Main> let me = Person "Ryo" "Yamada" 47
*Main> me
Person {f = "Ryo", g = "Yamada", a = 47}
*Main> :t f
f :: Person -> String
*Main> f me
"Ryo"