AI が書いたコードを人間が読める言語 — Jacquard v0.1 rc3 を触った記録

AIが生成したコードを人間がレビューする時代に向けた研究言語Jacquard v0.1 rc3を紹介。Koka, Unison, Racket, Haskell等の着想を得て設計された、初めて実用的に動く言語として解説。

• Jacquardは「AIに書かせたコードを人間がレビューする時代」に向けて設計された研究言語 v0.1 rc3 が公開された。
• 関数の型に「Effect Row」（副作用）を載せ、実行時にcapabilityとして強制することで、コードの副作用を保証する。
• installから10分で動作確認可能な手軽さと、型に書いた効果（例: Networkアクセス）が実行時に厳密に強制される点が特徴。
• JavaScriptやRustと異なり、Jacquardは関数の型に効果を載せ、call graph全体で伝搬させ、実行時にdischargeする設計。
• AIが生成したコードのレビュアーにとって、コードの予期せぬ副作用を把握する負担を軽減する。