Python JIT thautwarm The “Restrain” 目录 CONTENTS Preview 和其他JIT的比较 实现原理 如何参与开发 1 Preview 并行计算: SIMD并行, true threading 避开解释器开销: for-loop 避免嵌套函数开销: native function pointer, inline “All Add 2” Intrinsics: RestrainJIT/src/py_apis.jl Intrinsics Passes: IR 优化不足 Passes: IR优化不足 THANK YOU github@thautwarm

解放Python的 表达力，性能和安全性 Thautwarm 目录 CONTENTS 语法和语义扩展 JIT 静态类型 语法和语义扩展 表达力的扩展， 可用性的保留，白来的午餐？ 演示一小部分: 模式匹配, Quick Lambda, Pipe运算 语言决定思维模型 GNU-APL C++ Haskell 说 到 质 数 � 人 们 想 到 什 么 � 语言决定思维模型 如果还有时间，我们用静态类型 来写一个简单的网页生成框架 一个用起来，没有学习曲线的框架。 很安全，因为没有程序员需要付出心 智负担的工作。 THANK YOU thautwarm: - github.com/thautwarm - twshere@outlook.com

Python的语法扩展系统 Moshmosh Thautwarm&李欣宜 The awareness of low-level implementation details brings the appreciation of an abstraction and the intuitive explanation for it. — Oleg Kiselyov 使用了PyCall代理python main模块的execution • 从修改过的CPython源代码里编译的Python，使用完全相同的Python字节码虚拟 栈机，但在语法语义上可以存在差异。例如我的早期作品thautwarm/flowpython 此外，代码生成也是外部方法之一，例如Cython和Nuitka。 外部工具的问题在于，通常会引入复杂笨重的依赖，这对于实际的产品项目是不 友好的。 什么是“由内部破除” 可以来contribute吗？ 添加一个新的扩展? 理由? 实际的use case? 为扩展添加静态检查支持(mypy plugins)? 文档? THANK YOU thautwarm: - github.com/thautwarm - twshere@outlook.com 李欣宜: - github.com/li-xin-yi - lixinyi@guandata.com

ative Code。 对于Final的变量，我们能够消除反射。使用更多的Final能有效提高性能。 特殊的类型标记与JIT协同。 类型错误与提前截断。 感谢对我提供帮助的—— @thautwarm @manjusaka @himself65 ?扩散性百万甜面包 @icey ?锤鸽 @LemonHX ?柠檬浣熊 @Zwliuust THANK YOU IndexLib lyzh流云坠海