AIがTypeScriptの検査道具をRustへ移した 速さの先にある「読まれていないコード」
LLM
指示に応じて文章やコードを作るAIの仕組み。
言語サーバー
コードを書く画面に、調べたり助言したりする機能を届ける道具。
互換性
別の道具に替えても、同じように動く度合い。
何が起きたか
GitHub(コードを公開するサイト)で、ts-rust(別名 tsc-rs)という実験的な道具が公開された。TypeScript(プログラムを書くための言葉)のコンパイラー、型チェッカー、言語サーバーを、Rust(別のプログラム言語)で作り直したものだ。READMEは、Microsoft(TypeScriptの開発元)が進めるGo版コンパイラーを直接移し、本家に近いコマンドや言語サーバー、APIを保つと説明している。
このプロジェクトで特に目を引くのは、LLM(指示に応じてコードも作るAI)が移植の大部分を書いたことだ。作者はREADMEで、自分はコードを一行も読んでいないと説明している。つまり、AIが大量のコードを作り、テストで元の道具と結果を比べながら近づけた試みである。
背景:どれほどの作業だったのか
READMEによると、最初の試みではOpenAI(ChatGPTを作る会社)のモデルが、数か月かけて130万行を超えるRustコードを書いた。しかし互換性は約84%を超えなかった。別のモデル、Opus 5.5は、いったん作り直して10時間で動く初版を作ったという。その後の2週間で、API利用費は約2万4047ドルになった。
ここで注意したいのは、これらがプロジェクト側の説明だという点だ。費用や時間の数字は、AIが大きなソフトを作る速さを考える材料にはなる。ただし、それだけでコードの品質や安全性が証明されるわけではない。
何ができると報告されているか
プロジェクトは、2026年9月29日のTypeScript 7.1.0-dev相当の版に固定されている。READMEでは、移植したGo版のテスト181,711件が通り、言語サーバーとAPIの確認用テストでも結果が一致したと報告する。60のオープンソースプロジェクトでは、型チェックの時間がGo版の約半分だったという。
別の6アプリの比較では、ts-rustはTypeScript 7より幾何平均で1.61倍速かった。ただしBun(別のチェック道具)のチェック機能は、同じ比較でさらに速い。測定方法や対象の選び方で結果は変わるため、これはプロジェクト内のベンチマークとして読む必要がある。
なぜ重要か
コンパイラーの移植は、コードを別の言葉に置き換えるだけでは終わらない。多くの利用者が、以前と同じ入力に同じ結果を期待するからだ。少数のプロジェクトでうまく動いても、別の設定や大きな構成で問題が出れば、採用した側の作業が止まる。
この事例の核心は、速さだけではない。作者自身がコードを読んでいない状態でも、テストが十分なら使えるのかという問いである。AIが書ける量が増えるほど、何を試したか、何を試していないか、誰が直せるかが重要になる。
確認できたことと、まだ分からないこと
READMEには、Linuxのx64版とmacOSのarm64版が案内される一方、Windows版とLinuxのarm64版はまだない。初期リリースであり、モノレポで同じファイルが別経路から見える場合、プロジェクト間の出力を読む場合、長時間の編集でメモリが増える場合など、既知の問題も列挙されている。
一方で、独立した第三者が広い範囲のコードを調べた結果や、長期保守の体制まではREADMEから確認できない。今後は、より多くの実プロジェクトでの比較、人間によるコードレビュー、TypeScript本体の更新への追随が焦点になる。
Hacker Newsでの注目と次に見る点
Hacker News(技術ニュースの掲示板)では、この投稿が94ポイント、186コメントを集めた。これはコミュニティの注目度を示す数字であり、プロジェクトの正しさを証明する数字ではない。
次に見るべきなのは、話題の大きさではなく、実際に誰がコードを読み、問題を直し、更新を続けるかだ。AIが作業を短くできても、利用者が安心して預けられる道具になるまでには、検査と責任の時間が残っている。
AIが作ったTypeScriptの新しい点検道具 速いが、まだ見守りが必要
📰 しっかり版: AIがTypeScriptの検査道具をRustへ移した 速さの先にある「読まれていないコード」
AIがRustで作った道具が、TypeScriptのチェックを速くしようとしています。
ts-rust
TypeScriptのコードを調べる新しい道具。
型チェック
コードの書き方に合わない所を調べること。
Rust
プログラムを書くための別の言葉。
💡 ようするに
- AIがTypeScript(プログラムを書く言葉)の点検道具を作りました。
- Rust(別のプログラム言語)で作り、速さを調べています。
- Hacker Newsでは94ポイント、186コメントの話題になりました。人気は正しさの証明ではありません。
何が起きたの?
ts-rustは、TypeScriptの書き方を調べる道具です。間違いを見つけたり、編集画面を助けたりします。Rustという別の言葉で作られました。
こうした点検は、型チェックとも呼ばれます。
GitHub(コードを公開するサイト)の説明では、AIがこの道具の多くを書きました。作った人は、自分ではコードを一行も読んでいないと書いています。
作るには、たくさんの計算が必要でした。最初の試みでは、130万行をこえるコードを書いても、元の道具との合い方は約84%まででした。別のAIは、10時間で動く初版を作ったそうです。2週間の利用費は約2万4047ドルでした。
どれくらい使えそう?
READMEでは、181,711件のテストに通ったと報告しています。60の公開プロジェクトでは、元のGo(別のプログラム言語)版より点検が約半分の時間で終わったそうです。ただし、これは作った人たちの測定です。
まだ初期版なので、困る場合もあります。大きな開発場所で、同じファイルを二重に見てしまう問題があります。長く使うと、使うメモリが増える問題もあります。使える機械も、Linuxの一部とmacOSの一部に限られます。
なぜ大切?
速いだけでは、よい道具とは言えません。前の道具と同じように動くことが必要です。小さな違いで、使う人の仕事が止まることがあるからです。
AIがコードをたくさん書けても、人が読んで直せるかは別の問題です。これからは、別の人が調べ、もっと多くの実際の開発で試す必要があります。
💬 Rust版TypeScriptは速いのか、信頼できるのか
この移植はAIの力を示す実験だが、速さ・費用・保守のしやすさにはまだ議論がある。
- これは公式コンパイラではなく、AIを使って作った実験的なRust版だとコメントされている。TypeScriptチームの人は、短期間に多くの移植が出たことを面白いと見ている。
- 作者の自己申告では、AIに130万行超のRustを書かせても互換性は約84%だった。別のAIはゼロから10時間で動く版を作り、約10分の1の時間で先へ進んだ。40万ドル超という数字はAPI価格換算で、実際の支払い額かどうかはコメントで意見が分かれている。
- ある投稿者の自己報告では、実際のプロジェクトでtsc7より1〜3秒速かった。ただし、独立した測定ではない。Goの文字列や標準ライブラリをまねる部分が、逆に遅さを生むかもしれないという分析もある。
- Goは当時、最高速度より移植しやすさを重視して選ばれたという見方がある。そのためRustにしただけで必ず大幅に速くなるわけではない。
- 人がコードを読まず、テストに通ることだけで信頼してよいのかが大きな争点である。元の実装と比べたり、AIに新しいテストを書かせたりすればよいという反論もある。
- unsafeは明白には見つからず、避ける方針だという自己報告があるが、これは本格的な監査ではない。今は本番の代替品というより、AI移植を試す材料と見るのが無難である。
コメント186件時点の初期(改訂1)。100件を取得し、全体から100件を抽出して要約しました。内容はHN利用者の自己申告で、編集部が確認した事実ではありません。
AIが作ったプログラムの見張り役
📰 しっかり版: AIがTypeScriptの検査道具をRustへ移した 速さの先にある「読まれていないコード」
AIが、プログラムを調べる新しい道具を作りました。
ts-rust
TypeScriptのまちがいを調べる道具。
Rust
コンピューターに指示を書く別の言葉。
Hacker News
技術の話をするサイト。
TypeScript(コンピューターへの指示を書く言葉)があります。
Rust(別の指示の書き方)で、ts-rust(TypeScriptを調べる道具)が作られました。
この道具は、書き方のまちがいを見つけます。
作るのを手伝ったのは、コードを書くAIです。
作った人は、自分でコードを一行も読んでいないと書きました。
だから、人が読んで確かめることが大切です。
道具は速く動くと説明されています。
でも、まだ困る場所もあると書かれています。
Hacker News(技術の話をするサイト)では、94ポイント、186コメントでした。
これは、たくさん見られたという意味です。
正しいと決める数字ではありません。
💬 AIが作ったRust版TypeScriptのお話
AIは大きなプログラムを作れた。でも、速さと安心については、まだ確かめることがある。
- これは公式版ではなく、AIで作った実験版だ。TypeScriptのチームの人も、面白い試みだと見ている。
- 作者の自己申告では、40万ドル超というAPI価格の計算を使い、130万行を書かせても互換性は約84%だった。別のAIは10時間で動く版を作り、約10分の1の時間で先へ進んだ。実際に払った金額かは意見が分かれている。
- ある投稿者の自己報告では、tsc7より1〜3秒速かった。でも、Goの仕組みをまねる部分が遅さを作るかもしれない。
- 人がコードを読まず、テストだけで大丈夫と言えるかが問題だ。unsafeは見当たらないという自己報告もあるが、まだ本格検査ではない。
コメント186件時点の初期(改訂1)。100件を取得し、全体から100件を抽出して要約しました。内容はHN利用者の自己申告で、編集部が確認した事実ではありません。
💬 LLM製Rust版TypeScriptをめぐる、速さ・費用・信頼性の議論
HNでは実験としての価値は認められつつも、性能値と費用の読み方、そして人間が読まないコードを運用できるかが主な争点になっている。
コメント186件時点の初期(改訂1)。100件を取得し、全体から100件を抽出して要約しました。内容はHN利用者の自己申告で、編集部が確認した事実ではありません。