AI把TypeScript检查器搬到Rust:速度之外,谁来读懂代码?
大语言模型
能根据指令写出文字或代码的人工智能程序。
兼容性
换成新工具后,原来的项目还能否按原样工作。
语言服务器
帮助代码编辑器检查和理解程序的工具。
发生了什么
GitHub(公开代码的网站)上出现了一个叫 ts-rust、也叫 tsc-rs 的实验性工具。它把 TypeScript(写程序的语言)的编译器、类型检查器和语言服务器,改用 Rust(另一种编程语言)来实现。
这里的编译器负责处理程序,类型检查器负责找出代码用法上的问题,语言服务器则帮助编辑器理解代码。项目说明称,它直接移植了 Microsoft(TypeScript 的开发公司)用 Go(一种编程语言)编写的新一代 TypeScript 编译器,并尽量保留相同的命令行、语言服务器和 API。
最特别的地方,是这次移植主要由大语言模型完成。大语言模型是一种能根据指令写代码的人工智能。项目作者在 README 中说,自己没有读过其中任何一行代码。这让测试和人工检查变成了新闻的核心。
背景:AI到底写了多少
项目 README 称,早期使用 OpenAI(ChatGPT 背后的公司)的模型时,几个月里写出了超过130万行 Rust 代码,按接口价格计算的花费超过42万美元。但这些尝试的兼容度一直没有超过约84%。
后来,另一个模型 Opus 5.5 从头开始,10小时做出了能运行的初版。之后两周的接口费用约为24047美元。这些时间、代码量和费用都来自项目自己的说明。它们能说明这项尝试的规模,却不能单独证明代码质量。
项目报告了什么结果
这个移植版本固定在2026年9月29日的 TypeScript 7.1.0-dev 版本上。README 称,移植过来的 Go 测试共有181711项,并且全部通过。语言服务器和 API 在一组确认测试中,也得到了与 Go 版本相同的结果。
在60个开源项目上,类型检查大约只用了 Go 版本一半的时间。另一组包含6个应用的比较显示,ts-rust 的几何平均速度是 TypeScript 7 的1.61倍。不过,Bun(另一个检查工具)在同一比较中更快。
这些数字来自项目自己的测量。它们不是独立机构的复核。不同机器、不同项目和不同测量方法,都可能改变结果。
为什么重要
把一个编译器搬到另一种语言,并不是把词语逐行换掉就结束了。许多项目已经依赖原来的行为。只要在少见的设置中给出不同结果,使用者就可能遇到新的问题。
这个案例真正值得注意的,不只是速度,而是责任问题。假如作者没有读过代码,谁能解释它的设计?测试没有覆盖的地方出了问题,谁能修好?AI可以一次写出大量代码,但人仍要判断测试是否足够,也要有人长期负责维护。
已经能确认什么
项目提供了安装方式,也明确提醒这是早期版本。现在列出的平台包括 Linux x64 和 macOS arm64,Windows 和 Linux arm64 还没有提供。
README 还列出了已知问题。例如,某些大型代码仓库可能通过不同路径看到同一个文件。某些项目构建过程可能读到旧的或缺失的输出。长时间编辑时,内存占用也可能慢慢增加。项目还固定在一个上游版本,并不代表会自动跟上未来的 TypeScript 更新。
还不知道什么
目前不能只靠 README 确认整个代码库已经经过独立的全面审查。也不能确认它会怎样应对更多真实项目和未来版本。长期维护的人手、修复隐藏问题的成本,以及更广泛的兼容性,都还需要观察。
Hacker News(技术讨论社区)上,这条帖子有94个积分和186条评论。这个数字表示社区很关注它,不表示项目一定正确。
接下来应关注更多真实项目的测试、人工代码审查,以及更新能否持续。真正的问题不是 AI 能不能写出移植版,而是人能不能读懂它,并负责任地让它继续工作。
AI做出的TypeScript检查工具:很快,但还需要人来检查
📰 完整报道: AI把TypeScript检查器搬到Rust:速度之外,谁来读懂代码?
一个新工具想用Rust更快地检查TypeScript程序。
ts-rust
用 Rust 写的 TypeScript 检查工具。
类型检查
检查代码中的用法是否合适。
开源项目
代码公开,别人可以查看和使用的项目。
💡 一句话总结
- AI帮助做出了一个TypeScript检查工具。
- 项目报告它通过了很多测试,检查速度也很快。
- Hacker News有94个积分、186条评论。热度不等于正确。
它是什么?
TypeScript(写程序的语言)由 Microsoft 开发。Rust 是另一种编程语言。ts-rust 是用 Rust 写的新工具。
它可以检查 TypeScript 代码,还能帮助编辑器理解代码。它想尽量像原来的 TypeScript 编译器一样工作。
这个项目放在 GitHub(公开代码的网站)上。项目页面说,大语言模型写了其中很多代码。大语言模型就是能按照指令写代码的电脑程序。
项目作者说,自己没有读过代码中的一行。这很特别。因为软件出了问题时,人需要知道它是怎样工作的。人也需要知道以后应该怎样修改它。
它有多快?
项目页面报告说,181811项测试通过了。在60个开源项目上,类型检查大约只用了 Go语言版本一半的时间。
另一组比较看了6个应用。项目说,ts-rust的平均速度是 TypeScript 7 的1.61倍。不过,Bun(另一个检查工具)在这组比较中更快。
这些结果是项目自己测出来的。它们不是外部团队的证明。测试只能说明测过的地方。没有测过的地方,可能仍有问题。
为什么要关心?
检查工具不能只追求速度。它还要和原来的工具给出相近的结果。小小的不同,也可能让大项目出现错误。
这个项目还是早期版本。页面列出了几个问题。有些大型项目可能会重复看到同一个文件。长时间编辑时,内存也可能增加。Windows版本和一部分Linux版本还没有提供。
以后要看更多项目的测试,也要看人能不能读懂并维护这些代码。Hacker News的热度只说明很多人注意到了它,不说明它一定可靠。
💬 这个 Rust 版 TypeScript 又快又可靠吗?
它展示了 AI 能做什么,但速度、花费和长期维护仍有争议。
- 评论认为它是独立于官方编译器的实验项目。一名 TypeScript 团队成员说这项工作很有意思,值得研究。
- 按作者自述,AI 写出了超过 130 万行 Rust,但兼容性只有约 84%。另一个模型从头开始,10 小时做出了可运行版本,并用约十分之一的时间取得更远进展。40 万美元是按 API 价格折算的数字,实际花费是多少,评论者并不一致。
- 一名评论者自报,在真实项目中它比 tsc7 快 1 到 3 秒,但没有独立测试确认。为了模仿 Go 的字符串和标准库,它也可能付出性能代价。
- 评论者认为 Go 当初胜在容易移植,而不是绝对速度,所以 Rust 不一定自动带来巨大提升。
- 最大疑问是:如果人没有读代码,只看测试通过,能不能放心使用?有人担心以后难以维护,也有人认为让代理对照原版并补测试就够用。
- 有人快速查看后称没有明显的 unsafe 代码,但这不是完整审计。现在更适合把它当作实验和想法来源,而不是已经证明的替代品。
这是评论数为186时的初期(修订1)。获取100条,并从整体抽取100条总结。内容属于HN用户自述,并非编辑部核实的事实。
AI帮忙做的程序小老师
📰 完整报道: AI把TypeScript检查器搬到Rust:速度之外,谁来读懂代码?
它会帮人找程序里的小错误。
ts-rust
帮忙找程序小错误的工具。
Rust
写电脑指令的另一种方式。
Hacker News
大家谈技术的网站。
TypeScript是写给电脑的指令。
Rust是另一种写指令的方式。
ts-rust是新的检查工具。
它会找出一些写法不对的地方。
做它的人说,AI帮忙写了很多程序指令。
做它的人自己还没有读完这些指令。
所以,人还要读它,也要试它。
项目页面说,它跑得很快。
页面也说,它还有一些问题。
Hacker News是大家谈技术的网站。
这条消息有94个积分和186条评论。
这表示很多人看了,也谈了它。
这不表示它一定正确。
资料:项目页面和Hacker News。
💬 AI 做出的 TypeScript 小故事
AI 做出了很大的程序,但大家还要检查它是否够快、够安全。
- 这是实验版,不是官方编译器。TypeScript 团队的人说它很有意思。
- 作者自述,AI 按 API 价格算用了 40 多万美元,写了 130 多万行 Rust,但只做到约 84% 兼容。另一个 AI 用 10 小时做出能运行的版本,并用约十分之一的时间走得更远。实际花了多少钱,大家说法不同。
- 一次自报测试显示它比 tsc7 快 1 到 3 秒。但模仿 Go 的部分也可能让它变慢。这个结果还没有被独立检查。
- 人们担心只看测试、不读代码会不够可靠。有人说没有看见明显的 unsafe,但那只是快速查看,不是全面检查。
这是评论数为186时的初期(修订1)。获取100条,并从整体抽取100条总结。内容属于HN用户自述,并非编辑部核实的事实。
💬 LLM 生成的 TypeScript Rust 移植:速度、成本与可信度
HN 评论普遍把它看作有价值的实验,但对性能数据、费用统计,以及无人阅读的生成代码能否长期维护,意见仍然分歧。
这是评论数为186时的初期(修订1)。获取100条,并从整体抽取100条总结。内容属于HN用户自述,并非编辑部核实的事实。