TypeScriptで超絶変態型計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)

TypeScriptのジェネリック型定義を使って、コンパイル時にフィボナッチ数を計算してみます。面白いだけで、役には立ちません。$`\newcommand{\mrm}[1]{\mathrm{#1} }`$ 内容： はじめに フィボナッチ数： 数の計算の場合 型の世界の順序・型・関数 型の世界のブーリアンと自然数 ニューメラル・カインド フィボナッチ数： 型の計算の場合 おわりに はじめに TypeScriptコンパイラ〈トランスパイラ〉にフィボナッチ数を計算させたいと思います。計算するのは、JavaScriptエンジンではなくて、TypeScriptコンパイラです*1。fib.ts というファイルを tsc fib.ts というコマンドでコンパイルすると、空っぽのJavaScriptファイルが生成されます。計算はコンパイルの過程で行われるので、出力ファイルに意味はないのです。 なんでまた「