scala - Scala の型推論の詳細はどこにありますか?

Question

型チェック/アルゴリズムの仕組みを理解したい。非常に複雑で、多くのケースがあります。これに関する優れたチュートリアル/ドキュメントはありますか (私は言語仕様を認識していますが、IMO は読みにくいです)。

Scala の型推論が内部でどのように機能するかの詳細が知りたいだけです。

Answer 1

実際にはそれほど複雑ではありません。非常に簡潔な説明は、Odersky/Spoon/Venners の著書「Programming in Scala」のセクション 16.9 にあります (第 1 版、第 2 版ではセクション 16.10 だと思います)。

http://www.artima.com/pins1ed/working-with-lists.html#16.9

---

したがって、これが基本的すぎる場合は、次の論文が役立つかもしれません。

• Vincent Cremet、François Garillot、Sergueï Lenglet、Martin Odersky 共著「A Core Calculus for Scala Type Checking」、in: Lecture Notes in Computer Science、2006、Volume 4162/2006、1-23、DOI: 10.1007/11821069_1 (Springer)。

アクセス可能な PDF バージョンは、Google Scholar から入手できます。

---

または、 https: //github.com/scala/scala/blob/2.12.x/​​src/compiler/scala/tools/nsc/typechecker/Infer.scala で Scala 2.12.x のソースを確認することもできます。