TypeScript、型レベルで何でも出来そうな雰囲気を醸し出しているが、実際には出来ない事も多い。例えば、文字列リテラル型を利用して正規表現を真似る事は出来ない様だ。