Jacquard - AI-written, human-reviewed programming language

Show HN: Jacquard, a programming language for AI-written, human-reviewed code

Jacquardは、AIがコードを書き、人間がレビューする時代に特化した小さなプログラミング言語です。この言語は、プログラムが実行する影響（エフェクト）を型レベルで明示し、有限の不確実性を扱う確率的プログラミングや、コードの正規形に基づく構造的同一性を提供します。これにより、レビュアーはコードの全行を読まずに「何に触れられるか、どの程度確実か」を把握できます。また、マルチショットハンドラによる代数的エフェクトを活用し、正確なベイズ推論をライブラリとして実装。ネイティブAOTコンパイルやWarpテストフレームワークも備え、研究プロトタイプとしてエンドツーエンドで動作します。