制御構文 †
例外機構 †
クラスやオブジェクト †
継承機構 †
ジェネリクス †
- さまざまなデータ型に共通のアルゴリズムや処理を型引数を用いてクラスや関数などの部品として記述し、あとでその部品を用いるときに型パラメータに対する具体的な型を決定するようなプログラミングスタイルをジェネリックプログラミングという
- 型引数とは関数やメソッドの引数とは異なった概念で、関数の引数や返り値に対するデータ型をいったんTなどの間に合わせの文字として仮決めしておいたもの
ラムダ式 †
マクロ †
モナド †
型検査と型推論 †
- 型検査 ... 全ての変数 (や関数) の型が宣言されている言語で,型の整合性 を検査すること
- 型推論 ... 変数 (や関数) の型が必ずしも宣言されていない言語で,その型 を推論しつつ,型の整合性を検査すること
ダックタイピング †
|