trait CandidType { fn ty() -> AST } impl CandidType for u8 { fn ty() -> AST { AST::Nat8 } } impl CandidType for Option { fn ty() -> AST { AST::Opt(Box::new(T::ty())) } } impl CandidType for Box { fn ty() -> AST { T::ty() } } fn typeOf(_: &T) -> AST { T::ty() } Derive CandidType for struct/enum • Use procedure macro to derive CandidType trait fn ty() { AST::Record(vec![ field(“name”, String::ty()), ]) } } #[derive(CandidType)] struct Profile { name: String, } impl CandidType for Tree { fn ty() { AST::Variant(vec![

Manager 02 用 Rust 重写 KCL Python 代码翻译 栈式虚拟机 Rust 编译器 KCL 编译器架构升级 Source Code AST LLVM IR Native/WASM Source Code AST Bit code VM Source Code Python code Pros Cons 简单易上手 生态丰富 研发效率高 性能问题 友好的编译器架构 RustCodeBook: Rust源码解读 Compiler Base: 更通用的编译器组件 KCL Source Code AST LLVM IR Native/WASM Smart Contract Source Code AST LLVM IR ABI • Error • Span & SourceMap • Session • Paraller • …… IDE

fn main() { let ast = A{a: 12i32}; ast.show(); println!("{}", ast.a); } 错误： 13:25 error: use of moved value: `ast.a` [E0382] :13 println!("{}", ast.a); 因为 Rust 本身，在你调用一 add_one(&mut self) { self.a += 1; } } fn main() { let mut ast = A{a: 12i32}; ast.show(); ast.add_two(); } 需要注意的是，一旦你的结构体持有一个可变引用，你，只能在 &mut self 的实现里去改变他！例子： struct Person<'a>{

第三届中国Rust开发者⼤会 ⽤ egg 孵化你的 SQL 优化器 王润基 RisingWave 内核开发⼯程师 ? Parser Binder Optimizer Executor SQL AST Logical Plan Physical Plan Table Catalog Storage RisingLight 查询引擎的整体结构 SELECT name, url FROM build_recexpr schema = [a, b, (+ a b)] #2 + #0 a + b 物理下标解析 Parser Binder Optimizer Executor SQL AST Table 基于 egg 的新版查询引擎 类型分析 Schema 分析 聚合分析 — 类型检查 — 通配符展开 — 聚合提取 常量分析 列分析 ⾏分析 类型分析 Schema

副本管理 CRAQ 图原生存储 索引 LSM-Tree 容灾保障 （ BR ） 元数据层 事务管理 MVOCC 计算层 Cypher AST 优化器 图计算 内存加速引 擎 服务接口 HTTP/RPC Spark 连接器 Python UDF 执行器 索引管理 一致性存储 RAFT 分片管理 元数据 集群管理 用户权限 – DIS ballot ends •2024-04 – International Standard 类 SQL 语言，简单易用，面向分析师友好 查询引擎：计算请求执行流程 Cypher AST Unresolved Logical Plan Logical Plan Optimized Logical Plan Physical Plan Program API Analysis

• Log Queries • Metric Queries • OpenTSDB • 统计/计算 协议层 • Parser • 手写 • 为什么？ • LogQL=>Token=>AST=>SQL • 测试 • Fuzz testing 处理层 • Processor • 初始化 • 静态/动态 • 执行 • 读/写 • 结构 • prediccate • process(&self

it DRAWBACK OF PROMETHEUS Bad efficiency: calculates point by point Directly interpreters over AST Hard to scale and distributing Hard to extend TRANSLATE OR REBUILD Translate Pros.:

Prometheus API • AOP（面向切片） • LLVM IR • … 如何优雅地在代码中加入埋点 ■ Prometheus API 1. 在 Rust 代码编译成 LLVM IR 之前解析 AST，找到需要埋点的函数 2. 为这些函数生成对应的监控指标定义代码 3. 在进入和退出这些函数的 IR 指令前插入对指标的操作 (inc 等) 4. 重新打包成 Rust 代码并编译，得到增加埋点的可执行文件

a syntax tree // that we can manipulate let ast = syn::parse(input).unwrap(); // Build the trait implementation impl_hello_macro(&ast) } 示例 19-31: 大多数过程式宏处理 Rust 代码时所需的代码 521/600 Rust let ast = syn::parse(input).unwrap(); # # // Build the trait implementation # impl_hello_macro(&ast) # } # fn impl_hello_macro(ast: &syn::DeriveInput) -> TokenStream { let name = &ast.ident; } } }; gen.into() } 示例 19-33: 使用解析过的 Rust 代码实现 HelloMacro trait 我们得到一个包含以 ast.ident 作为注解类型名字（标识符）的 Ident 结构体实例。示例 19-32 中的结构体表明当 impl_hello_macro 函数运行于示例 19-30 中的代码上时 ident

TokenStream) -> TokenStream { // 将 Rust 代码构建成我们可以操作的语法树。 let ast = syn::parse(input).unwrap(); // 生成 trait 的实现。 impl_hello_macro(&ast) } 示例 20-40: 大多数过程式宏处理 Rust 代码时所需的代码 注意我们将代码分成了 hello_macro_derive 的代码，如示例 20-42 所示。 文件名：hello_macro_derive/src/lib.rs fn impl_hello_macro(ast: &syn::DeriveInput) -> TokenStream { let name = &ast.ident; let generated = quote! { impl HelloMacro for #name } } }; generated.into() } 示例 20-42: 使用解析过的 Rust 代码实现 HelloMacro trait 我们得到一个包含以 ast.ident 作为注解类型名字（标识符）的 Ident 结构体实例。示例 20-33 中的结构体表明当 impl_hello_macro 函数运行于示例 20-31 中的代码上时 ident 字段 的值是