## 静态类型的Python PYTHON 30th Lyzh（刘知杭） ## 目录 CONTENTS ➤ 有关类型的概念 使用mypy对Python源代码进行静态分析 代数数据类型 拓展知识 ## 关于类型的一些基本概念 有类型不等于有类型系统 PYTHON 30th 动态语言类型化的必要性 ## 不久前的一个案例 ☀️ ☀️ ☁️ rl = filter(lambda x: 作为文档的类型：类型签名包含了约束信息，表达了函数的需求，我们通过类型签名就能一定程度上的意识到函数的作用。 甚至Haskell程序员们能够在HGoogle中通过函数的类型签名来寻找函数。 程序效率：动态类型不利于编译优化 ## 渐进式类型系统 相对于静态语言的类型系统。 为动态语言添加类型系统需要考虑到过渡与历史包袱 一种叫做渐进式类型系统的东西完美的符合了这个应用场景 这种类型系统同时允许动态类型与静态类型的存在 声明类型系统、鸭子类型与结构类型系统 Function Annotations 由于Python2中缺少缺少注释函数参数和返回值的标准，因此出现了各种工具和库来填补这一空白。一些工具会解析函数的文档字符串，在这里寻找函数的注释。 这个PEP旨在钦定一种标准的方式，来减少各种库和工具采用的不同方法引起的混乱。 ## PEP 484 – Type Hints PEP 3107增加了对函数定义各部分上的任意注释的支持。尽管没有为注释指定任何含义，但始

## 基于静态分析的Rust内存安全缺陷检测研究 报告人：徐辉 复旦大学 报告日期：2022.11.25 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## 大纲 一、问题背景 二、Rust指针缺陷检测方法 三、实验结论 四、论文发表心得 ## Rust语言 ## 系统级安全编程语言 Huawei, Google, Microsoft, Mozilla... ## Rust如何保障内存安全？ ☐ 内存安全问题产生的主要原因之一是指针别名导致悬空指针 ■ 手动释放内存或调用析构函数 函数返回时发生的自动析构或内存释放 ☐ Rust设计的目标之一是编译时检查指针别名（共享可变引用） 但一般意义上的指针分析是NP-hard问题 智能指针可行，但作为运行时方案，效率低 ■ R 方法二：允许使用裸指针 ## Unsafe Rust □ Unsafe Rust功能: 解引用裸指针 ■ 调用unsafe函数 ■ 调用FFI（其它语言接口） ☐ 使用条件：必须标注unsafe let mut num = 5; let r1 = &num as *const i32; unsafe {

## PyTorch ## 激活函数及其梯度 主讲人：龙良曲 ## Activation Functions  PITTS WITH LETTVIN: Pitts with Jerome Lettvin and one subject

## PyTorch ## 常见函数梯度 主讲人：龙良曲 ## Common Functions |Common Functions|Function|Derivative| |---|---|---| |Constant|c|0| |Line|x|1| ||ax|a| |Square|$ x^{2} $|2x| |Square Root|$ \\sqrt{x} $|$ (\\frac{1 w^{2}+b^{2} $$ $$ xe^{w}+e^{b} $$ $$ [y-(xw+b)]^{2} $$ $$ \mathbf{y}\log(x w+b) $$ ## 下一课时 什么是激活函数 ## Thank You

## 函数计算在双11小程序场景中的应用  吴天龙 阿里云函数计算技术专家  PPT ## 自我介绍 • 吴天龙（花名：木吴） · 阿里云函数计算技术专家 - 2013 年加入阿里云，参与分布式数据库，对象存储等产品的开发。现任阿里云函数计算架构师，聚焦于 Serverless 产品功能在大规模资源伸缩调度、性能优化等系统核心能力的研发。 ## 目录 ✿ 函数计算介绍 技术挑战 ✿ Demo ## 函数计算-介绍 - 通用Serverless计算平台 · 与云端事件源无缝集成 /7/1817bd4d19cae2c9c62d57f47d0f801d/p4_5.jpg) 石墨文档 | 文档实时协同办公-石墨文档 ## 函数计算-介绍 函数计算组件 CLI/SDK/Web Console 依赖的阿里云服务 创建/删除函数 请求调用 负载均衡 同步请求调用 异步请求调用 控制类操作 对象存储（代码） ![Image](/uploads/document

## PyTorch ## 激活函数与GPU加速 主讲人：龙良曲   ![Ima

## 面向亿行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

CHINA PHP基本语法 PHPCHINA! HAPPY PHPING PHPCHINA.COM —条件、循环、函数 杨亮 ## 程序的基本结构 程序 运算（+ - x / & | ! ..） 输入 逻辑（条件、循环、递归） 输出 辅助（变量、数组、函数） 小测验 用你熟悉的程序找出 1~1000中的所有质数 ## 我们直接看代码好了 '; } if ($totalqty PHP中的代码重用 - 将其他文件中的html或者php代码引入到本文件 • require()与include(); • require_once()与include_once(); - 可以引入其他的函数库，或者代码片段 1 '; 4 h> ## 为什么自己写有函数 • 代码的可读性 • 代码的可重用性 - 实现功能的模块化 - 实现递归调用  • 使变量名不至于太长（作用域） ## PHP中的函数 ![Image](/uploads/do

## 可组合的 Vue Composable Vue, 编写可组合可复用的 Vue 函数的最佳实践与技巧 ANTHONY FU Hangzhou, China 2021 ## Anthony Fu Vue 核心成员 / Vite 团队成员 VueUse, Slidev, Type Challenges 等项目创作者 全职开源 antfu antfu7 知 Anthony Fu antfu 有限的类型支持 按 API 类型组织 组合式 API 提供的能力 ■ 极易复用 (原生 JS 函数) ■ 可灵活组合 (生命周期钩子可多次使用) 提供更好的上下文支持 更好的 TypeScript 类型支持 按功能/逻辑组织 ■ 可独立于 Vue 组件使用 ## 什么是可组合的函数 可复用逻辑的集合，专注点分离 export function useDark(options: UseDarkOptions 组合关系 useLocalStorage useStorage useDark useEventListener usePreferredDark useMediaQuery ■ 其中每一个函数都可以独立使用 ☑ 专注点分离 ## 建立"连结"模式 不同于 React，Vue 的 `setup()` 只是在组件建立时执行一次，并建立数据与逻辑之间的连结。 ■ 建立输入

现代编程思想 # 函数, 列表与递归 Hongbo Zhang 基本数据类型：函数 ## 函数 - 在数学上，描述对应关系的一种特殊集合。对于特定的输入，总是有特定的输出 - 在计算机中，对相同运算的抽象，避免大量重复定义 ○ 计算半径为1的圆的面积： $ 3.1415 \times 1 \times 1 $ ○ 计算半径为2的圆的面积： $ 3.1415 \times 2 \times 计算半径为3的圆的面积： $ 3.1415 \times 3 \times 3 $ ○ ..... fn 面积(半径: Double) -> Double { 3.1415 * 半径 * 半径 } ## 函数 • 计算半径为1、2、3的圆的面积： 1. let surface_r_1: Double = { let r = 1.0; pi * r * r } 2. let surface_r_2: Double surface_r_2, surface_r_3) • 使用函数后 1. fn area(radius: Double) -> Double { pi * radius * radius } 2. let result = (area(1.0), area(2.0), area(3.0)) ## 顶层函数的定义 fn <函数名>（<参数名>：<类型>，&