DPW

Daimyo Programmers Workshop はdaitaiのエディタおよびランタイム環境です。 VS Codeの拡張機能でも、Webプレイグラウンドでもありません。 プログラムはテキストファイルである前に数学的オブジェクトであるという前提のもとに、最初のコミットから設計された本格的なIDEです。

DPWは単一のエンジンを共有する3つのワークスペースモードで提供されます。本格的な作業のためのネイティブDesktop、レビューとオンボーディングのための Web、 決定論的な共有環境を求めるチームのための Hosted。 モードを切り替えてもコードの挙動は決して変わりません。

開くファイルはすべてdaitai代数に解析されます。エディタは型だけでなく、すべての式のソートを把握します。 リファクタリングは書き換え規則です。AIコパイロットは代数によって境界付けられており、書き換え系に違反するコードを提案できません。これが提案を受け入れる価値があるものにしているのです。

現代のIDEは、プログラムをオプションの型注釈付きの文字列として扱う言語のために設計されました。 その前提はすべての機能に染み込んでいます。検索は正規表現、リファクタリングは置換、補完は識別子のランク付きリストです。 本物の代数的構造を持つ言語には、その構造を知るツールが必要です。

DPWは コンプライアンス・グラフ形式 (CGF) をビルドパイプラインに直接統合しています。 生成するすべての成果物 — バイナリ、Dockerイメージ、モデル重み — はそれを生み出した証明連鎖と共に自動的に証明されます。 コンプライアンスは四半期ごとの消火活動ではなく、コンパイルの副作用になります。