Determinantは初期段階の実験であり、確率的なAI生成と実行可能ソフトウェアの間に決定論的な層として監査可能アプリケーション言語（AAL）を提案している。このシステムでは、LLMが自然言語の要件からAALを生成し、人間がビジネスロジックの正確性を確認した後、従来のコンパイラがTypeScriptコードを生成する。

  • AALは2つの主要な概念に焦点を当てている：オブジェクト（アプリケーションの状態を記述）とフロー（動作を記述）、クラスやメソッドといった実装の詳細は回避する。
  • コンパイルパイプラインは承認されたAALをASTに変換し、セマンティックチェックと結合を行い、LLMの関与なしにNode.js用の決定論的なTypeScriptを出力する。
  • 現在の機能には、型付きフィールド、条件、明示的な失敗、計算、状態変更、フローの合成、通貨型、英語および中国語の方言サポートが含まれる。
  • このプロジェクトは、生成されたコードの数千行をレビューするのではなく、人間が小さく実行可能な記述を監査できるようにすることで、AIの不確実性の範囲を縮小することを目指している。

著者は、このレビュー境界が実際に有用かどうか、およびAALが十分なアプリケーション動作をカバーしながら可読性を維持できるかどうかについてフィードバックを求めている。