プログラミング言語/言語機構のバックアップ(No.1) - PukiWiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ | ログイン ]

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
プログラミング言語/言語機構へ行く。
- 1 (2018-10-14 (日) 22:01:28)

制御構文 †

例外機構 †

try-catch-finally

GC †

クラスやオブジェクト †

継承機構 †

ラムダ式 †

マクロ †

モナドの do 記法 †

型検査と型推論 †

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

その他 †

ダックタイピング