这篇文档介绍了统一查询层的底层运行库 -- cats-effect.  统一查询层是个综合工程, 在这里我们选取其中的一个 -- apm module作为例子, 分析cats-effect的原理和具体用法. 

apm module是一个web service项目, 他连接了前端请求和后端数据存储. apm module提供的api基本遵循一个统一的模式:

前端请求q1 --> 将q1转化成即席查询请求q2 --> 从mysql补全q2的元信息 --> 发起即席查询(es/druid/prometheus), 获得结果q2 --> 将q2转化成前端需要的格式q1 --> 返回给前端

Create an empty git repo or reinitialize an existing one

$ git init

这篇文章的目的是让读者了解type-safety的重要性! 概念不限定语言, 虽然例子是用scala写的.

• A high-level definition
• Motivation
  • Complexity is the enemy of "scalability"
  • Static type-checking is our saver
  • Be more specific(stronger) in type systems
  • Facing the trade-offs
• To sum up

Scala(或者functional programming)中实现polymorphism的正确模式.

Type-safety is making use of what we know of our values at compile-time to minimize the consequences of most mistakes.