Matsuura Tomoya Research Note

Home

❯

構造的部分型

構造的部分型

2025/08/181 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

作成 Quartz v4.5.1 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub