📝は書きかけのメモ、🧠は脳内ダダ漏れ。🗑はゴミ。

言語開発

12/11 値と型は分けるべき

型推論

📝単一化

📝文法の特色

📝プログラミング言語設計の気づき

📝型構築子と型クラス

📝型と値

📝型の内包関係について考える

構文木データと値を統合する

📝バリアント型の実装

12/18 print関数について

列挙型 (TyEnum, Enum)

12/22 マクロ、1ステップ評価

12/23 ASTと値を分離する

12/27 Fn, infer

12/18 Eval, Infer, Log

12/30 Subtyping relationshop of vectors