Scala
5篇文章 · 0订阅
  • IO Monad 设计浅析（一）：Monad 和 MonadError
    ZIO 是最近 Scala 社区非常热门且与众不同的 IO Monad 实现，本专题我们会从各个角度分析 ZIO 和 Cats-Effect 等 IO Monad 的设计。 是一个定义了函数 flatMap 和 pure 的很常见的 Typeclass（也有其他的形式，就不具体…
    Scala 函数式编程
    IO Monad 设计浅析（一）：Monad 和 MonadError
  • Shapeless 入门指南（三）： Nat 和 implicit 在 shapeless 中的应用
    本文由 Jilen 发表在 ScalaCool 团队博客。 前面文章中，我们提及了 peano 数类型：Nat，并且展示了隐式转换这项 Scala 黑科技的应用。 可以看到这个方法，能返回正确的类型而不是 Any，并且能在编译时做越界检查。 然而调用时，仍旧需要手工指定 A 的…
    Scala
  • Asyncdb（三）：Java NIO
    本文由 GodPan 发表在 ScalaCool 团队博客。 上篇说了最基础的五种IO模型，相信大家对IO相关的概念应该有了一定的了解，这篇文章主要讲讲基于多路复用IO的Java NIO。 Java诞生至今，有好多种IO模型，从最早的Java IO到后来的Java NIO以及最…
    设计 后端 Java
  • Shapeless 入门指南（二）：自然数类型 Nat
    本文由 Jilen 发表在 ScalaCool 团队博客。 上一篇文章介绍了 shapeless 的重要功能：自动派生 typeclass 实例。 首先我们确定一下自然数只是一个符号系统，我们用 0，1，2，... 这些符号表示一些抽象的概念 shapeless 这里定义实际上…
    后端 Scala
  • Shapeless入门指南（一）：自动派生 typeclass 实例
    本文由 Jilen 发表在 ScalaCool 团队博客。 shapeless 是一个类型相关的库，提供了很多有趣的功能。 本文介绍其中一个重要功能：自动派生 typeclass 实例。 Hlist Shapeless 实现了 HList，不同于 Scala 标准库的 Tuple…
    编译器 后端 设计