Dynamic

GHC Haskell Clean

existential typeとTypeableを組み合わせれば {-# OPTIONS -fglasgow-exts #-} import Data.Typeable data HsVal = forall a.(Typeable a)=>HsVal a integerP :: HsVal -> Bool integerP (HsVal z) = if (typeOf z)==(typeOf (1::Integer)) then True else F…

2007-01-14

■

Clean 正格性解析 Clean 正格性解析

Functional Programming and Parallel Graph Rewritingという本がWeb上で公開されてた。Cleanの本なのかどうかは分からないが、とりあえず、chapter7を読むと、・flat/non-flat domainの定義が分かる・Abstract Reductionがなんか分かった気になるという…

2007-01-14

型

Clean

主にSparkleのソースを読むときに、型の表記がよくわからんのがキモイということで調べた。他はまあ、Haskell分かれば、(書けるかどうかは知らんが)とりあえず、読めるかな〜と・基本型 Int,Bool,Char,Real・一意型型の前に、*を付けると一意型。一意型は…