[[Erg]]のドキュメントが参考になる

[[構造的部分型]]と[[単一化]]の組み合わせ方の参考になる

[erg/doc/JA/compiler/inference.md at main · erg-lang/erg · GitHub](https://github.com/erg-lang/erg/blob/main/doc/JA/compiler/inference.md)