あれ、型付きプロセスの概念が急にわかってしまった。プロセスのプロファイルを書くには、時間が入った型が必要。線形時間ならたとえば正規表現が型として使える。分岐時間ならツリー形状をベースにした型だ。型の定義にオートマトンが使えるだろう。

ターム／シンボルはどのように出現するか？ タームの出現は暗黙にレキシコンのレコードを参照すべきで、レキシコン・レコードは意味を与える。 アイテムコレクションのインデックス〈マップテーブル〉は、タームをキーにしてその出現（複数）を返す。 意味が…

Mattias Wadman さん（@mwader、https://github.com/wader）が指摘してくれた（https://twitter.com/mwader/status/1599769763819171840）のは次のネタ。 assignment (.key = 123) update (.key |= .+1) setpath destructing bindings ({a: [1,2]} as {a: [$…