{"id":26317231,"url":"https://github.com/magicant/language-design","last_synced_at":"2026-01-02T12:50:08.095Z","repository":{"id":30180274,"uuid":"33730832","full_name":"magicant/language-design","owner":"magicant","description":"プログラミング言語設計のメモ","archived":false,"fork":false,"pushed_at":"2016-09-20T14:09:48.000Z","size":36,"stargazers_count":8,"open_issues_count":5,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2023-03-16T04:55:15.430Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/magicant.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-04-10T13:48:45.000Z","updated_at":"2022-08-17T04:28:12.000Z","dependencies_parsed_at":"2022-07-28T00:16:50.500Z","dependency_job_id":null,"html_url":"https://github.com/magicant/language-design","commit_stats":null,"previous_names":[],"tags_count":null,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/magicant%2Flanguage-design","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/magicant%2Flanguage-design/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/magicant%2Flanguage-design/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/magicant%2Flanguage-design/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/magicant","download_url":"https://codeload.github.com/magicant/language-design/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243732199,"owners_count":20338839,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-03-15T13:18:50.429Z","updated_at":"2026-01-02T12:50:08.055Z","avatar_url":"https://github.com/magicant.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# Language design\nプログラミング言語設計のメモ\n\n- 実行時意味論\n  - [評価戦略](evaluation.md)\n  - [参照](reference.md)\n  - [例外](exception.md)\n  - [コピーを減らす最適化](copyelision.md)\n  - [ごみ収集 (ガーベジコレクション)](gc.md)\n- データ構造と型システム\n  - [代数的データ型](algebraictype.md) - 直積・直和・再帰\n  - [部分型付け](subtyping.md)\n  - [型の再構築 (型推論)](typereconstruction.md)\n  - [多相性 (多態性)](polymorphism.md)\n  - [型演算子](typeoperator.md)\n  - [依存型](dependenttype.md)\n  - [抽象データ型](adt.md)\n  - [型クラス](typeclass.md)\n- オブジェクト指向プログラミング\n  - [継承](inheritance.md)\n  - [メソッドのオーバーライド](overriding.md)\n  - [デストラクター](destructor.md)\n- スケーリング\n  - [関数の構成](function.md) - 名前付き引数・部分適用\n  - [名前空間](namespace.md)\n  - [分割コンパイル](separatecompilation.md) - 型の先行宣言・ヘッダーファイル\n- プログラムの解釈と設計 - モデルと実行時意味論と型の関係\n- データ変換 - 直列化・永続化・遠隔手続呼出\n\n## リンク\n\n- [ジェネリック: Java vs C#](https://magicant.github.io/programmingmemo/genericsjavavscs.html)\n- [検査例外と場合分けと多態性の話](http://magicant.txt-nifty.com/main/2013/05/post-5cc9.html) - 直和型の話もある\n- [D 言語仕様所感](http://togetter.com/li/724805)\n- [自然言語とプログラミング言語の文法・意味論・モデリングに関する思索](https://twitter.com/tnacigam/status/739299546665078785)\n- [Literate プログラミングに関するつぶやき](https://twitter.com/tnacigam/status/772813631339671553)\n- [Future の実装方式に関するつぶやき](https://twitter.com/tnacigam/status/778219552110891008)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmagicant%2Flanguage-design","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmagicant%2Flanguage-design","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmagicant%2Flanguage-design/lists"}