Reconstructing TypeScript 元記事 TypeScriptの再構築 私は Programmable Matter  という「ドキュメント開発環境（document development environment)」- ドキュメント内でのライブコーディングをシンプルで TypeScript のようなプログラミング言語で行える開発環境 - の開発をしています。TypeScript の型システムは珍しくてとても面白く、実装方法を考えるのは楽しいものでした。 実際の TypeScript で書かれたこの言語(Programmable Matter内で使える言語)を部分的にサポートする型チェッカーを提示することで、TypeScript の何が面白くて珍しいのかを掘り下げていこうと思います。小さな部分的な機能から始まり、回を重ねるごとに少しずつ機能を追加していきます。この最初の投稿では、コードの理解に役立つ前提知識の紹介をします。 型チェッカーとは何か？ これ以降の記事では読者がこれまでに型チェッカー(type checker)を使ったことがあり、型(type)と型チェック(type checking)の意味を理解していることを前提にして話を進めていきます。ただし最初にこれらの概念の簡単な紹介をしましょう。