TypeScriptの良い特徴

1. アロー関数とアロー〈二重矢印記号〉を使った関数空間型の記述
2. declareを使った外部環境の型宣言
3. オンライン・プレイグラウンド

対応：

TypeScript	疑似言語
function	theorem
const	evidence
declare function	axiomatic theorem
declare const	axiomatic evidence
declare class -{}	variable (- : Prop)
{	proof
}	end

中身不明の型の宣言 declare type A; は無理。代わりに declare class A{}; 、これは型引数ではない型変数の宣言。

実際のdeclareの例：

declare const foo: number;
declare function greet(greeting: string): void;