Reactive Programming と Fixed-Point

Reactive Functional Programming の論文を読んでみたけど,むずい.

1. Introduction

The control structure needed for reactive programs is inherently iterative, not recursive.

Reactiveなプログラムにはiterative(繰り返し?) な制御構造が必要で,再帰はあまり必要でない.

1.1 Mathematical models for programming

The models in common use in programming are cpo models of computational domains. These allow us to calculate solutions to recursive equations. However, these models
don't help much to abstract away detail - they force us to encode it.
....
The theory of cpo models is difficult to apply - its logic is based upon the principle of computational (or fixed-point) induction. ....
The structure ... is just function definitions written in terms of recursive equations. It seems inadequate.

(数学的)なモデルの利用例は CPO モデルである.漸化式を解くのに用いられる.しかし抽象化に向かない. そのモデルをエンコードしなければならないから.
CPOモデルは不動点計算を用いている.再帰を使って表現するのは難しい.

なんか不動点計算とかでてきたのでそっちから勉強しないといけない気がした.

あとCPOてなにー

  • cost-per-order?
  • Cost of Process Ownership ?