- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
411 ：デフォルトの名無しさん[sage]：2015/08/30(日) 21:36:21.87 ID:/UH+7Zkm - instance Umai () where {}
newtype X10 a = X10 a
nasu = X10 (X10 ())
class Oldtype a where { oldtype :: a b -> b }
instance Oldtype X10 where { oldtype (X10 o) = o }
instance Umai a => Umai (X10 a) where { level x = level (oldtype x) * 10 }
|
|