Erg
https://gyazo.com/13f8d5b7181c5a3b4e618627c707e23f
Ptyhon互換の型安全な言語
開発者は
@mtshiba
website
github
Rust実装
依存型がある
篩型がある
Dyne
というVM
Python VMの独自実装
Python互換の静的型付け言語「Erg」
未踏'23を終えて | A Study in Gray Cells
未踏
#プログラミング言語