r o v , C a r s t en B r a n d t , K l i m o v P a u l , a n d m a n y co n t r i b u t o r s f r o m t h e Y i i co m m u n i t y 简体中文 t r a n s l a t i o n p r o v i d ed b y : h t t p s : / / w w w 软 轰 轹 轲 轩 轧 轨 轴 輲 輰 輱 輴 轙 轩 轩 轓 软 车 轴 轷 轡 轲 轥 轌 轌 轃 輮 轁 转 转 轒 轩 轧 轨 轴 轳 轒 轥 轳 轥 轲 轶 轥 轤 輮 C o n t e n t s 匱 介 介 介绍 绍 绍（ （ （卉 卮 却 卲 卯 卤 卵 卣 却 卩 卯 卮 ） ） ） 匱 輱 輮 輱 轙 轩 轩 是什么 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 助手类（轕 轲 转 轈 轥 转 轰 轥 轲 ） 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輮 輵 輲 輸 C h a p t e r 1 介 介 介绍 绍 绍（ （ （I n t r o d u c t i o n ） ） ） 1 . 1 Y i i 是 是 是什 什 什么 么 么 轙 轩 轩 是一个高性能，基于组件的 轐 轈 轐 框架，用于快速开发现代 轗

. 524 /metadata/${databaseName}/rules/sharding/tables/t_order/versions/0 . . . . . . 525 /metadata/databaseName/schemas/{schemaName}/tables/t_order/versions/0 . . 525 /nodes/compute_nodes . . . . on the underlying database, which can scale computing and storage horizontally. D is tr ib ut ed T ra ns ac ti on Transactional capability is key to ensuring database integrity and security and is endings, are t_order_0 to t_order_9, and their logical table names are t_order. Actual Table Physical tables that exist in the horizontally sharded databases. Those are, t_order_0 to t_order_9 in the

，支持任意数量的 调用。即泛型 func Add(a, b T) T{ return a+b } Add(1, 2) // 编译器生成 T = int 的 Add Add(float64(1.0), 2.0) // 编译器生成 T = float64 的 Add Add("1", "2") // 编译器生成 T = string 的 Add 2020 © Changkun 时，a、b、返回值都可以在运行时表现为不同类型，取决于内部 实现如何对参数进行断言： type T interface { ... } func Max(a, b T) T { ... } // T 是接口 当使用泛型时，a、b、返回值必须为同一类型，类型参数施加了这一强制性保障： func Max(a, b T) T { ... } // T 是类型参数 泛型的总体目标就是：快且安全。在 这里： 快 意味着静态类型 在标识符后使用 (t) 作为类型参数的缺省值，语法存在二义性 ○ 既可以表示使用 类型参数 Greater(t)，也可以表示实例化一个 具体类型 Greater(t)，其中 t 为推导的具体类型，如 int ○ 为了解决二义性，使用 type 进行限定：Vector(t type) func F(arg0, arg1 t type) t { … } ● 使用接口 Greater(t) 对类型参数进行约束，跟在

. 459 /metadata/${databaseName}/rules/sharding/tables/t_order/versions/0 . . . . . . 460 /metadata/databaseName/schemas/{schemaName}/tables/t_order/versions/0 . . 460 /nodes/compute_nodes . . . . 中表的逻辑标识。例：订单数据根据主键尾数拆 分为 10 张表，分别是 t_order_0 到 t_order_9，他们的逻辑表名为 t_order。 8.1. 数据分片 21 Apache ShardingSphere document 真实表 在水平拆分的数据库中真实存在的物理表。即上个示例中的 t_order_0 到 t_order_9。 绑定表 指分片规则一致的一组分片表。使用绑定 卡尔积关联或跨库关联，从而影响查询效率。例如：t_order 表和 t_order_item 表，均按照 order_id 分片，并且使用 order_id 进行关联，则此两张表互为绑定表关系。绑定表之间的多表关联查询不会出 现笛卡尔积关联，关联查询效率将大大提升。举例说明，如果 SQL 为： SELECT i.* FROM t_order o JOIN t_order_item i ON o.order_id=i

okay, toFixed exists (but the compiler doesn't check) 4. 5. let prettySure: Object = 4; 6. prettySure.toFixed(); // Error: Property 'toFixed' doesn't exist on type 'Object'. 注意：应避免使用 Object ，而是使用非原始 reference 'a' 6. let b = a + 1; 7. return b; 8. } 9. 10. // Error: 'b' doesn't exist here 11. return b; 12. } 这里我们定义了2个变量 a 和 b 。 a 的作用域是 f 函数体内，而 b 的作用域是 if 语 句块里。 "oh no!"; 3. } 4. catch (e) { 5. console.log("Oh well."); 6. } 7. 8. // Error: 'e' doesn't exist here 9. console.log(e); 拥有块级作用域的变量的另一个特点是，它们不能在被声明之前读或写。 虽然这些变量始终“存在”于 它们的作用域里，但在直到声明它的代码之前的区域都属于_暂时性死区_。

