Concurrent Clean : やっと動いた。
全称量化変数の使い方が、やっと飲み込めてきた。でも、まだ怪しいところがあるけれど。
とりあえず、mappingを
mapTest :: (A.i: *MCGI i) (A.i: MModel i) MView -> *MRes mapTest cgi model view = cgi model mTest1 \m1 = model mTest2 \m2 = view [vTest1 m1 m2]
という風に書けるようになった。
全称量化変数の使い方が、やっと飲み込めてきた。でも、まだ怪しいところがあるけれど。
とりあえず、mappingを
mapTest :: (A.i: *MCGI i) (A.i: MModel i) MView -> *MRes mapTest cgi model view = cgi model mTest1 \m1 = model mTest2 \m2 = view [vTest1 m1 m2]
という風に書けるようになった。