資源管理等、記述しなければならない処理が存在する。ノーマルレベルの計算から切り離して記述したい。<li>そのためには処理を細かく分割する必要がある。<li>しかし、関数やクラスなどの単位は容易に分割できない。<li>そのためには処理を細かく分割する必要があるが、関数やクラスなどの単位は容易に分割できない。いう単位を提案している。単位を用いたプログラミング言語として開発している。よる継続の遷移で処理を行い、引数として出力を与える。いう型を持つ関数の構文で定義される。