早在 2022 年，我寫過一篇Web technology optimism hour，盤點了我覺得當時科技發展中很酷的地方。時間過得真快。再來一次吧。

要保持悲觀依舊很容易，但試著從心情裡挖掘一些正面的感受也不錯。房間裡的大象當然是 AI，不過我不太想再往這個話題的重力場裡丟一篇文章。

廢話不多說：

TypeScript 7

它終於來了，而且更快了。上一版當中有個標題是「以 Rust 與 Go 為基礎的工具正讓 TypeScript 開發變得更快」。那時我們只有幾個新興的專案在做壓縮、轉譯和打包 TypeScript。如今這些工具已經成了標配。

但TypeScript 本身，也就是語言真正的型別檢查與編輯器裡的語言工具，仍是瓶頸。TypeScript 型別檢查器當時只有一種實作，而且是用 TypeScript 寫的，所以只能以 JavaScript 的速度執行，也很難做成多執行緒。

遺憾的是，TypeScript 型別檢查器到現在依然只有一家獨大：還是只有 Microsoft。不過他們用 Go 重寫了 TypeScript，推出了TypeScript 7，速度快上非常多。這是我近年日常寫程式時感受最明顯的變化之一。

更棒的是：TypeScript 7 支援 Language Server Protocol 了！就像我在 2024 年寫過的，Microsoft 發明了 TypeScript，也發明了 Language Server Protocol，但 TypeScript 卻從來沒有實作 Language Server Protocol。所以除了 Microsoft 自家的 VS Code 以外，其他編輯器一直沒有標準的方式來為 TypeScript 提供語言工具。這種行為很可疑，畢竟考量到這家公司的前科。

但現在：就是能用了。Neovim 可以直接用內建的 Language Server 支援來支援 TypeScript 7，而不需要再靠別人把 VSCode 擴充套件包進一層 LS 協定外殼。

總之：這是一大勝利。為新的 TypeScript 歡呼吧：它更快、支援開放標準，而且現在有了兩種 TypeScript 實作。接下來我們只需要一個不是由 Microsoft 員工做出來的版本。

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 已經滿四歲了，而我完全沒有理由考慮換掉這台電腦。除了電池之外，現代的筆電和手機都相當耐用：防水、採用堅固的材質，而且基本上就是能用。

你也可以用不同的角度解讀同樣的數據：也許人們換機變慢是因為可支配所得變少了。我不確定這是不是事實。但無論如何，更新週期變長是好事：這代表更少的電子垃圾、更少的污染，整體的汰換也更少。