## 静态类型的Python PYTHON 30th Lyzh（刘知杭） ## 目录 CONTENTS ➤ 有关类型的概念 使用mypy对Python源代码进行静态分析 代数数据类型 拓展知识 ## 关于类型的一些基本概念 有类型不等于有类型系统 PYTHON 30th 动态语言类型化的必要性 ## 不久前的一个案例 ☀️ ☀️ ☁️ rl = filter(lambda x: 甚至Haskell程序员们能够在HGoogle中通过函数的类型签名来寻找函数。 程序效率：动态类型不利于编译优化 ## 渐进式类型系统 相对于静态语言的类型系统。 为动态语言添加类型系统需要考虑到过渡与历史包袱 一种叫做渐进式类型系统的东西完美的符合了这个应用场景 这种类型系统同时允许动态类型与静态类型的存在 声明类型系统、鸭子类型与结构类型系统 类型系统的分类——声明式类型系统与结构化类型系统 声明类型系统通过名字来检查类型 支持。尽管没有为注释指定任何含义，但始终存在一个隐式目标，即将它们用于类型提示。 该PEP旨在为类型注释提供标准语法，开放Python代码以简化静态分析和重构，潜在的运行时类型检查，以及（可能在某些情况下）利用类型信息生成代码。 在这些目标中，静态分析是最重要的。这包括对类型检查器（如mypy）的支持，以及提供可由IDE实现的代码重构操作。 虽然这些注释可以在运行时通过 __annotations__

## 基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 复旦大学 报告日期：2022.11.25 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## Rust语言 ## 系统级安全编程语言 研究挑战：指针分析是NP-hard问题 准确性：应采用路径敏感的指针分析算法，避免过多误报 分析效率：应基于Rust MIR的特点对算法进行优化，使其可行 ☐ 整体思路：基于编译过程中的生成的MIR进行静态分析 ■ 路径提取：控制流图=>生成树 别名分析：分析指针之间的关联关系 ■ 模式识别：根据预定义的缺陷模式检测指针漏洞 路径提取 ![Image](/uploads/documen

## 面向亿行C/C++代码的 静态分析系统设计及实践 肖枭 ## 500+高端科技领导者与你一起探讨 技术、管理与商业那些事儿 2019年6月14–15日 上海圣诺亚皇冠假日酒店   2016年香港科技大学取得博士学位 过去10年一直以极高的热情从事静态分析技术的学术用研究 合作创办源伞科技，致力于推动静态分析技术在企业中的应用 ## 目录 代码质量管理是个大问题 静态分析+代码评审的实践 ## 生产质量是责任 ☐ 学习和强调，红线和惩罚，100%的测试 覆盖率，和事后复盘并不够 ☐ 有经验的程序员也会犯错 [Image](/uploads/documents/d/f/4/2/df4204d40f8d9990146651d100a36efb/p6_1.jpg) ## 自动化工具+流程才是未来 ☐ 静态分析工具：半智能的代码分析机器人 ☐ 静态分析辅助代码评审 ## Bug! Thx! Bug! ## 代码质量改进工具、流程落地难 □ 投入大 ☐ KPI不痛不痒 使用主体和责任主体不一致 ☐ 一步登天想要终极AI

## 解放Python的 表达力，性能和安全性 Thautwarm 目录 CONTENTS >> 语法和语义扩展 >> JIT >> 静态类型  ## 语法和语义扩展 演示一小部分: |Restrain JIT|2.74 -> 0.64|3.54 -> 0.59|3.14 -> 0.93|2.00 -> 0.03|2.60 -> 0.96| 如果还有时间，我们用静态类型来写一个简单的网页生成框架 一个用起来，没有学习曲线的框架。 很安全，因为没有程序员需要付出心智负担的工作。 ## THANK YOU ![Image](/uploads/document

。第21章：通道 - Go特色的并发同步方式 第22章：方法 。第23章：接口－通过包裹不同具体类型的非接口值来实现反射和多态 第24章：类型内嵌－不同于继承的类型扩展方式 第25章：非类型安全指针 第26章：泛型－如何使用和解读组合类型 。第27章：反射 - reflect 标准库包中提供的反射支持 ## • 一些专题 第28章：代码断行规则 。第29章：更多关于延迟函数调用的知识点 。第30章：一些恐慌/恢复用例 一方面，虽然Go是一门特性丰富的语言，但是它却也不是一门复杂的语言。一个持有积极的学习态度的Go新手程序员可以在一年内精通Go编程。 ## 那你觉得Go的卖点是什么呢？ 我个人的观点是，做为一门静态语言，Go却和很多动态脚本语言一样得灵活是Go的主要卖点。 节省内存、程序启动快、代码执行速度快和编译速度快合在一块儿是Go的另一个主要卖点。虽然这三项是C家族语言的共同特征，但是在Web开发领域 org网站不断增容和维护的动力。 （请搜索关注微信公众号 “Go 101” 或者访问 github.com/golang101/golang101 获取本书最新版） ## Go语言简介 Go是一门编译型的和静态的编程语言。Go诞生于谷歌研究院。Go的核心设计成员中包括很多有着数十年编程语言研究领域经验的研究者。 Go有很多特性，有一些是独特的，有一些借鉴于一些其它编程语言： • 内置并发编程支持: ☐