在哪里可以找到Scala类型推断的详细信息？

发布时间：2020-12-16 10:02:24 所属栏目：安全来源：网络整理

导读：我想了解类型检查/算法是如何工作的.它非常复杂,而且有很多案例.是否有任何好的教程/文档(我知道语言规范,但IMO,它太难阅读). 我只想了解Scala的类型推理如何在幕后工作的细节. 解决方法它实际上并不复杂.一个非常简洁的描述可以在Odersky / Spoon / Venner

我想了解类型检查/算法是如何工作的.它非常复杂,而且有很多案例.是否有任何好的教程/文档(我知道语言规范,但IMO,它太难阅读).

我只想了解Scala的类型推理如何在幕后工作的细节.

解决方法

它实际上并不复杂.一个非常简洁的描述可以在Odersky / Spoon / Venners的书“Scala编程”(第1版;第二版,我相信它是第16.10节)的第16.9节中找到：

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

因此,如果这太基础了,也许以下文章可以帮助您：

> Vincent Cremet,Fran?oisGarillot,Sergue?Longlet和Martin Odersky,“Scala类型检查的核心微积分”,载于：计算机科学讲义,2006年,第4162/2006期,第1-23页,DOI：10.1007 / 11821069_1(Springer) .

You can find an accessible PDF version通过谷歌学术搜索.

或者您可能想要查看https://github.com/scala/scala/blob/2.12.x/src/compiler/scala/tools/nsc/typechecker/Infer.scala中Scala 2.12.x的来源.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!