ラムダ計算と抽象機械と非同期ランタイム

評価時に、簡約箇所を毎回探索するのはコストが高い

そのため、「今やること」とされている項（control string）と「後でやることを」保持するスタック（継続）を持ち、これらを組み替えるような機械（抽象機械）を考えた方が良い

このような抽象機械を CK 機械と呼んだり呼ばなかったりする

以上を踏まえると、プログラムの評価とは control string と継続を分離して、以下を繰り返せば実現できる

control string を評価できなくなるまで分解する

control string を評価できなくなったら（値になったら）、継続を切り崩す

ラムダ計算には変数の概念があり、β 簡約時には置換が行われる（代入）

代入を行うには記憶が必要

この記憶領域を環境と呼ぶ

warning.icon 環境はグローバル状態として置くのは不適切

https://gyazo.com/3777d4610f5804e173d870e76431ccc5

そのため、項に付与してあげる

IO[A]: 成功したら A の値を結果として返す

IOFiber[A]: IO[A] を評価する仮想マシン

CKE 機械のような形になっている

これによりどのようなメリットが得られるのか？

https://gyazo.com/987b77782c4fe29d97013f0ccb51d23e

他言語の軽量スレッド概念を理解するのにも役立つ

全く同じではない