Matsuura Tomoya Research Note

Home

❯

Erg

Erg

2025/08/071 min read

programming-language

Erg Programming Language

Shibayama Shunsuke

erg/README_JA.md at main · erg-lang/erg · GitHub

  • 型システムがめちゃくちゃ高度。構造的部分型や篩型、依存型を含む高階多相など非常に強力な抽象化が使える

  • その一方でPythonとの連携をめちゃくちゃ強化している。


グラフビュー

バックリンク

  • Language Server Protocol
  • mimiumの型推論

Recent writing

  • BEAM VM

    2025/10/08

    • stub
  • 関数型信号処理プログラミング言語のソース変更時に内部状態を差分保持するシステム

    2025/10/08

    • paper
  • Prism.js

    2025/10/07

    • programming
    • library

作成 Quartz v4.5.1 © 2025

  • Top
  • Mastodon
  • Twitter
  • GitHub