CatyScriptとデカルト半環圏

デカルト半環圏

1. dom -- 入力型
2. cod -- 出力型
3. id -- pass
4. 結合 -- パイプ、セミコロン
5. 直積 -- 配列、オブジェクト、タグ付きデータ
6. 直積単位 -- null、undefined、その他シングルトン
7. 直和 -- when, case, cond
8. 直和単位 -- never

リスト構造

1. リスト型 -- [T*]
2. マップ関数 -- each
3. テスト付きクリーネ構造 -- take

圏論的オペレーター

1. トレース -- begin/repeat
2. try -- 例外モナドを潰す
3. forward -- 米田埋め込み？

制御構造（重複して列挙）

1. when, case, cond
2. call, forward, start, emit

変数

1. 環境変数（参照コモナド）
2. オプション、引数（多圏とシーケント、スパイダー計算）
3. ローカル変数（ワイヤリング）

一般化クライスリ拡張

1. readonlyファシリティ -- 参照コモナド
2. updateonlyファシリティ -- 更新モナド
3. 両ファシリティ -- メイヤー代数

ワイルドな機能（重複して列挙）

1. eval
2. repeat（begin単独ならよい）
3. try/catch