https://github.com/magicant/language-design
プログラミング言語設計のメモ
https://github.com/magicant/language-design
Last synced: 5 months ago
JSON representation
プログラミング言語設計のメモ
- Host: GitHub
- URL: https://github.com/magicant/language-design
- Owner: magicant
- Created: 2015-04-10T13:48:45.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2016-09-20T14:09:48.000Z (over 9 years ago)
- Last Synced: 2023-03-16T04:55:15.430Z (about 3 years ago)
- Size: 35.2 KB
- Stars: 8
- Watchers: 2
- Forks: 0
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Language design
プログラミング言語設計のメモ
- 実行時意味論
- [評価戦略](evaluation.md)
- [参照](reference.md)
- [例外](exception.md)
- [コピーを減らす最適化](copyelision.md)
- [ごみ収集 (ガーベジコレクション)](gc.md)
- データ構造と型システム
- [代数的データ型](algebraictype.md) - 直積・直和・再帰
- [部分型付け](subtyping.md)
- [型の再構築 (型推論)](typereconstruction.md)
- [多相性 (多態性)](polymorphism.md)
- [型演算子](typeoperator.md)
- [依存型](dependenttype.md)
- [抽象データ型](adt.md)
- [型クラス](typeclass.md)
- オブジェクト指向プログラミング
- [継承](inheritance.md)
- [メソッドのオーバーライド](overriding.md)
- [デストラクター](destructor.md)
- スケーリング
- [関数の構成](function.md) - 名前付き引数・部分適用
- [名前空間](namespace.md)
- [分割コンパイル](separatecompilation.md) - 型の先行宣言・ヘッダーファイル
- プログラムの解釈と設計 - モデルと実行時意味論と型の関係
- データ変換 - 直列化・永続化・遠隔手続呼出
## リンク
- [ジェネリック: Java vs C#](https://magicant.github.io/programmingmemo/genericsjavavscs.html)
- [検査例外と場合分けと多態性の話](http://magicant.txt-nifty.com/main/2013/05/post-5cc9.html) - 直和型の話もある
- [D 言語仕様所感](http://togetter.com/li/724805)
- [自然言語とプログラミング言語の文法・意味論・モデリングに関する思索](https://twitter.com/tnacigam/status/739299546665078785)
- [Literate プログラミングに関するつぶやき](https://twitter.com/tnacigam/status/772813631339671553)
- [Future の実装方式に関するつぶやき](https://twitter.com/tnacigam/status/778219552110891008)