Canopy開発日誌-7月-まとめ
2分で読める月次まとめ。日々の詳細は通常版の日誌を、英語版はHighlights (English)を参照。
Canopyは、ソースコードを文字列ではなく構造（IR）として扱うエディタです。文字列を正として保ちつつ、そこから導出したプログラムの意味単位を直接操作することで、安全な構造編集やAI・複数人との協調作業がしやすくなります。詳しくはCanopyとは。
1. incrが破壊的リリースを2連発
0.13.0は、段階的な非推奨化を経ずに互換API surfaceを一括削除した。数日後の0.14.0は、使われていないghost handle型の削除、InternTableのinterior-mutationの穴の修正、disposed inputのエラーを正式なReadErrorチャネルへ移す変更を加えた。どちらのリリースも、1〜2日のうちにloomとCanopyのpin更新として波及した。
2. 実バグが明文化された契約になる
MoonDspでのデバッグ中に見つかった再入バグ（reactive computeの中から呼ばれたInput::set）が、incrの評価戦略全体を定義するADRへと発展した。どのセル種別が透過的にキャッシュしてよいか、なぜ型ではなくランタイムで境界を強制するのか、なぜpull・push・Datalog fixpointが3つのライブラリに分かれず1つのRuntimeを共有するのか。ガードの実装、レビューによる訂正、そして「ガードをあえて緩めない」という意図的な判断が、その後2日間で続いた。バグを見つけてからルールを書く、という筋の通ったやり方の一例になっている。
3. loomgenが自分のコード生成器を退場させる
loomのコード生成ツールloomgenは、月の前半に新しいEBNF演算子（~、!、@until、{Sep}、@error_nodeなど）を次々に生成パーサーのパイプラインへ追加していった。ところがベンチマークで、tree-walkingするインタプリタが差分再パースにおいて生成コードに追いついたことが分かり、loomは手書きのコード生成器（emit_grammar.mbt）そのものを削除して、interpretベースへ全面的に舵を切った。月の後半は、loomgenの重心がMarkdownの行指向レクサ生成へと移っていった。
4. JSXがCanopyの4番目の言語になる
Lambda・JSON・Markdownと同じやり方で、CSTからProjNodeへの読み取り専用projectionがJSX向けに実装された。既存の仕組みをそのまま再利用しており、新しい統合を手組みする必要はなかった。
5. generative UIが現れ、そして「終了日」を持つ
JSXが入ってから数日のうちに、CanopyはLLM風の出力を構造的に検証されたJSXへストリーミングでパースし、DOMへreconcileするところまで進んだ。ステートフルなセッションモデル、重複sibling識別子の修正、決定論的な非同期ドライバ、ブラウザ障害回復スライスが次々に入った。この月でいちばん興味深い文書は、これを「完成」と呼ぶのを拒む文書――構文的に妥当な結果は誰かが使えることの証拠にならない、と明言したうえで、実プロバイダを実際に繋ぐための厳密にスコープされた実験設計であり、2026年7月29日という明確な継続/削除の判断日を持つ。
6. js_engineがv0.6.0をリリース
for await/非同期iterationがtest262適合率100%に到達し、RegExpのlookbehind assertionが入り、Map・Set・Array・Promise・boxed primitivesを含む全stdlib builtinが単一のatomicなインストール契約へ移行し、埋め込み利用者向けのhost-object APIが実装され、class private field/method/static blockが仕様通り実装された――これらをまとめてv0.6.0としてリリースした。
7月を貫く筋: incrのAPI整理が周辺へ波及し、loomgenは元の形が不要だったことを自ら証明して身軽になり、そこで空いた場所を、Canopyのこれまでで最も実験的な新機能がすぐさま埋めていった。
- GitHub: dowdiness/canopy · dowdiness/loom · dowdiness/incr · js_engine · mooncakes.io/user/dowdiness
- 全文: 7月の日誌