HN 日本語サマリー

← 一覧へ戻る
プログラミング

Show HN: Jacquard、AIが記述し人間がレビューするコードのためのプログラミング言語

Show HN: Jacquard, a programming language for AI-written, human-reviewed code (github.com)

85 pointsby jbwinters44 コメント

要約

Jacquardは、AIが人間が作成した言語を分析して設計した新しいプログラミング言語です。外部/世界への影響が関数シグネチャで可視化され、ファイルシステムなどへのアクセスには明示的な許可が必要です。また、コードにはコンテンツアドレス指定のセマンティックIDが付与され、リネームやフォーマット変更による再コンパイルや再テストが不要になります。この言語は、特にエージェントシステムでの利用を想定しており、開発者やAIエージェントからのフィードバックを求めています。

全文翻訳

生成AIの波に魅了され、AIが人間が作成し、人間向けに使用する言語よりも好んで使用するような言語を作成できるのではないかと考えました。 設計のために、AIに複数の主流言語と、概念的に画期的でありながら難解な言語(READMEに記載)のASTを分析させ、新しい構造と新しい構文を作成させました。これは、バベッジの解析機関(およびパンチカード)の前身であるジャカード織機(https://en.wikipedia.org/wiki/Jacquard_machine)にちなんで名付けられました。 その結果、多くの既存のアイデアが再利用されましたが、それらが興味深い方法で組み合わされました。外部/世界への影響は関数シグネチャで可視化され、ランタイムはファイルシステム、ネットワークなどに触れるために明示的な許可を必要とします。エフェクトの相互作用は記録および再生でき、異なる条件やコードの下で何が起こるかを確認できます。また、コードには内部的にコンテンツアドレス指定のセマンティックIDが付与されるため、リネームやフォーマットの変更で再コンパイルや再テストが必要になることはありません。 このプロジェクトから派生したもう一つの成果は、リプレイ、結果キャッシング、ハンドラ置換、そして私がPythonを書いているときに率直に欲しかった他のいくつかのツールを組み合わせたテストフレームワークであるWarpです。デモディレクトリにはいくつかの例があります。 まだやるべきことはありますが、インストールして使用できます。エージェントにドキュメント/SKILL.mdファイルを消化させ、いくつかのプログラムを作成したり、プロジェクトのどこに適合するかを見てもらいたいと思っています。特にエージェントシステムで役立つはずです。エージェントが何かを苦痛だと述べたり、人間としてコードの理解が難しいと感じた場合は、それに対処できるように教えてほしいです。 詳細はこちら: リポジトリ: https://github.com/jbwinters/jacquard-lang さらに詳しい紹介/人間向けの解説はこちら: https://research.friendmachine.co/jacquard/