RUST CHINA CONF 2023 第三届中国 Rust 开发者大会 王俊吉 6.17-6.18 @Shanghai ## Outline ## RustBelt - Rust 的形式化语义模型 Background Rust Semantics • RustBelt Project • Type System • Rust Types Overview • The own

Kiselyov ## 目录 CONTENTS >> 提供语法和语义的语言不仅仅是工具，还是思维方式 >> 表达能力的极限，由内破除，还是从外破除？ Moshmosh：我的Python不可能这么甜美清新 >> 下班时在干什么？有没有空？可以来contribute吗？ ## 1 提供语法和语义的语言 不仅仅是工具，还是思维方式 ` matched for {}".format(a)) if_: print("case not matched") 我预期的语法(及语义) 扩展系统: 4. 可以自定义扩展并注册 5. 在这套系统下，有很多简单的自定义扩展可供练手 ![Image](/uploads/documents/6/6/a/5/66a5d6654cb

## 高可用分布式流数据存储设计 李玥 京东集团 技术架构部 架构师 ## TGO鲲鹏会 汇聚全球科技领导者的高端社群 全球12大城市 850+高端科技领导者 使命 Mission 为社会输送更多优秀的 科技领导者 ## 愿景 Vision 构建全球领先的有技术背景 优秀人才的学习成长平台  ## 自我介绍 ## 李玥 京东集团 技术架构部 架构师 负责主导设计新一代京东消息中间件系统，专注于流数据的一致性分发和可靠存储、分布式实时计算和高可用分布式系统架构等技术领域。 从事互联网研发、架构10余年，曾在浪潮集团、当当网等公司从事架构相关工作。2017年加入京东，期间提升京东商城相关系统的性能和吞吐量数倍。 目前致力于推进京东基础架构技术的创新、对外赋能与开源。 Why 有什么用？ What 如何定位？如何融入生态系统？ How 如何实现？如何优化？ ## 目录 ## WHY ## 为什么需要流数据存储？ ## 那些年的服务 单体应用 烟筒式 SOA 微服务 ## 这些年的数据 Services ## ☐ → ☐ Data Hive ES HBase HDFS KV ##

QCon BEIJING 2018 ## 深度学习在微博Feed流应用实践 刘博 新浪微博机器学习研发部关系流算法负责人 ## 目录  微博Feed流排序场景介绍  ## 微博—社交媒体领跑者 • DAU : 1.72亿, MAU : 3.92亿 - 关注流基于关系链接用户与内容 ## > 信息获取方式 - 主动获取（关注） - 被动获取（推荐） ## 内容形式 • 博文/文章/图片/视频/问答/话题/... ## 微博Feed流特点介绍—排序原因 ## ➢ 产品特点 • 传播性强 • 互动性好 ## 存在问题 - 信息过载 jpg) ## 目录  微博Feed流排序场景介绍  常规CTR方法排序

Thautwarm 目录 CONTENTS >> 语法和语义扩展 >> JIT >> 静态类型  ## 语法和语义扩展 演示一小部分: 模式匹配， Quick Lambda, Pipe运算 > 20: ret = 2 else: ret = 1 else: raise SomeException ## 语言决定思维模型 语言中的语法和语义，决定了它真实的表达力。 大多数语言都不是“万金油”的，这是客观事实。 但它们不够“万金油”的问题来源，不一定是不能解决的。 ## 扩展语言，开阔思维 # moshmosh? # +quick-lambda < 42)` matched for {}".format(a)) if_: print("case not matched") 我预期的语法(及语义) 扩展系统: 5. 在这套系统下，有很多简单的自定义扩展可供练手 ![Image](/uploads/documents/8/7/6/b/876b8aa49ebf467804e921b50f104ba4/p8_1

