早在 2022 年，我写过一篇Web 技术乐观时刻，盘点了当时我觉得很酷的技术现状。时间过得真快，我们再来一次吧。

保持悲观依然很容易，但试着从情绪里挖掘一些积极的东西也不错。房间里的大象当然是 AI，不过我不太想再往这个话题的引力场里扔一篇新文章。

废话不多说，直接开始：

TypeScript 7

它终于来了，而且更快了。上一期里有一个小标题是“基于 Rust 和 Go 的工具正在让 TypeScript 开发变得更快”。那时还有几个做压缩、转译和打包 TypeScript 的新兴项目，如今这些工具已经成了标配。

但 TypeScript 本身——也就是语言真正的类型检查以及编辑器里的语言工具——依然是个瓶颈。TypeScript 类型检查器只有一个实现，而且是用 TypeScript 自己写的，所以只能以 JavaScript 的速度运行，也很难实现多线程。

遗憾的是，TypeScript 类型检查器现在依然只有一家：还是只有微软。不过他们在 TypeScript 7 里用 Go 重写了 TypeScript，速度快得多得多。这是我近来日常编码中最明显的变化之一。

更棒的是：TypeScript 7 支持了语言服务器协议！就像我在 2024 年写过的那样，微软既发明了 TypeScript，也发明了语言服务器协议，但 TypeScript 却一直没有实现该协议。所以除了微软自家的 VS Code 之外，其他编辑器一直没有标准的方式来为 TypeScript 提供语言支持。考虑到这家公司的历史，这种做法难免让人起疑。

但现在：它就是能用了。Neovim 可以直接用内置的语言服务器支持来支持 TypeScript 7，而不需要再靠别人把 VS Code 扩展包一层语言服务器协议的外壳。

所以，这是一次大胜利。为新版 TypeScript 欢呼吧：它更快了，支持开放标准，而且现在有了两种 TypeScript 实现。接下来，我们就只需要一个不是由微软员工做出来的实现了。

Effect 生态令人振奋

过去一两年里，我一直在写一些关于 Effect 的开发小记。我对 Effect 感到很兴奋。它是一个庞大而包罗万象的体系，但我觉得它潜力很大，而且出现得正是时候。

如今是供应链风险凸显的时代，我认为人们正在、也应该远离 NPM 里那种细碎的小模块生态。由数百位作者的数百个小模块拼起来的软件，想法很美好，但在恶意行为者面前行不通。趋势正转向更大、更严谨的库，而 Effect 在这方面占据了很好的位置。它把类型校验、可观测性、状态管理、精巧的数据类型以及大量函数式编程辅助工具都整合到了一起，放在同一个包里，维护得很好，测试也很充分。

它还拥有非常、非常强的类型，这让大规模使用时更安全。它也让各种限制变得简单得多：你只需要给任何操作加上一个 Effect.timeout，就能防止网络请求、数据库查询或其他任何操作耗时过长。并发也一样，很容易就能限制并发数。它已经为一个充满不确定的世界做好了准备——在那里你必须对一切进行校验、处处小心。但与此同时，如果你喜欢这类东西——就像我一样——用起来也很有趣。

Bluesky 和 Mastodon 是真正成功且去中心化的系统

我一直在用 Bluesky 和 Mastodon，两者都很好用。它们不像是技术演示，也不只是极客在用。可用性相当不错，功能也没有因为技术选型而显得受限。

而两者又都是名副其实的去中心化网络（只是去中心化的方式不同），在安全、隐私和社区机制上都有非常有趣的想法。Bluesky 正在大力将其协议打造为独立于社交网络本身的技术，正如我在他们的大会上了解到的，已经有许多富有创造力的人在基于这项技术进行构建。

从一个酷炫的技术演示到一个用户友好、广受欢迎的服务之间有巨大的鸿沟，而这两者都跨越了它。这令人振奋，也表明要做出既有原则又受欢迎的技术，并不需要接受糟糕的妥协。

Signal、WhatsApp、iMessage 和 RCS 是真正安全的消息平台

我想单纯庆祝一项技术的终结：SMS。人们不再使用 SMS 是一件好事：它贵得毫无必要，而且极不安全。我和朋友的聊天几乎都在 Signal 和 iMessage 上，偶尔用 WhatsApp。

当然，WhatsApp 优缺点并存，没有什么系统是完美的，但可贵的是，EFF 等机构推荐的安全选项，恰好也是人们每天都在用的热门选择。这从隐私角度来说也很重要：因为用户基数大，在手机上装有 Signal 是很正常的事；但如果只有参加抗议、警惕政府监控的人才用它，情况就完全不同了。

硬件更新周期正在放缓

人们持有手机和电脑的时间越来越长。我自己也是如此——我的 iPhone 已经用了四年，我也完全没有换掉这台电脑的打算。除了电池之外，现代的笔记本和手机都很耐用：防水、材质坚固，基本上就是好用。

当然，对同一份数据也可以有不同的解读：也许人们换机变慢是因为可支配收入变少了。我不确定是不是这样。但无论如何，更新周期变长是件好事：这意味着更少的电子垃圾、更少的污染，整体的更替也更少。