#author("2018-10-14T13:18:28+00:00","default:admin","admin") #author("2018-10-14T13:23:08+00:00","default:admin","admin") *制御構文 [#n2beffa4] *例外機構 [#d3fbcbc8] -try-catch-finally *クラスやオブジェクト [#u1cbc30e] *継承機構 [#n62194f7] *ジェネリクス [#n5a59480] -[[必要最低限に理解する、ジェネリクスと共変・反変:http://system.blog.uuum.jp/entry/2017/12/28/110000]] -さまざまなデータ型に共通のアルゴリズムや処理を型引数を用いてクラスや関数などの部品として記述し、あとでその部品を用いるときに型パラメータに対する具体的な型を決定するようなプログラミングスタイルをジェネリックプログラミングという -型引数とは関数やメソッドの引数とは異なった概念で、関数の引数や返り値に対するデータ型をいったんTなどの間に合わせの文字として仮決めしておいたもの *ラムダ式 [#r9766ce3] *マクロ [#sdd96c97] *モナド [#sf61f00b] -[[モナド (プログラミング) - Wikipedia:https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%8A%E3%83%89_%28%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%29]] *型検査と型推論 [#q6fed352] -型検査 ... 全ての変数 (や関数) の型が宣言されている言語で,型の整合性 を検査すること -型推論 ... 変数 (や関数) の型が必ずしも宣言されていない言語で,その型 を推論しつつ,型の整合性を検査すること *その他 [#p728601b] -ダックタイピング *ダックタイピング [#g7b13783] -[[ダックタイピングって一体なんなのよ【golang】:http://otiai10.hatenablog.com/entry/2014/01/15/210445]]