ScalaCool

ZIO 是最近 Scala 社区非常热门且与众不同的 IO Monad 实现，本专题我们会从各个角度分析 ZIO 和 Cats-Effect 等 IO Monad 的设计。 是一个定义了函数 flatMap 和 pure 的很常见的 Typeclass（也有其他的形式，就不具体…

在 Java 之后，JVM 平台上出现了一些其他的编程语言，Scala 和 Kotlin 可以算是其中的佼佼者。Scala 已成为大数据领域的明星，Kotlin 在 2017 年 Google IO 大会之后，俨然也成为了安卓平台潜力巨大的官方支持语言。他们都被冠以“更好的Ja…

在上一篇介绍高阶类型的文章中，我们引出了 Typeclass 这个概念，并且演示了如何在 Kotlin 中模拟高阶类型，以及实现了一个 Kotlin 版本的 Functor。 如果你只是一个 Kotlin 开发者，相信你很难说服自己用这种方式进行程序设计。的确，在缺少高阶类型这…

最近阅读一些关于 Kotlin 类型系统方面的书，发现 Kotlin 的类型系统针对 null 有着独特的设计哲学。在 Java 或者其它编程语言中，经常会出现 NullPointerException，而导致此异常的重要原因是因为你可以写 String s = null 这样…

我们在Dive Into Kotlin（二）：Kotlin 类型结构设计中已经对Kotlin的类型系统进行过大致的介绍。 文中提到过： Any 类型是 Kotlin 中 所有非空类型（ex: String, Int) 的根类型。 当我们需要和 Java 互操作的时候，Kotli…

Traits特质，一个我们既熟悉又陌生的特性。熟悉是因为你会发现它和你平时在Java中使用的interface接口有着很大的相似之处，而陌生又是因为Traits的新玩法会让你打破对原有接口的认知，进入一个更具有挑战性，玩法更高级的领域。所以，在一开始，我们可以对Traits有一…

我们已经知道函数式是一种更加抽象的编程思维方式，它所做的事情就是高度抽象业务对象，然后对其进行组合。 谈及抽象，你在 Java 中会经常接触到一阶的参数多态，这也是我们所熟悉的泛型。利用泛型多态，在很大程度上可以减少大量相同的代码。然而，当我们需要更高阶的抽象的时候，泛型也避免…

在上篇 Java 到 Scala 系列中，我想你或多或少在语言特性上对object有了一定的掌握，在了解完它酷酷的语言特性——让静态回归常态并能简单运用其衍生出的方法后，我今天就来谈谈在现实应用方面自己对它的理解，不知道是不是也会给你一种耳目一新的感觉，毕竟「单例对象」作为一种…

object是一种让静态回归常态、打破模式、天然的语言特性。 其实在写这篇文章之前，我思绪万千，迟迟不能落笔，总想着自己会不会遗漏了某个知识点，或者有讲得不太那么准确的地方，但是后来我想明白了，学习一样东西，最重要的并不是要了解它的每一个细节，而是要了解它的核心思想。如果你能够…