## TypeScript 类型系统 分享人：陈文岗 学校：中国科学院大学 2021年1月21日 ## 关于TypeScript TypeScript是微软推出的JavaScript静态类型版本，它是JavaScript的超集，可以编译为纯粹的JavaScript TypeScript How Does TypeScript Work? TypeScript file.ts JavaScript jpg) ## TypeScript 基础类型 // 数字类型 let num: number; num = 123; // 布尔类型 let flag: boolean; flag = false; // 字符串类型 let str: string; str = 'Hello World'; ## TypeScript 高级类型 // 数组类型 let arr: number]; arr 'chenwengang', age: 23 }; // 函数类型/函数签名 type Callback = () => void; let cb:Callback = () => { console.log('callback'); }; ## TypeScript 高级类型 // 交叉类型 type User1 = { name: string;

## 静态类型的Python PYTHON 30th Lyzh（刘知杭） ## 目录 CONTENTS ➤ 有关类型的概念 使用mypy对Python源代码进行静态分析 代数数据类型 拓展知识 ## 关于类型的一些基本概念 有类型不等于有类型系统 PYTHON 30th 动态语言类型化的必要性 ## 不久前的一个案例 ☀️ ☀️ ☁️ rl = filter(lambda x: HttpResponse(json.dumps(rl), content_type='application/json') ## 类型的概念 CPython定义了PyObject这个结构体作为对象头。 CPython中的类型，是指在对象头中指向类型元信息的指针。 ## ●●● // cpython/include/object.h #define PyObject_HEAD PyObject CPython有类型，但CPython没有类型系统。这就是CsPython中诸多问题的由来。 ## 类型系统是什么？ 类型系统（type system）是一种编译期（Compile-time）的类型推导检查规则。 类型系统(type system)的基本目标是防止程序在运行时发生类型错误。当且仅当语言运行时不存在任何形式的类型错误，那么它就是sound的。soundness是类型系统研究的重要目标。

## 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 ## 基本数据类型 主讲人：龙良曲 ## All is about Tensor |python|PyTorch| |---|---| |Int|IntTensor of size()| |float|FloatTensor of size()| |Int array|IntTensor of size \[d1, d2, ...]| |Float array|FloatTensor

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

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 组合关系 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_3) • 使用函数后 1. fn area(radius: Double) -> Double { pi * radius * radius } 2. let result = (area(1.0), area(2.0), area(3.0)) ## 顶层函数的定义 fn <函数名>（<参数名>：<类型>，<参数名>：<类型>，.