日々の流転

λ. Interfaces as games, programs as strategies. Markus Michelbrink

<URL:http://types2004.lri.fr/SLIDES/michelbrink.pdf>

ゲームと戦略の形式化は、考えてみれば自然だけど、ちょっと「へぇ」と思った。

スライド11枚目の「next x r fitr = r for fitr : command x <<R r.」は型がマッチしていない。「resp (next x r fitr) = r for fitr : command x <<R r.」の間違いかな?

Chu Space と似た construction が使われているけど、morphism の条件が「⇔」じゃなくて「⇒」になってる。これは何故だろう?

(続く)