programming-language Erg Programming Language Shibayama Shunsuke erg/README_JA.md at main · erg-lang/erg · GitHub 型システムがめちゃくちゃ高度。構造的部分型や篩型、依存型を含む高階多相など非常に強力な抽象化が使える その一方でPythonとの連携をめちゃくちゃ強化している。