8 lines
283 B
Markdown
8 lines
283 B
Markdown
|
|
[[型推論]]
|
|
|
|
[[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) |