【文件属性】：
文件名称：scala-implicits:Scala 的隐式元编程教程
文件大小：16KB
文件格式：ZIP
更新时间：2021-06-30 01:41:08
Scala
#Scala 中的隐式元编程
{toc}
这是一篇类似教程的简短文本，基于我关于滥用 Scala 的类型推断和隐式解析算法的演讲，以便我们获得一种类似于逻辑编程的编译时类型级元编程。 本教程假设读者对 Scala 语言和泛型有一些基本的了解。 如果你已经了解了隐式，你也可以跳过第一章。 逻辑编程知识不是必需的，但从长远来看是有用的。
10 位 Scala 专家中有 9 位认为启动 Scala 解释器并处理代码片段是个好主意。 请注意，在解释器中，类及其伴生对象必须在同一个 go 中输入。 为此，建议使用:paste 。
注意：“iff”不等于“if”。 我用“当且仅当”的意思使用。
本文大致基于 Scala 2.10.4。 可能存在不反映当前语言标准的陈述（无论是撰写本文时的标准还是更新的标准）。 如果您发现本教程与实际存在任何差异，请通知作者。 谢谢。
也热烈欢迎任何其他评论（
【文件预览】：
scala-implicits-master
----4-hlist-zip-values.scala(702B)
----2-data-as-types.scala(2KB)
----a-there-is-no-prolog-in-your-scala.pl(105B)
----LICENSE(1KB)
----.gitignore(187B)
----a-there-is-no-prolog-in-your-scala.scala(247B)
----3-hlist-zip-types.scala(616B)
----README.md(33KB)
----5-hlist-of-functions-to-function-of-hlists.scala(1KB)