如何编译和运行Go程序 • Go编程入门 第4章：程序源代码基本元素介绍 。第5章：关键字和标识符 第6章：基本类型和它们的字面量表示 。第7章：常量和变量－顺便介绍了类型不确定值和类型推断 。第8章：运算操作符－顺便介绍了更多的类型推断规则 。第9章：函数声明和调用 第10章：代码包和包引入 第11章：表达式、语句和简单语句 第12章：基本流程控制语法 第13章：协程、延迟函数调用、以及恐慌和恢复 第44章：关于Go值的内存布局 第45章：一些可能的内存泄漏场景 ## • 一些总结 。第46章：一些简单的总结 。第47章：关于Go中的nil 第48章：类型转换、赋值和值比较规则大全 第49章：Go中的一些语法/语义例外 。第50章：Go细节101 。第51章：Go问答101 。第52章：Go技巧101 ## 第53章：更多关于Go的知识 本书由老貘历时三年写成。目前本书仍在不断改进和增容中。你的赞赏是本书和Go101 我写了另外大约十篇Go基础教程和另外大约二十篇Go语言中关于各种其它主题的文章。所以现在《Go语言101》大约有50篇文章。 ## 你曾经的困惑主要包括哪些方面？ 一些困惑是关于一些Go语法和语义设计细节的。一些困惑涉及到某些类型的值，主要是切片，接口和通道类型。另外一些涉及到标准包API的使用细节。 ## 你认为造成你曾经的困惑的主要原因是什么？ 第0章：关于《Go语言101》 我觉得

存在一些问题，这恰好说明了为什么用 let 语句来声明变量。除了名字不同外，let 与 var 的写法一致。 1. let hello = "Hello!"; 变量声明 主要的区别不在语法上，而是语义，我们接下来会深入研究。 ## 块作用域 当用 let 声明一个变量，它使用的是_词法作用域_或_块作用域_。不同于使用 var 声明的变量那样可以在包含它们的函数外访问，块作用域变量在包含它们的块或 层嵌套解构的时候，就算这时没有堆叠在一起的重命名，默认值和类型注解，也是令人难以理解的。解构表达式要尽量保持小而简单。你自己也可以直接使用解构将会生成的赋值表达式。 变量声明 ## 展开 展开操作符正与解构相反。它允许你将一个数组展开为另一个数组，或将一个对象展开为另一个对象。例如： 1. let first = [1, 2]; 2. let second = [3, 4]; 3. let bothPlus "bar", "baz"） • 任何数字字面量（例如：1，100） • 应用了一元 - 符号的数字字面量（例如：-1，-100） 当所有枚举成员都拥有字面量枚举值时，它就带有了一种特殊的语义。 首先，枚举成员成为了类型！例如，我们可以说某些成员_只能_是枚举成员的值： enum ShapeKind { Circle, Square, } interface Circle

Nim的实验性功能在这里(manual experimental.html)。 注意: 赋值、移动和析构在文档特定的析构(destructors.html)部分。 当前手册对 Nim 语言的词法、语法和语义做了描述。 打算学习怎样编译 Nim 程序和生成文档，请阅读用户编译指南(nimc.html)和文档生成工具指南(docgen.html)。 Nim语言使用"扩展BNF"来解释结构，(a)* a)\wedge\wedge $ 的简写。例如： $$ array Constructor=\underline{x}expr\wedge*,\underline{x} $$ Nim 的其他，如作用域规则或运行时语义，使用非标准的描述。 Nim 代码是特定的计算单元，作用于称为 locations "地址" 组件构成的内存。变量本质上是地址的名称，每个变量和地址都有特定的 type "类型"，变量的类型被称为 (AST) "抽象语法树"的内部数据结构，在执行代码或将其编译为可执行文件之前，通过 semantic analysis "语义分析"对 AST 进行转换，增加了语义信息，如表达式类型、标识符的含义，以及在某些情况下表达式的值。在语义分析中检测到的错误被称为 static error "静态错误"，当前手册中描述的错误在没有其他约定时，就是静态错误。 panic