Matsuura Tomoya Research Note
検索
Search
ダークモード
ライトモード
リーダーモード
Home
❯
構造的部分型
構造的部分型
2025/08/18
1 min read
stub
グラフビュー
バックリンク
Erg
Row Polymorphism
mimiumのレコード型
mimiumの型推論
Recent writing
mimiumのMIRコンパイル過程を真面目に考える
2025/09/25
mimium
関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム
2025/09/25
paper
mimiumでのライブコーディングエンジン
2025/09/25
mimium
livecoding