. 485 /metadata/${databaseName}/rules/sharding/tables/t_order/versions/0 . . . . . . 486 /metadata/databaseName/schemas/{schemaName}/tables/t_order/versions/0 . . 486 /nodes/compute_nodes . . . . 中表的逻辑标识。例：订单数据根据主键尾数拆 分为 10 张表，分别是 t_order_0 到 t_order_9，他们的逻辑表名为 t_order。 8.1. 数据分片 21 Apache ShardingSphere document 真实表 在水平拆分的数据库中真实存在的物理表。即上个示例中的 t_order_0 到 t_order_9。 绑定表 指分片规则一致的一组分片表。使用绑定 卡尔积关联或跨库关联，从而影响查询效率。例如：t_order 表和 t_order_item 表，均按照 order_id 分片，并且使用 order_id 进行关联，则此两张表互为绑定表关系。绑定表之间的多表关联查询不会出 现笛卡尔积关联，关联查询效率将大大提升。举例说明，如果 SQL 为： SELECT i.* FROM t_order o JOIN t_order_item i ON o.order_id=i

o n t e n t s 1 I d r i s 教 教 教程 程 程 2 2 常 常 常见 见 见问 问 问题 题 题解 解 解答 答 答（ （ （F A Q ） ） ） 64 3 用 用 用 I d r i s 实 实 实现 现 现带 带 带有 有 有状 状 状态 态 态的 的 的系 系 系统 统 统： ： ：S T 教 教 教程 程 程 69 4 Th e E ff e c t s Tu Tu t or i al 102 5 Th e or e m P r ov i n g 136 6 L an gu age R e f e r e n c e 147 7 Tu t or i al s on t h e I d r i s L an gu age 215 注 注 注解 解 解: 奉 奤 奲 奩 女 文档已按照 创 创 创作 作 作共 共 共用 用 用 C C 0 许 许 许可 夺 夯夯奣 奲 奥 奡奴 奩 奶 奥 奣 奯奭 奭 奯奮 女 央 奯奲 奧夯奰 奵 奢 奬 奩 奣 奤 奯奭 奡奩 奮 夯奺 奥 奲 奯夯失央 夰夯奤 奥 奥 奤 央 奺 奨 失 C H AP T E R 1 I d r i s 教程 本文档为 奉 奤 奲 奩 女 的教程，它简单介绍了如何用 奉 奤 奲 奩 女 语言编程。 文档中覆盖了该语言的核心特性，并假 定你至少熟悉一门函数式编程语言，如

438 ix /metadata/${databaseName}/rules/sharding/tables/t_order/versions/0 . . . . . . 439 /metadata/databaseName/schemas/{schemaName}/tables/t_order/versions/0 . . 439 /nodes/compute_nodes . . . . 中表的逻辑标识。例：订单数据根据主键尾数拆 分为 10 张表，分别是 t_order_0 到 t_order_9，他们的逻辑表名为 t_order。 8.1. 数据分片 21 Apache ShardingSphere document 真实表 在水平拆分的数据库中真实存在的物理表。即上个示例中的 t_order_0 到 t_order_9。 绑定表 指分片规则一致的一组分片表。使用绑定 卡尔积关联或跨库关联，从而影响查询效率。例如：t_order 表和 t_order_item 表，均按照 order_id 分片，并且使用 order_id 进行关联，则此两张表互为绑定表关系。绑定表之间的多表关联查询不会出 现笛卡尔积关联，关联查询效率将大大提升。举例说明，如果 SQL 为： SELECT i.* FROM t_order o JOIN t_order_item i ON o.order_id=i

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263 何时使用 T、Ptr{T} 以及 Ref{T} . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263 25.3 Mapping C Functions named after someone or something? . . . . . . . . . . . . . . . . . . . . . . . . . . . 357 Why don’t you compile Matlab/Python/R/⋯code to Julia? . . . . . . . . . . . . . . . . . . . . . 357 38.2 会话和 Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1169 Object layout (jl_value_t) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1169 CONTENTS xvii Garbage

当前绝大部分企业的业务数据都分散在不同的系统中，没有一个统一的汇总，随着业务的发展，企业 的决策层需要了解整个公司的业务状况以便及时做出决策，故需要将分散在各个系统的数据汇聚在同 一个系统并进行二次加工处理生成 T+0 或 T+1 的报表。传统常见的解决方案是采用 ETL + Hadoop 来完成， 但 Hadoop 体系太复杂，运维、存储成本太高无法满足用户的需求。与 Hadoop 相比，TiDB 就简单得多， 业务通过 TiFlash 节点上 #24724 – 支持执行 MPP 查询后将缓存中过时的 Region 无效化 #24432 – 提升内置函数 str_to_date 在格式指定器中 %b/%M/%r/%T 的 MySQL 兼容性 #25767 – 修复因对同一条查询重复创建不同 binding 可能导致的多个 TiDB 上 binding cache 不一致的问题 #26015 – 修复升级可能会导致的 ，则 TiDB 会用该列来标识行。因 此会有以下的示例情况： mysql> CREATE TABLE t(id INT UNIQUE KEY AUTO_INCREMENT); Query OK, 0 rows affected (0.05 sec) mysql> INSERT INTO t VALUES(),(),(); Query OK, 3 rows affected (0.00 sec)