最近オライリーのTypeScript本を読んでいるが、型システムが頭がおかしくて（褒めてる）とても面白い。 www.oreilly.co.jp TypeScriptでは、こんな感じの型レベル関数が定義できる。以下の Extract2 は T のうち、 U であるものを展開するというものである。…