🔥 HN 热议

AI把TypeScript检查器搬到Rust:速度之外,谁来读懂代码?

约3分钟读完 Tiny Why编辑部 · 文:特派员 好奇

词语
大语言模型

能根据指令写出文字或代码的人工智能程序。

兼容性

换成新工具后,原来的项目还能否按原样工作。

语言服务器

帮助代码编辑器检查和理解程序的工具。

发生了什么

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 能不能写出移植版,而是人能不能读懂它,并负责任地让它继续工作。

资料:ts-rust 项目 README和Hacker News 帖子。

💬 LLM 生成的 TypeScript Rust 移植:速度、成本与可信度

HN 评论普遍把它看作有价值的实验,但对性能数据、费用统计,以及无人阅读的生成代码能否长期维护,意见仍然分歧。

  • 评论将其描述为独立于官方 TypeScript 编译器的实验性 Rust 移植。一名 TypeScript 团队成员表示这项工作令人印象深刻,并称团队希望进一步了解,因为短时间内出现了多个类似移植。
  • 按作者自述,GPT-5.6 Sol 和 GPT-6 Astra 按 API 标价计算消耗了超过 40 万美元,经过数月的循环生成写出超过 130 万行 Rust,但兼容性大约停在 84%。
  • 同一份 README 经评论转述称,Opus 5.5 没有继续使用原有代码,而是从头开始,10 小时做出了可运行的 v0,并用大约 Astra 十分之一的时间取得更远进展。README 还报告两周约 24,047 美元的 API 支出。评论者对真实现金成本有不同解释,认为 40 万美元可能是把订阅或评估额度按 API 价格折算后的数字。
  • 一名评论者自报,在一个真实项目中,编译时间比 tsc7 少 1 到 3 秒。但评论中没有独立基准测试来确认这一结果。
  • 另一名评论者分析说,Rust 移植为了保留 Go 的语义,重新实现了 Go 风格的字符串和大量 Go 标准库,这可能损害性能。这是评论者的分析,不是已经确认的缺陷。
  • 评论者认为,TypeScript 团队当初选择 Go,主要是因为更容易移植、使用更方便,而不是单纯追求最高速度。因此改用 Rust 并不自动意味着数量级的性能提升,实际价值要同时看测量结果和可维护性。
  • 作者自述自己没有读过生成代码中的一行,这引发了对信任和维护的担忧。批评者认为,通过现有测试只能覆盖已知情况,不能自动保证设计意图和未来改动都安全。
  • 另一种观点认为,可以让代理把移植版与原版比较,并不断补充测试,从而减少人工阅读代码的需要。有评论者快速查看仓库后称没有明显的 unsafe 使用,且项目目标是避免它,但这不是完整审计。

这是评论数为186时的初期(修订1)。获取100条,并从整体抽取100条总结。内容属于HN用户自述,并非编辑部核实的事实。

🔥 HN 热议

AI做出的TypeScript检查工具:很快,但还需要人来检查

📰 完整报道: AI把TypeScript检查器搬到Rust:速度之外,谁来读懂代码?

一个新工具想用Rust更快地检查TypeScript程序。

约2分钟读完 Tiny Why编辑部 · 文:特派员 好奇

词语
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的热度只说明很多人注意到了它,不说明它一定可靠。

资料:项目 README和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用户自述,并非编辑部核实的事实。

🔥 HN 热议

AI帮忙做的程序小老师

📰 完整报道: AI把TypeScript检查器搬到Rust:速度之外,谁来读懂代码?

它会帮人找程序里的小错误。

约1分钟读完 Tiny Why编辑部 · 文:特派员 好奇

词语
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用户自述,并非编辑部核实的事实。

来源