の便利な使い方を考え中。とりあえず、とても昔に下のような記事を書いていて、 http://www.geocities.jp/lethevert/softwares/clean/oop02.html#polymorphic_list そこで、Existential Typeを使っている。（内容は、昔の記事なので、いろいろ突っ込みたいと…

structural subtypingは、Cleanにはないのだったということを思い出した。type classには明示的に継承関係を記述する必要があるので、nominal subtypingの一種だよね。 structural subtypingといえばOCamlだと思うのだけれど、それよりも、動的型チェック言…

Start w # (p,w) = createProcess w (g0,p) = createPipe f0 p (g1,p) = createPipe f1 p w = w --> eval (client g0 g1) w = killProcess p w = w where f0 :: a *World -> *World f1 :: *World -> (a,*World)で、 g0 :: a -> Unit g1 :: Unit -> a