Concurrent Clean : 流れ指向と無名関数
無名関数を使ったときに、レイアウトを深くする必要がないことに気づいた。
ということで、途中で変数束縛を入れたくなったら、こんな風に書けばよいことで結論。
Start w = w --> stdio --> \(f,w) = f --> fwrites "hello world\n" --> flip fclose w --> \(ok,w) = if ok w (trace "error on close" w)
無名関数を使ったときに、レイアウトを深くする必要がないことに気づいた。
ということで、途中で変数束縛を入れたくなったら、こんな風に書けばよいことで結論。
Start w = w --> stdio --> \(f,w) = f --> fwrites "hello world\n" --> flip fclose w --> \(ok,w) = if ok w (trace "error on close" w)