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

tsc.ripを支える技術 id:susisu / 2026-08-22 Kyoto.なんか #8

こんにちは • id:susisu です • 株式会社はてな Webアプリケーションエンジニア/ シニアエンジニア • 文字はデカければデカいほど
良い

tsc.rip • 2026 年 7 月 8 日に TypeScript 7.0
がリリース • コンパイラ (tsc) の実装が TypeScript から Go に移植され高速化 • tsc.rip はこれを記念して作った Web サイト

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront • Lambda
(Function URL) • Go 製 Web サーバー + Lambda Web Adapter

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront S3 で良いのでは?
• Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter

$ curl https://tsc.rip ポブラウザと curl でレスンスが異なる

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront CloudFront Functions
で向き先の S3 オブジェクトを変えたら良いのでは? • Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter

$ curl https://tsc.rip/echo \ -XPOST -dHello ディを処理するエンドポボリクエスト
イントもある

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront 静的??? •
Lambda (Function URL) • Go 製 Web サーバー + Lambda Web Adapter

嘘は一つもない。どういうこと? • AWS 静的サイト激安 • CloudFront • Lambda (Function
URL) • Go 製 Web サーバー + Lambda Web Adapter

$ curl https://tsc.rip -i X-Type-Instantiations ヘッダ???

嘘は一つもない。どういうこと? • 答え: 型レベル Web アプリケーションだったから。リクエストのハンドリングは、すなわち「静的検査」だったのだ。

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront • Lambda
(Function URL) 主犯格とみられる人物 • Go 製 Web サーバー + Lambda Web Adapter

tsc.rip を支える技術 (裏) • Go 製 Web サーバー • typescript-go
を組み込み • リクエストを型に変換 → 型を評価 → 型をレス • TypeScript の型で書かれたアプリケーションポ • export type Handle<Req> = Res; ンスに変換

型を評価する方法 • tsc のコンパイルエラーを見る • Language Server を使う • Compiler
API を使う

tsc のコンパイルエラー • 意図的に型エラーを発生させ、メッセージに含まれる型情報を抽出する • 長い型はデフォルトで省略されるが、--noErrorTruncation オプションで回避できる • リクエストごとにプロセスを起動するので遅い
• RIP 感はある

Language Server • サブプロセスとして Language Server を起動して通信する • 長い型はデフォルトで省略されるが、オプションで回避できる (らしい)
• 今回は次の Compiler API を使ったので詳細未検討

Compiler API • サーバーにコンパイラ自体をライブラリとして組み込む • TypeScript 実装では API が公開されている •
Go 実装では (少なくとも現時点では) 非公開 (internal 以下) だが、ハックすると無理やり使うことはできる

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

Compiler API • Compiler API が使えるようになったが、使い方がわからない • Fable「マカセテ」 • 調査任せてたらなんかプロトタイプできたとか言ってきたので採用

型レベル Web アプリ • アプリ本体はリクエストを引数に取ってレスンスを返す型エイリアス • export type Handle<Req>
= Res; • ルーティングやヘッダ、ディの解釈などは基本的に全てアプリ側で実装 • Content-Length の計算など一部 Go 側に任せているものもあるートしていないので実用には向かないポポボ • ストリームや副作用はサ

型レベル 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">; }; // ... };

型レベル 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>, ", " >;

まとめ • tsc.rip の裏では型レベル Web アプリケーションが動いていた • TypeScript 万歳 •
型レベルで Web アプリケーションを書くのはおすすめしません

おまけ • https://github.com/susisu/tsserver に公開版のサーバー実装があります

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

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

Susisu

More Decks by Susisu

Other Decks in Programming

Featured

Transcript

tsc.ripを支える技術 id:susisu / 2026-08-22 Kyoto.なんか #8

こんにちは • id:susisu です • 株式会社はてな Webアプリケーションエンジニア/ シニアエンジニア • 文字はデカければデカいほど

tsc.rip • 2026 年 7 月 8 日に TypeScript 7.0

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront • Lambda

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront S3 で良いのでは?

$ curl https://tsc.rip ポブラウザと curl でレスンスが異なる

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront CloudFront Functions

$ curl https://tsc.rip/echo \ -XPOST -dHello ディを処理するエンドポボリクエスト

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront 静的??? •

嘘は一つもない。どういうこと? • AWS 静的サイト激安 • CloudFront • Lambda (Function

$ curl https://tsc.rip -i X-Type-Instantiations ヘッダ???

嘘は一つもない。どういうこと? • 答え: 型レベル Web アプリケーションだったから。リクエストのハンドリングは、すなわち「静的検査」だったのだ。

tsc.rip を支える技術 • AWS 静的サイト激安 • CloudFront • Lambda

tsc.rip を支える技術 (裏) • Go 製 Web サーバー • typescript-go

型を評価する方法 • tsc のコンパイルエラーを見る • Language Server を使う • Compiler

Language Server • サブプロセスとして Language Server を起動して通信する • 長い型はデフォルトで省略されるが、オプションで回避できる (らしい)

Compiler API • サーバーにコンパイラ自体をライブラリとして組み込む • TypeScript 実装では API が公開されている •

Compiler API // server/typeeval/go.mod // github.com/microsoft/typescript-go を自称すると internal 以下も使える module

Compiler API • Compiler API が使えるようになったが、使い方がわからない • Fable「マカセテ」 • 調査任せてたらなんかプロトタイプできたとか言ってきたので採用

型レベル Web アプリ • アプリ本体はリクエストを引数に取ってレスンスを返す型エイリアス • export type Handle<Req>

型レベル Web アプリ export type Routes<Req extends req.Request> = {

型レベル Web アプリ export type Handle<Req extends req.Request> = Routes<Req>

まとめ • tsc.rip の裏では型レベル Web アプリケーションが動いていた • TypeScript 万歳 •

おまけ • https://github.com/susisu/tsserver に公開版のサーバー実装があります