Language design プログラミング言語設計のメモ 実行時意味論 評価戦略 参照 例外 コピーを減らす最適化 ごみ収集 (ガーベジコレクション) データ構造と型システム 代数的データ型 - 直積・直和・再帰 部分型付け 型の再構築 (型推論) 多相性 (多態性) 型演算子 依存型 抽象データ型 型クラス オブジェクト指向プログラミング 継承 メソッドのオーバーライド デストラクター スケーリング 関数の構成 - 名前付き引数・部分適用 名前空間 分割コンパイル - 型の先行宣言・ヘッダーファイル プログラムの解釈と設計 - モデルと実行時意味論と型の関係 データ変換 - 直列化・永続化・遠隔手続呼出 リンク ジェネリック: Java vs C# 検査例外と場合分けと多態性の話 - 直和型の話もある D 言語仕様所感 自然言語とプログラミング言語の文法・意味論・モデリングに関する思索 Literate プログラミングに関するつぶやき Future の実装方式に関するつぶやき