Python的语法扩展系统 Moshmosh Thautwarm&李欣宜 The awareness of low-level implementation details brings the appreciation of an abstraction and the intuitive explanation for it. — Oleg Kiselyov Kiselyov 目录 CONTENTS 提供语法和语义的语言不仅仅是工具， 还是思维方式 表达能力的极限，由内破除， 还是从外破除？ Moshmosh： 我的Python不可能这么甜美清新 下班时在干什么？有没有空？可以来contribute吗? 1 提供语法和语义的语言 不仅仅是工具， 还是思维方式 “语言只是工具”是现代社会最为荒谬的说法之一。 即便存在海量的常见任务，他们在部分语言里很容 make sense却没有支持。 就说Python。Python是有极限的，只从语义语法上讲。 和性能、GIL相关的问题我们放在一边。 1. 没有多行lambda 2. 作用域管理规则/name shadow(let-binding) 3. 表达式和语句区分，表达式内部不能包含语句 4. 没有语法宏，代码操作不够自动 5. 没有variant类型(只能靠一大堆抽象类和继承去workaround)

解放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机制是怎样的？

自定义字符串格式化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 6.1.3 格式字符串语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 6.1.4 模板字符串 . 正则表达式操作 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 6.2.1 正则表达式语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 6.2.2 模块内容 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 547 14.2 configparser --- 配置文件解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 548 14.2.1 快速起步 . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 505 14.2 configparser --- 配置文件解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 511 14.3 netrc --- netrc 文件处理 . . . . . . . . . . . 612 16.4 argparse --- 命令行选项、参数和子命令解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . 621 16.5 getopt --- C 风格的命令行选项解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1113 20.2 html.parser --- 简单的 HTML 和 XHTML 解析器 . . . . . . . . . . . . . . . . . . . . . . . . 1114 20.3 html.entities --- HTML 一般实体的定义 . . . .

自定义字符串格式化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 6.1.3 格式字符串语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 6.1.4 模板字符串 . 正则表达式操作 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 6.2.1 正则表达式语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114 6.2.2 模块内容 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531 14.2 configparser --- 配置文件解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 532 14.2.1 快速起步 . . . . . . . .

1.2 自定义字符串格式化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102 6.1.3 格式字符串语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 6.1.4 模板字符串 . . . 正则表达式操作 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110 6.2.1 正则表达式语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 6.2.2 模块内容 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510 14.2 configparser --- 配置文件解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 511 14.2.1 快速起步 . . . . . . . . . .

1.2 自定义字符串格式化 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 6.1.3 格式字符串语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113 6.1.4 模板字符串 . . . 正则表达式操作 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 6.2.1 正则表达式语法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 6.2.2 模块内容 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 573 14.2 configparser --- 配置文件解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 574 14.2.1 快速起步 . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 471 14.2 configparser --- 配置文件解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477 14.3 netrc --- netrc 文件处理 . . . . . . . . . . . . . . 570 16.4 argparse --- 命令行选项、参数和子命令解析器 . . . . . . . . . . . . . . . . . . . . . . . . 579 16.5 getopt --- C 风格的命令行选项解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1039 20.2 html.parser --- 简单的 HTML 和 XHTML 解析器 . . . . . . . . . . . . . . . . . . . . . . 1040 20.3 html.entities --- HTML 一般实体的定义 . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 471 14.2 configparser --- 配置文件解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 477 14.3 netrc --- netrc 文件处理 . . . . . . . . . . . . . . 570 16.4 argparse --- 命令行选项、参数和子命令解析器 . . . . . . . . . . . . . . . . . . . . . . . . 579 16.5 getopt --- C 风格的命令行选项解析器 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1039 20.2 html.parser --- 简单的 HTML 和 XHTML 解析器 . . . . . . . . . . . . . . . . . . . . . . 1040 20.3 html.entities --- HTML 一般实体的定义 . . . . . .