2022年に、私はWeb technology optimism hourを書き、当時のテクノロジーでクールだと思えることをいくつか紹介した。月日が経つのは早い。またやってみよう。

今でも悲観的になるのは簡単だが、自分の感情の中からポジティブなものを掘り起こしてみるのもいい。部屋の中の象はAIだが、このトピックの重力圏にもう一つ記事を投げ込む気にはなれない。

前置きはこのくらいにして、さっそく本題へ。

TypeScript 7

ついに来た、そして速くなった。前回の記事では、見出しの一つが「RustとGoベースのツールがTypeScript開発を高速化している」だった。その時点で、TypeScriptの縮小化やトランスパイル、バンドルのための新興プロジェクトがいくつかあった。それらのツールは今や標準装備になっている。

しかしTypeScriptそのもの、つまり言語としての型チェックやエディタでの言語ツールは、依然としてボトルネックだった。TypeScriptの型チェッカーの実装はただ一つしかなく、しかもそれ自体がTypeScriptで書かれていたため、JavaScriptの速度でしか動かず、マルチスレッド化する能力にも限りがあった。

残念ながら、TypeScriptの型チェッカーに関しては今も選択肢は一つしかない。依然としてMicrosoftだけだ。しかし彼らはTypeScript 7のためにTypeScriptをGoで書き直し、はるかに、はるかに高速になった。これはここしばらくの日々の開発の中でも、最もはっきり体感できる変化の一つだ。

さらに良いことに、TypeScript 7はLanguage Server Protocolに対応した！2024年にも書いたように、MicrosoftはTypeScriptとLanguage Server Protocolの両方を生み出したのに、TypeScript自体はLanguage Server Protocolを実装していなかった。そのため、MicrosoftのVS Code以外のエディタがTypeScript向けの言語機能を提供するための標準的な方法がなかった。これは同社の歴史を考えると、疑わしい振る舞いだった。

だが今は、ただ動く。Neovimは、誰かがVSCode拡張をLSプロトコルのシェルでラップするようなことをしなくても、組み込みのLanguage ServerサポートでTypeScript 7に対応できる。

というわけで、大きな勝利だ。新しいTypeScriptに乾杯。より速く、オープンな標準に対応し、そして今やTypeScriptの実装は二つになった。あとはMicrosoftで働いていない誰かが作った実装が一つあれば完璧だ。

Effectエコシステムがアツい

ここ1、2年、Effectについてのちょっとした開発ログを書いてきた。Effectにはワクワクしている。大きくて包括的なシステムだが、大きな可能性を秘めていて、まさに今というタイミングで登場したと思っている。

今はサプライチェーンリスクの時代であり、NPMにおける小さなモジュールのエコシステムからは離れる流れがあり、そうあるべきだと思う。何百人もの作者による何百もの小さなモジュールで構成されたソフトウェアは、素敵なアイデアだが、悪意のあるアクターがいる環境ではうまくいかない。流れは、より大きく、しっかりと管理されたライブラリへと向かっており、Effectはその点で非常に有利な位置にいる。型バリデーション、可観測性、状態管理、凝ったデータ型、そしてたくさんの関数型プログラミングヘルパーがすべて一つの屋根の下、一つのパッケージにまとまっており、かなり手入れが行き届き、徹底的にテストされている。

また、非常に、非常に厳密に型付けされているため、大規模に使っても安全だ。そして制限を設けるのがずっと簡単になる。どんな処理にもEffect.timeoutを付けるだけで、ネットワークリクエストやデータベースクエリ、その他何であれ時間がかかりすぎるのを防げる。並行処理についても同様で、同時実行数を制限するのがとても簡単だ。何事も検証し、慎重になる必要がある不確実な世界に対応できるようになっている。だが同時に、使っていて楽しい。少なくともそういうタイプの人間にとっては、そうだ。私はそうだ。

BlueskyとMastodonは、成功した、真に分散型のシステムだ

私はBlueskyもMastodonもいつも使っているが、どちらもただ普通に動く。技術デモのような感じはなく、使っているのはオタクばかりでもない。稼働率はかなり良好で、機能が技術的な選択によって制限されているようには感じない。

それでいてどちらも（異なる形で）正当な分散型ネットワークであり、セキュリティやプライバシー、コミュニティの仕組みについて本当に面白いアイデアを持っている。Blueskyはプロトコルをソーシャルネットワークとは独立した技術として積極的に構築しており、カンファレンスで知ったように、その技術の上で多くのクリエイティブな人々が開発している。

クールな技術デモと、使いやすく人気のあるサービスの間には大きな隔たりがあるが、この二つはそれを埋めてみせた。ワクワクするし、信念を持ちつつ人気も得るような技術を作るために、ひどいトレードオフを受け入れる必要はないということを示している。

Signal、WhatsApp、iMessage、そしてRCSは、真に安全なメッセージングプラットフォームだ

一つの技術の終わりをただ祝いたい。SMSだ。みんながもうSMSを使わなくなったのは本当に良いことだ。SMSは不必要に高価で、極めて安全ではなかった。友人とのメッセージはほぼSignalとiMessageで、たまにWhatsAppを使っている。

もちろん、WhatsAppは一長一短で、完璧なものなどない。ただ、EFFなどが推奨する安全な選択肢が、同時に人々が毎日使う人気の選択肢でもあるのは素晴らしいことだ。プライバシーの観点からもこれはかなり重要だ。Signalをスマホに入れていることが普通に見えるのは、ユーザー層が広いからだが、もしそれがデモに参加する人や政府の監視を警戒する人だけが使っているものだったら、そうはならないだろう。

ハードウェアの買い替えサイクルは鈍化している

人々はスマホやパソコンをより長く使い続けるようになっている。私もその流れに乗っている。iPhoneは4歳になり、このパソコンを買い替える理由もまったく思いつかない。バッテリーを除けば、現代のノートパソコンやスマホは頑丈だ。耐水性があり、耐久性のある素材で作られ、基本的にただ動く。

同じデータを別の見方をすることもできる。もしかすると、人々が買い替えを遅らせているのは可処分所得が減ったからかもしれない。それが正しいかはわからない。いずれにせよ、買い替えサイクルが長くなっているのは良いことだ。電子廃棄物が減り、汚染が減り、全体としての入れ替えも少なくなるのだから。