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

Powered by TCPDF (www.tcpdf.org) ## Contents 1 概述 3 2 内置函数 5 3 Non-essential Built-in Functions 25 4 内置常量 27 4.1 由 site 模块添加的常量 28 5 内置类型 29 5.1 逻辑值检测 29 5.2 Boolean Operations —and, or, not —int, float, long, complex 31 5.5 迭代器类型 35 5.6 Sequence Types —str, unicode, list, tuple, bytearray, buffer, xrange 35 5.7 集合类型—set, frozenset 46 5.8 映射类型—dict 49 5.9 File Objects 53 5.10 memoryview memoryview type 57 5.11 上下文管理器类型 58 5.12 其他内置类型 59 5.13 特殊属性 62 6 内置异常 63 6.1 异常层次结构 68 7 String Services 71 7.1 string — 常见的字符串操作 71 7.2 re — 正则表达式操作 83 7.3 struct — Interpret strings

Powered by TCPDF (www.tcpdf.org) ## Contents 1 概述 3 2 内置函数 5 3 Non-essential Built-in Functions 25 4 内置常量 27 4.1 由 site 模块添加的常量 28 5 内置类型 29 5.1 逻辑值检测 29 5.2 Boolean Operations —and, or, not —int, float, long, complex 31 5.5 迭代器类型 35 5.6 Sequence Types —str, unicode, list, tuple, bytearray, buffer, xrange 35 5.7 集合类型—set, frozenset 46 5.8 映射类型—dict 49 5.9 File Objects 53 5.10 memoryview memoryview type 57 5.11 上下文管理器类型 58 5.12 其他内置类型 59 5.13 特殊属性 62 6 内置异常 63 6.1 异常层次结构 68 7 String Services 71 7.1 string — 常见的字符串操作 71 7.2 re — 正则表达式操作 83 7.3 struct — Interpret strings

Powered by TCPDF (www.tcpdf.org) ## Contents 1 概述 3 2 内置函数 5 3 Non-essential Built-in Functions 25 4 内置常量 27 4.1 由 site 模块添加的常量 28 5 内置类型 29 5.1 逻辑值检测 29 5.2 Boolean Operations —and, or, not —int, float, long, complex 31 5.5 迭代器类型 35 5.6 Sequence Types —str, unicode, list, tuple, bytearray, buffer, xrange 35 5.7 集合类型—set, frozenset 46 5.8 映射类型—dict 49 5.9 File Objects 53 5.10 memoryview memoryview type 57 5.11 上下文管理器类型 58 5.12 其他内置类型 59 5.13 特殊属性 62 6 内置异常 63 6.1 异常层次结构 68 7 String Services 71 7.1 string — 常见的字符串操作 71 7.2 re — 正则表达式操作 83 7.3 struct — Interpret strings

10 4.3 定义.....12 4.3.1 类型.....12 4.3.2 原语值.....12 4.3.3 对象.....12 4.3.4 构造函数.....12 4.3.5 原型.....12 4.3.6 本地对象.....12 4.3.7 内置对象.....12 4.3.8 宿主对象.....13 Undefined 类型.....13 4.3.11 空值.....13 4.3.12 Null 类型.....13 4.3.13 布尔值.....13 4.3.14 Boolean 类型.....13 4.3.15 Boolean 对象.....13 4.3.16 字符串值.....13 4.3.17 String 类型.....14 14 4.3.18 String 对象.....14 4.3.19 数值.....14 4.3.20 Number 类型.....14 4.3.21 Number 对象.....14 4.3.22 Infinity（无穷）.....14 4.3.23 NaN.....14 5 记法约定.....15 5.1 语法和词法文法

WebAssembly 平台 2 内置函数 3 内置常量 3.1 由 site 模块添加的常量 4 内置类型 4.1 逻辑值检测 4.2 布尔运算 --- and, or, not 4.3 比较运算 4.4 数字类型 --- int, float, complex 4.4.1 整数类型的按位运算 4.4.2 整数类型的附加方法 4.4.3 浮点类型的附加方法 4.4 4.4 数字类型的哈希运算 4.5 布尔类型 -bool 4.6 迭代器类型 4.6.1 生成器类型 4.7 序列类型 --- list, tuple, range 4.7.1 通用序列操作 4.7.2 不可变序列类型 4.7.3 可变序列类型 4.7.4 列表 4.7.5 元组 4.7.6 range 对象 4.8 文本序列类型 --- str 4.8 4.9 二进制序列类型 --- bytes, bytearray, memoryview 4.9.1 bytes 对象 4.9.2 bytearray 对象 4.9.3 bytes 和 bytearray 操作 4.9.4 printf 风格的字节串格式化 4.9.5 内存视图 4.10 集合类型 --- set, frozenset 4.11 映射类型 --- dict

WebAssembly 平台 2 内置函数 3 内置常量 3.1 由 site 模块添加的常量 4 内置类型 4.1 逻辑值检测 4.2 布尔运算 --- and, or, not 4.3 比较运算 4.4 数字类型 --- int, float, complex 4.4.1 整数类型的按位运算 4.4.2 整数类型的附加方法 4.4.3 浮点类型的附加方法 4.4 4.4 数字类型的哈希运算 4.5 布尔类型 -bool 4.6 迭代器类型 4.6.1 生成器类型 4.7 序列类型 --- list, tuple, range 4.7.1 通用序列操作 4.7.2 不可变序列类型 4.7.3 可变序列类型 4.7.4 列表 4.7.5 元组 4.7.6 range 对象 4.8 文本序列类型 --- str 4.8 4.9 二进制序列类型 --- bytes, bytearray, memoryview 4.9.1 bytes 对象 4.9.2 bytearray 对象 4.9.3 bytes 和 bytearray 操作 4.9.4 printf 风格的字节串格式化 4.9.5 内存视图 4.10 集合类型 --- set, frozenset 4.11 映射类型 --- dict

# 现代编程思想 多元组，结构体与枚举类型 Hongbo Zhang 基础数据类型：多元组与结构体 ## 回顾：多元组 • 多元组：固定长度的不同类型数据的集合 ☐ 定义： $ (\leq $ 表达式 $ \gt $ , $ \leq $ 表达式 $ \gt $ , $ \geq $ ) ☐ 类型：(<表达式类型>，<表达式类型>，...) ○ 例如： ■ 身份信息：("Bob" == 2023 • 列表：任意长度的相同类型数据的集合 ○ 例如： ■ 字符的序列：Cons('H', Cons('i', Cons('!', Nil))) Cons : construct 的缩写 ## 笛卡尔积 - 一个多元组类型的元素即是每个组成类型的元素构成的有序元素组。集合的笛卡尔积，又称积类型 。例：扑克牌的所有花色： $ \{ $ postal: Int } 通过名称，我们能明确数据的信息以及对应字段的含义 ## 结构体的定义 - 结构体的定义形如 struct <结构体名称> { <字段名>: <类型> ; ... } o struct PersonalInfo { name: String; age: Int} • 定义结构体的值时，形如 { <字段名>: <值>