IO Monad 入门指南（二）： 处理回调式的异步操作
基于回调的异步操作是非常常见的，本文我们尝试用 IO Monad 抽象此类操作
IO Monad 入门指南（一）：Monad 和 MonadError
ZIO 是最近 Scala 社区非常热门且与众不同的 IO Monad 实现，本专题我们会从各个角度分析 ZIO 和 Cats-Effect 等 IO Monad 的设计。
从 Java 到 Scala，再到 Kotlin
本文我们会通过对比 Java、Scala、Kotlin 这三门语言各自的发展路线，来认识 Kotlin 的设计哲学。
Cats（四）：Typeclass
在上一篇介绍高阶类型的文章中，我们引出了 Typeclass 这个概念，本文将更加详细地认识它，并介绍如何使用 Cats 中的 Typeclass。
关于书籍《Kotlin核心编程》
本页面是为了《Kotlin核心编程》这本而构建的，主要讨论和该书中涉及的相关技术和勘误说明，也欢迎任何关于本书内容的讨论，谢谢！
Kotlin Type? vs Scala Option
最近阅读一些关于 Kotlin 类型系统方面的书，发现 Kotlin 的类型系统针对 null 有着独特的设计哲学。
Dive Into Kotlin（四）：为什么 Kotlin 的根类型是「Any?」
在 Kotlin 中，如果说 Any 是所有非空类型的根类型，那么 Any? 才是所有类型的根类型。
从 Java 到 Scala（四）：Traits
Traits在尝试着将抽象更好地融为一个整体。
Cats（三）：高阶类型
本篇文章会介绍 Scala 中的高阶类型，以及用它来简单介绍 Functor，并在 Kotlin 中模拟实现类似的效果。
前端重构范式之 position
本文旨在让你更深入地了解 position ,并为你提供一套使用 position 的范式，为你使用 position 提供一点建议和参考。
从 Java 到 Scala（三）：object 的应用
本文主要介绍object 的应用场景，让模式实现更简洁高效，希望对你有些许帮助。
从 Java 到 Scala（二）：object
object 是一种让静态回归常态、打破模式、天然的语言特性。
