第三届中国 Rust 开发者大会 王俊吉 RustBelt - Rust 的形式化语义模型 Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow

— Oleg Kiselyov 目录 CONTENTS 提供语法和语义的语言不仅仅是工具， 还是思维方式 表达能力的极限，由内破除， 还是从外破除？ Moshmosh： 我的Python不可能这么甜美清新 下班时在干什么？有没有空？可以来contribute吗? 1 提供语法和语义的语言 不仅仅是工具， 还是思维方式 “语言只是工具”是现代社会最为荒谬的说法之一。 人们不得不成规模地重复工作，或是任由冗余在codebase里猖獗； 抛弃更深远的抽象和语义，最终代码的编写成为了让人烦恼的苦力。 Python是有极限的！我不写Python了！ 摆 脱 编 程 语 言 给 你 的 限 制 ？ 我们不继续谈语言和思维的问题了，也不谈一些高级的特性是多么 make sense却没有支持。 就说Python。Python是有极限的，只从语义语法上讲。 和性能、GIL相关的问题我们放在一边。 1 当 然地会使用Python。Python作为我第一门深入钻研的通用编 程语言，放弃是不能放弃的。 所以要想办法从Python现有的语法限制中脱身。 解放我的Python世界！ 我预期的语法(及语义) 扩展系统: 1. 首行用moshmosh? 标志模块 2. +extension名 (extension参数)开 启扩展 3. -extension名 (extension参数)关 闭扩展

解放Python的 表达力，性能和安全性 Thautwarm 目录 CONTENTS 语法和语义扩展 JIT 静态类型 语法和语义扩展 表达力的扩展， 可用性的保留，白来的午餐？ 演示一小部分: 模式匹配, Quick Lambda, Pipe运算 语言决定思维模型 GNU-APL C++ Haskell 说 到 质 数 � 人 们 想 到 什 么 � 语言决定思维模型 语言决定思维模型 在 实 际 业 务 中 处 理 数 据 � Python 语言决定思维模型 语言中的语法和语义， 决定了 它真实的表达力。 大多数语言都不是“万金油” 的，这是客观事实。 但它们不够“万金油”的问题 来源，不一定是不能解决的。 扩展语言，开阔思维 我预期的语法(及语义) 扩展系统: 1. 首行用moshmosh? 标志模块 2. +extension名 (extension参数)开 只对源代码Loader 重写get_data方法 调用父get_data方法， 拿到源代码 moshmosh.extension. perform_extension 源码变换 扩展的语法和语义 并非naïve的，不卫生的 源码变换; 其作用是对 AST实现一层quote moshmosh/extension_register.py (只有45行) 科普: Python Import机制是怎样的？

