著者は、大規模言語モデルからの決定論的コード生成を式空間の制約によって強制するために設計されたミニマリストなドメイン固有言語であるIPL(Intent Programming Language)を紹介する。このアプローチは、ハルシネーションやアーキテクチャの過剰設計といった確率的な問題を排除し、開発コストを削減することを目指している。

  • IPLはコアアクションプリミティブを持つ厳格に縮小された文法を使用しており、基本的または局所的なLLMが自然言語をゼロショットで.iplファイルに変換できる。
  • ビジネスロジックは人間が読める中間成果物に隔離され、ターゲットの技術スタックから切り離されている。
  • システムは、異種スタック全体で複雑なアーキテクチャをオーケストレーションするためのマルチファイル.ipl構造をサポートする。
  • 制約付きトランスパイルは字句スコープを固定し、LLMが過剰なアーキテクチャをハルシネーションすることを防ぎ、信頼性の高いコード出力を保証する。

このツールは、人間の意図と実行可能コードの間の決定論的な橋渡しとして機能し、Rust、Go、Java、Python、JavaScript、TypeScript、HTMLなどのターゲットをサポートする。