花花子

为我们的函数式 DSL 添加外部作用，让它优雅地支持各种可能的流式 IO。通过约束局部作用保证没有意外发生。

本质先于形式。了解函数式编程中基于法则的纯代数式接口。基于类型推导构建通用的组合子原语集，然后编写 DSL 解决问题。

介绍 Scala 围绕泛型设计的类型系统。包括类型约束，高阶类型，类型 Lambda，以及利用型变实现拓展。

介绍如何在组合类中分析线程安全性；简要介绍 Java 提供的更好的并发工具；通过实例演示高效且安全的缓存。

本章基于最新的 Akka Typed & Scala 3 探索内容，介绍常用的设计模式，以及路由机制。

基于 FP 范式设计一个 JSON 解析器。用代数式设计进行抽象：以关系代数描述类型，而非内在表现。

快速构建 Python 工程，快速了解 Python 基础语法，快速了解 Python 多范式设计模式。

为了创建一个可以实际运行的系统，首先介绍 Akka 的配置；然后介绍日志框架；最后，使用插件进行本地发布。

VLDB 2021，FLAT：Fast, Lightweight and Accurate Method for Cardinality Estimation