#プログラミング言語

Rust で長く開発してきた人が、Zig を実際に触って何を感じたのかを書いた記事だ。単なる印象論ではなく、JSONPath という実用的なライブラリを Rust 版から Zig 版へ移植しながら、IDE 支援、ファイル構成、テスト、関数型っぽい書き方、メモリ管理の手触りを比べている。面白いのは、Zig を持ち上げる記事ではなく、Rust に慣れた目で「どこが気持ちよく、どこが面倒か」をかなり率直に書いている点だと思う。言語の思想の違いが、日々の作業の小さな癖にどう出るのかが見えてくる。 書き手は冒頭で、自分はこの7年間 Rust 開発者としてやってきたと述べる。主に OSS を扱い、Rust の関数型寄りの書き方、たとえば整った関数や表現力のある型に親しんできた。一方で Zig も以前から気になっていた。C の後継候補として、より低レベルで軽く、しかも実用言語として存在感を増しているからだという。昔 C を触っていたこともあり、Rust と比べたらどう感じるかは前から興味があったらしい。 ただし、この記事は Zig の上級者が書いたものではない。最初に触ったプロジェクトがこの移植作業

AI にコードを書かせる流れが強まるほど、「速く動く」ことと「意図どおりに動く」ことの両立が難しくなる。Bend は、その矛盾を言語設計そのものから解こうとしているプロジェクトだ。作者は、自然言語で雑に指示しても AI が実装し、しかも proof で間違いを止められる世界を見据えている。まだ若い言語ではあるが、主張はかなり野心的で、今の AI 開発ブームに真正面から乗っている。 Bend は、AI のミスを proof で塞ぐことを売りにした新しい language だ。紹介文では「a fast language that blocks AI mistakes via proof」と掲げられ、あわせて C speed、CUDA parallelism、Lean proofs、Python syntax という特徴が並ぶ。つまり、書きやすさは Python に寄せつつ、実行速度は C に近く、しかも GPU も使える。そこに proof checker を組み合わせて、AI が書いたコードが守るべき規則を機械的に確認する、という構想になっている。 サイトの冒頭では、将来の post-A

Austin Z. Henley が、Cで「Pythonのごく一部」を 1024バイトに収める実験を公開した。狙っているのは、CPythonのような本格実装ではなく、見た目がPythonらしく振る舞う最小限のインタプリタだ。しかも今回は、コードゴルフの技巧をただ見せたいのではなく、どう削ればここまで小さくできるのかを、途中で何度も失敗しながら追っているのが面白い。完成物は短い。だが、その短さに行き着くまでの割り切り方はかなり過激だ。 Henley は週末に手でコードを書くと「人間に戻れる」と書いたうえで、512バイトか1024バイトのCコードでPythonインタプリタを作る挑戦を始めた。もちろん、本物のPython全部は入らない。そこで彼が考えたのは、「Pythonっぽく見える最小構成は何か」を選び抜くことだった。例として最初に挙げたのは FizzBuzz で、`def`、コロン、インデント、`if` に括弧がない書き方など、見た目がPythonそのものに見える断片を確認していく。 最初の試みは512バイトを目指したが、すぐに無理だと分かった。式を足し算できるようにし、変数代入を入れ、