#author("2018-10-14T13:01:28+00:00","default:admin","admin") *制御構文 [#n2beffa4] *例外機構 [#d3fbcbc8] -try-catch-finally *GC [#edd79a99] *クラスやオブジェクト [#u1cbc30e] *継承機構 [#n62194f7] *ラムダ式 [#r9766ce3] *マクロ [#sdd96c97] *モナドの do 記法 [#l1e6fb8d] *型検査と型推論 [#q6fed352] -型検査 ... 全ての変数 (や関数) の型が宣言されている言語で,型の整合性 を検査すること -型推論 ... 変数 (や関数) の型が必ずしも宣言されていない言語で,その型 を推論しつつ,型の整合性を検査すること *その他 [#p728601b] -ダックタイピング