tsc.rip を支える技術 / Kyoto.なんか #8

- Kyoto.なんか #8
- tsc.rip

Transcript

1. tsc.ripを支える技術 id:susisu / 2026-08-22 Kyoto.なんか #8
2. こんにちは • id:susisu です • 株式会社はてな Webアプリケーションエンジニア/ シニアエンジニア • 文字はデカければデカいほど 良い
3. tsc.rip • 2026 年 7 月 8 日に TypeScript 7.0 がリリース • コンパイラ (tsc) の実装が TypeScript から Go に移植され高速化 • tsc.rip はこれを記念して作った Web サイト
4. tsc.rip を支える技術 • AWS 静的サイト 激安 • CloudFront • Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter
5. tsc.rip を支える技術 • AWS 静的サイト 激安 • CloudFront S3 で良いのでは? • Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter
6. $ curl https://tsc.rip ポ ブラウザと curl でレス ンスが異なる
7. tsc.rip を支える技術 • AWS 静的サイト 激安 • CloudFront CloudFront Functions で 向き先の S3 オブジェクトを 変えたら良いのでは? • Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter
8. $ curl https://tsc.rip/echo \ -XPOST -dHello ディを処理するエンド ポ ボ リクエスト イントもある
9. tsc.rip を支える技術 • AWS 静的サイト 激安 • CloudFront 静的??? • Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter
10. 嘘は一つもない。どういうこと? • AWS 静的サイト 激安 • CloudFront • Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter
11. $ curl https://tsc.rip -i X-Type-Instantiations ヘッダ???
12. 嘘は一つもない。どういうこと? • 答え: 型レベル Web アプリケーションだったから。 リクエストのハンドリングは、すなわち「静的検査」だったのだ。
13. tsc.rip を支える技術 • AWS 静的サイト 激安 • CloudFront • Lambda (Function URL) 主犯格とみられる人物 • Go 製 Web サーバー + Lambda Web Adapter
14. tsc.rip を支える技術 (裏) • Go 製 Web サーバー • typescript-go を組み込み • リクエストを型に変換 → 型を評価 → 型をレス • TypeScript の型で書かれたアプリケーション ポ • export type Handle<Req> = Res; ンスに変換
15. 型を評価する方法 • tsc のコンパイルエラーを見る • Language Server を使う • Compiler API を使う
16. tsc のコンパイルエラー • 意図的に型エラーを発生させ、メッセージに含まれる型情報を抽出する • 長い型はデフォルトで省略されるが、--noErrorTruncation オプションで 回避できる • リクエストごとにプロセスを起動するので遅い • RIP 感はある
17. Language Server • サブプロセスとして Language Server を起動して通信する • 長い型はデフォルトで省略されるが、オプションで回避できる (らしい) • 今回は次の Compiler API を使ったので詳細未検討
18. Compiler API • サーバーにコンパイラ自体をライブラリとして組み込む • TypeScript 実装では API が公開されている • Go 実装では (少なくとも現時点では) 非公開 (internal 以下) だが、 ハックすると無理やり使うことはできる
19. Compiler API // server/typeeval/go.mod // github.com/microsoft/typescript-go を自称すると internal 以下も使える module github.com/microsoft/typescript-go/_tscrip/typeeval // ... require github.com/microsoft/typescript-go v0.0.0-20260708042240-2bd066d87f5b // typescript/v7.0.2 // server/go.mod module github.com/susisu/tsc.rip/server // ... // github.com/microsoft/typescript-go/_tscrip/typeeval は公開なので使える replace github.com/microsoft/typescript-go/_tscrip/typeeval => ./typeeval
20. Compiler API • Compiler API が使えるようになったが、使い方がわからない • Fable「マカセテ」 • 調査任せてたらなんかプロトタイプできたとか言ってきたので採用
21. 型レベル Web アプリ • アプリ本体はリクエストを引数に取ってレス ンスを返す型エイリアス • export type Handle<Req> = Res; • ルーティングやヘッダ、 ディの解釈などは基本的に全てアプリ側で実装 • Content-Length の計算など一部 Go 側に任せているものもある ートしていないので実用には向かない ポ ポ ボ • ストリームや副作用はサ
22. 型レベル Web アプリ export type Routes<Req extends req.Request> = { "/": { GET: (( Req["headers"] extends { accept: infer Accept extends string } ? accept.Negotiate<Accept, ["text/plain", "text/html"]> : "text/plain" ) extends "text/html" ? res.HTML<200, `<!DOCTYPE html>(略)`> : res.Text<200, "The tsc is dead, long live the tsc!\n">) & hs.Link<`<https://susisu.ch>; rel="author"`> & hs.CacheControl<"public, max-age=3600"> & hs.Vary<"accept">; }; // ... };
23. 型レベル Web アプリ export type Handle<Req extends req.Request> = Routes<Req> extends { [_ in Req["path"]]: infer Handlers } ? Handlers extends { [_ in Req["method"]]: infer Res } ? Res : Req["method"] extends "HEAD" ? Handlers extends { GET: infer Res } ? Res : res.Error<405, "Method Not Allowed\n"> & hs.Allow<AllowedMethods<Handlers>> : res.Error<405, "Method Not Allowed\n"> & hs.Allow<AllowedMethods<Handlers>> : res.Error<404, "Not Found\n">; type AllowedMethods<Handlers> = utils.Join< utils.UnionToTuple<"GET" extends keyof Handlers ? "HEAD" | keyof Handlers : keyof Handlers>, ", " >;
24. まとめ • tsc.rip の裏では型レベル Web アプリケーションが動いていた • TypeScript 万歳 • 型レベルで Web アプリケーションを書くのはおすすめしません
25. おまけ • https://github.com/susisu/tsserver に公開版のサーバー実装があります