プログラミング言語/言語機構

制御構文 †

例外機構 †

• try-catch-finally

クラスやオブジェクト †

継承機構 †

ジェネリクス †

• 必要最低限に理解する、ジェネリクスと共変・反変

• さまざまなデータ型に共通のアルゴリズムや処理を型引数を用いてクラスや関数などの部品として記述し、あとでその部品を用いるときに型パラメータに対する具体的な型を決定するようなプログラミングスタイルをジェネリックプログラミングという
• 型引数とは関数やメソッドの引数とは異なった概念で、関数の引数や返り値に対するデータ型をいったんTなどの間に合わせの文字として仮決めしておいたもの

ラムダ式 †

マクロ †

モナド †

• モナド (プログラミング) - Wikipedia

型検査と型推論 †

• 型検査 ... 全ての変数 (や関数) の型が宣言されている言語で，型の整合性 を検査すること
• 型推論 ... 変数 (や関数) の型が必ずしも宣言されていない言語で，その型 を推論しつつ，型の整合性を検査すること

ダックタイピング †

• ダックタイピングって一体なんなのよ【golang】