vcpkg 装的库）。 科普：语义版本号（ semantic versioning ）系统 • 软件行业记录版本迭代普遍采用的是一套所谓的语义版本号系统，英文简称 semver 。 • 通常他的格式是三个用点分隔开来的十进制数字： .. • 例如： 1.2.0 ， 0.6.8 ， 18.11.0 • major 称为主版本号，出现功能重大变更，以至于和旧 旧 API 不兼容的时候会增加该号。 • minor 称为次版本号，功能有所变更或增加，但依然和旧的 API 兼容时会增加该号。 • patch 称为补丁版号，功能没有改变，只是修复了一些 bug 就重新发布时会增加该号。 • 也有的软件不拘一格（例如我们的 zeno ），索性用发布的日期作为版本号的三个数字， 例如 2022.11.2 。不论采用哪种编号方案，都是几个用点分开的数字，并且数字越大越新 ，且优先比较靠前面的数字。因此为了通用， CMake 支持最多四个点分开的版本号： ... 。并且如果你写 0.6.8 他会自动帮你把多余的 tweak 默认为 0 ，也就是说 0.6.8 == 0.6.8.0 ， 1.2 == 1.2.0 == 1.2.0.0 。 • 比较版本号时，可以用 if (${XXX_VERSION} VERSION_LESS

流的自然语言处理核心技术和服务能力，依托 NLP（自然语言处理）、Deep Learning（深度学 习）、Knowledge Graph（知识图谱）等技术，处理美团海量文本数据，为美团各项业务提供智 能的文本语义理解服务。NLP 中心长期招聘自然语言处理算法专家 / 机器学习算法专家，感兴 趣的同学可以将简历发送至：tech@meituan.com（邮件主题：美团搜索与 NLP 部）。 算法 < 83 个特征互相之间构成一个全连通图记为 M，图中的每个顶点表示特征 F，顶点之间的边表示任意两个特征 Fi 和 Fj 的关联度，记为 M。通过联合训练关系 图和预估模型，更新参数矩阵 M，使关系图的语义信息与预估模型保持相关性和一致 性，主要过程如下图 3 所示： 图 3 特征交叉图建模过程 主要步骤可描述如下： ● Step1. 建立参数矩阵（随机初始化得到），对特征所对应的向量表示做点积， 何在这个场景图上，实现对用户决策场景的建模。 2.3.2 到业务中去 - 元路径建模的实现 元路径 UCPCU 表达的语义为：不同用户在不同时空场景下，点了同一家商户，当然 不同场景需求可以定义不同的元路径。为了进一步融合元路径中丰富的语义表达，仅 仅依赖单一的元路径的话，所表达的语义会受到限制。我们从用户 U 出发，通过该元 算法 < 93 路径可以扩展出一系列的元路径实例，这些实例刻画了不同场景下，用户和

· · · · · · · · · · · · · · · · · 4199 15.10.2 我们的安全漏洞扫描工具对 MySQL version 有要求，TiDB 是否支持修改 server 版本号呢？· · · · · 4199 15.10.3 TiDB 支持哪些认证协议？过程是怎样的？ · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 4220 16.3.5 不再沿用的历史版本号 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ">向量搜索功能（ �→ 实验特性） 向量搜索是一种基于数据语义的搜索方法，可以提供更相关的搜索结果。作为 AI 和大语言模型 (LLM) �→ 的核心功能之一，向量搜索可用于检索增强生成 (Retrieval-Augmented Generation, RAG)、 �→ 语义搜索、推荐系统等多种场景。 40 数据库管理和可观测性

· · · · · · · · · · · · · · · · · 4178 15.10.2 我们的安全漏洞扫描工具对 MySQL version 有要求，TiDB 是否支持修改 server 版本号呢？· · · · · 4178 15.10.3 TiDB 支持哪些认证协议？过程是怎样的？ · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 4199 16.3.5 不再沿用的历史版本号 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ">向量搜索功能（ �→ 实验特性） 向量搜索是一种基于数据语义的搜索方法，可以提供更相关的搜索结果。作为 AI 和大语言模型 (LLM) �→ 的核心功能之一，向量搜索可用于检索增强生成 (Retrieval-Augmented Generation, RAG)、 �→ 语义搜索、推荐系统等多种场景。 35 数据库管理和可观测性

· · · · · · · · · · · · · · · · · · 1975 13.6.1 我们的安全漏洞扫描工具对 MySQL version 有要求，TiDB 是否支持修改 server 版本号呢？· · · · · 1975 13.6.2 TiDB 支持哪些认证协议，过程是怎样的？ · · · · · · · · · · · · · · · · · · · · · · · · · · · 解析但会忽略这两个兼容模式），MySQL 5.7 已弃用 兼容模式，MySQL 8.0 已移除兼容模式。 • TiDB 的 ONLY_FULL_GROUP_BY 模式与 MySQL 5.7 相比有细微的语义差别。 • NO_DIR_IN_CREATE 和 NO_ENGINE_SUBSTITUTION 仅用于解决与 MySQL 的兼容性问题，并不适用于 TiDB。 2.6.2.12 默认设置 • 字符集： Epoch_keyHash_cf 的格式命名。格式名的解释如下： • storeID：TiKV 节点编号 • regionID：Region 编号 • regionEpoch：Region 版本号 • keyHash：Range startKey 的 Hash (sha256) 值，确保唯一性 • cf：RocksDB 的 ColumnFamily（默认为 default 或 write）

· · · · · · · · · · · · · · · · · · 1926 13.6.1 我们的安全漏洞扫描工具对 MySQL version 有要求，TiDB 是否支持修改 server 版本号呢？· · · · · 1926 13.6.2 TiDB 支持哪些认证协议，过程是怎样的？ · · · · · · · · · · · · · · · · · · · · · · · · · · · 解析但会忽略这两个兼容模式），MySQL 5.7 已弃用 兼容模式，MySQL 8.0 已移除兼容模式。 • TiDB 的 ONLY_FULL_GROUP_BY 模式与 MySQL 5.7 相比有细微的语义差别。 • NO_DIR_IN_CREATE 和 NO_ENGINE_SUBSTITUTION 仅用于解决与 MySQL 的兼容性问题，并不适用于 TiDB。 2.6.2.12 默认设置 • 字符集： Epoch_keyHash_cf 的格式命名。格式名的解释如下： • storeID：TiKV 节点编号 • regionID：Region 编号 • regionEpoch：Region 版本号 • keyHash：Range startKey 的 Hash (sha256) 值，确保唯一性 • cf：RocksDB 的 ColumnFamily（默认为 default 或 write）

文件内容 install 安装项目依赖 script 运行测试用例 发布到 npm 添加用户： npm adduser 升级补丁版本号：npm version patch 升级版本 升级小版本号：npm version minor 升级大版本号：npm version major 发布版本：npm publish Git 规范和 Changelog 生成 ·加快 Code Review semver 规范的优势 优势： ·避免出现循环依赖 ·依赖冲突减少 语义化版本（Semantic Versioning）规范格式 次版本号：当你做了向下兼容的功能性新增， 主版本号：当你做了不兼容的 API 修改， 修订号：当你做了向下兼容的问题修正。 先行版本号 先行版本号可以作为发布正式版之前的版本，格式是在修订版本号后面加上一个连接 号（-），再加上一连串以点（.）分割的标识符，标识符可以由英文、数字和连接号