Shapeless入门指南
3篇文章 · 0订阅
  • Shapeless入门指南（一）：自动派生 typeclass 实例
    本文由 Jilen 发表在 ScalaCool 团队博客。 shapeless 是一个类型相关的库，提供了很多有趣的功能。 本文介绍其中一个重要功能：自动派生 typeclass 实例。 Hlist Shapeless 实现了 HList，不同于 Scala 标准库的 Tuple…
    编译器 后端 设计
  • Shapeless 入门指南（三）： Nat 和 implicit 在 shapeless 中的应用
    本文由 Jilen 发表在 ScalaCool 团队博客。 前面文章中，我们提及了 peano 数类型：Nat，并且展示了隐式转换这项 Scala 黑科技的应用。 可以看到这个方法，能返回正确的类型而不是 Any，并且能在编译时做越界检查。 然而调用时，仍旧需要手工指定 A 的…
    Scala
  • Shapeless 入门指南（二）：自然数类型 Nat
    本文由 Jilen 发表在 ScalaCool 团队博客。 上一篇文章介绍了 shapeless 的重要功能：自动派生 typeclass 实例。 首先我们确定一下自然数只是一个符号系统，我们用 0，1，2，... 这些符号表示一些抽象的概念 shapeless 这里定义实际上…
    后端 Scala