エージェントと一緒に書く

エージェントはファイルを書き、返ってきたものを読みます。何往復かかるか、自分の誤りに自分で気付けるか、人が横で見ている必要があるか。それは、返ってくるものの形で決まります。

Rakugan のコマンドは、その返事が読みやすいように作ってあります。三つのうち二つはコンパイラを起動せず、ウィンドウも開きません。三つはそれぞれ、別の問いに答えます。 Rakugan はこれを受け取れるか、これは何を描くか、配ったアプリも同じことをするか。

端末でのひとつづきの作業。エージェントが app.pl を書き、rakugan check が断って直し方を示し、直すと check は何も言わなくなり、ウィンドウなしの実行が画面を文字で返し、rakugan gate が二つの実行の一致を報告する。速い二つは各 0.07 秒、コンパイルは 2.8 秒

三つのコマンドと、三つの答え

`rakugan check`：Rakugan はこれを受け取れるか

$ ./bin/rakugan check app.pl
app.pl:8:30: Rakugan cannot take this — `text` has no `weight =>`; it takes `a11y_label`, `align`, `animate`, `background`, `bold`, `border_color`, `border_radius`, `border_width`, `col_span`, `color`, `disabled`, `easing`, `enter`, `exit`, `grow`, `height`, `italic`, `max_lines`, `max_width`, `min_width`, `mono`, `padding`, `role`, `row_span`, `size`, `theme`, `tooltip`, `underline`, `width`, `wrap`
            return text("hello", weight => 700);
                                 ^

ファイル:行:桁 の形で断りを出力し、その下にその行と、桁を指す記号を置きます。受け取れるときは何も出力しません。先にファイルを検査するのは perl で、そのあと翻訳器が読みます。どちらもコンパイラを起動しないので、答えは 0.1 秒ほどで返ります。

文面は「だめだ」ではありません。直し方そのものを、直す場所に置いています。一覧はRakugan が断る書き方にあり、それぞれ文面を保持しているファイルから引いています。

ウィンドウなしの実行：これは何を描くか

$ PIXIE_SCRIPT="click:+1,dump" ./bin/rakugan run app.pl
Column(spacing=12, padding=16)[Text(count: 0, fontSize=34), Row(spacing=8)[Button(+1), Button(+10), Button(reset)], TextField(), Text(hello, )]
Column(spacing=12, padding=16)[Text(count: 1, fontSize=34), Row(spacing=8)[Button(+1), Button(+10), Button(reset)], TextField(), Text(hello, )]
Column(spacing=12, padding=16)[Text(count: 1, fontSize=34), Row(spacing=8)[Button(+1), Button(+10), Button(reset)], TextField(), Text(hello, )]

PIXIE_SCRIPT があるとき、run はウィンドウを開きません。木を組み、書かれた手順で動かし、画面を文字として出力します。最初に一度、dump のたびに一度、最後に一度です。 0.1 秒もかからず、ここでもコンパイラは起動しません。

「押したボタンは思ったとおりに効いたか」への答えがこれで、画面がなくても読めます。手順の一覧はウィンドウなしの実行とゲートにあります。

キャンバスに描くものなら、PIXIE_FRAMES=<dir> が手順ごとに PNG を書き出します。描くのはウィンドウと同じラスタライザなので、エージェントは自分の描いたものを読むだけでなく、見ることができます。

`rakugan gate`：配ったアプリも同じことをするか

$ ./bin/rakugan gate app.pl --script "click:+1,dump"
GATE OK — 3 dump lines identical in both runs
  script:   click:+1,dump
  emitted:  demo/.gate/app/src/main.pix
  binary:   ~/.cache/pixie/target/debug/main (53.8 MB)

これはコンパイルします。アプリを翻訳し、バイナリをビルドし、一つのスクリプトで両方を動かし、記録を 1 バイトずつ比べます。エンジンを最初にビルドするときは数分かかり、そのあとは毎回数秒です。赤いゲートは、二つの記録と、最初に食い違った行を出力します。

一続きの作業でのループ

ファイルを書く。
check が黙るまで直す。どの答えにも直し方が書かれているので、ここで要るのは往復であって、考え込むことではありません。
足したものを押すスクリプトで、ウィンドウなしの実行。 dump を読みます。それが画面です。
形が決まったら gate。ここでコンパイルし、ここで証明します。
できあがったら build --release --app。

2 と 3 がループで、どちらもコンパイラを起動しません。 4 でループを出ます。

エージェントに渡すもの

ツアー（ここから）。言語そのものが、読者の出会う順に並んでいます。完全な例はすべて tools/tour_check.pl がゲートに通すので、翻訳器が断る書き方はそこにありません。
要素のページ。唯一の表から生成しています。アプリが書けるキーワードが型と既定値つきで並んでいて、ここにないキーワードは存在しません。
Rakugan が断る書き方。断りを、迂回するものではなく見覚えのあるものにするためです。
仕事に近いデモをギャラリーから一つ。どれもファイル全体で、ゲートを通っていて、短いものです。

伝えておくとよいこと二つ

断りは読む。迂回しない。 どの文面にも書き換え方が書かれています。断りを壁として扱うエージェントは、もっと妙なものを書きます。読むエージェントは、意図したとおりの Perl を書きます。

dump は画面である。 木が正しいと言うまでは、ウィンドウの見た目を人に尋ねる必要はありません。ゲートが突き合わせているのも dump なので、dump を読むエージェントは、ゲートと同じものを見ています。