TypeScript 类型系统 2 0 2 1 年 1 月 2 1 日 分 享 人 陈 文 岗 ： 学 校 中国科学院大学 ： 关于TypeScript 2 TypeScript是微软推出的JavaScript静态类型版本，它是 JavaScript的超集，可以编译为纯粹的JavaScript TypeScript 到 JavaScript 3 add.ts add.js add ts TypeScript 基础类型 4 TypeScript 高级类型 5 TypeScript 高级类型 6 TypeScript 高级类型 7 TypeScript 高级类型 8 TypeScript 特殊类型 9 TypeScript 结构类型系统 10 标明类型系统 即使两个类的结构完全一致，也不能互相赋值 结构类型系统 类型形状一致即可互相赋值 TypeScript TypeScript 类型声明空间 11 类型声明空间里包含用来当做类型注解的内容 类型不能赋给一个变量，也不能作为值进行传递（class除外） TypeScript 变量声明空间(值空间) 12 变量声明空间包含可用作变量的内容 class既属于类型声明空间，也属于变量声明空间 普通的变量/常量不能用作类型注解 TypeScript 函数重载 13 1. TypeScript类型信息只存在于编译期，不会带到运行期

静态类型的Python Lyzh（刘知杭） 目录 CONTENTS 有关类型的概念 使用mypy对Python源 代码进行静态分析 代数数据类型 拓展知识 关于类型的一些基本概念 有类型不等于有类型系统 动态语言类型化的必要性 不久前的一个案例 正文 类型的概念 CPython定义了PyObject这个 结构体作为对象头。 CPython中的类型，是指在对 象头中指向类型元信息的指针。 象头中指向类型元信息的指针。 CPython有类型，但CPython没有类型系统。这就是CsPython中诸多问题的由来。 类型系统是什么？ 类型系统(type system)的基本目标是防止程序在运行时发生类型错误。当且仅当语言运行时 不存在任何形式的类型错误，那么它就是sound的。soundness是类型系统研究的重要目标。 类型系统（type system）是一种编译期（Compile-time）的类型推导检查规则。 ime）的类型推导检查规则。 类型系统就是一种轻量级的形式化方法，它通常被植入编译器或程序分析器中进行自动校验。 从而让那些不熟悉底层理论的程序员也可以使用它们。 这类轻量级技术中还包括模型检测（Model checking），运行时验证（Runtime verification）和类型系统（Type system）等等。其中类型系统最流行，发展最完善。 在计算机科学中，形式化方法（Formal

基本数据类型 主讲人：龙良曲 All is about Tensor python PyTorch Int IntTensor of size() float FloatTensor of size() Int array IntTensor of size [d1, d2 ,…] Float array FloatTensor of size [d1, d2, …] string

现代编程思想 多元组，结构体与枚举类型 Hongbo Zhang 1 基础数据类型：多元组与结构体 2 回顾：多元组 多元组：固定⻓度的不同类型数据的集合 定义： (<表达式>, <表达式>, ...) 类型： (<表达式类型>, <表达式类型>, ...) 例如： 身份信息： ("Bob", 2023, 10, 24): (String, Int, Int, Int) 成员访问： (2023, 10, 24).0 == 2023 列表：任意⻓度的相同类型数据的集合 例如： 字符的序列： Cons('H', Cons('i', Cons('!', Nil))) Cons ： construct 的缩写 3 笛卡尔积 ⼀个多元组类型的元素即是每个组成类型的元素构成的有序元素组 集合的笛卡尔积，⼜称积类型 例：扑克牌的所有花⾊：{ } 4 结构体 元组的问题在于，难以理解其所代表的数据 address: String; postal: Int } 通过名称，我们能明确数据的信息以及对应字段的含义 5 结构体的定义 结构体的定义形如 struct <结构体名称> { <字段名>: <类型> ; ... } struct PersonalInfo { name: String; age: Int} 定义结构体的值时，形如 { <字段名>: <值> , ... } let info:

从稀疏数据结构到量化数据类型 by 彭于斌（ @archibate ） 往期录播： https://www.bilibili.com/video/BV1fa411r7zp 课程 PPT 和代码： https://github.com/parallel101/course 本课涵盖：稀疏矩阵、 unordered_map 、空间稀 疏网格、位运算、浮点的二进制格式、内存带宽优 化 面向人群：图形学、 >> 3 。 >> 2 = 位运算 >> 对负数的处理 signed 类型的 >> n 会把最高位复制 n 次。 因为补码的特性，这导致负数 >> 的结果仍是负 数。 这样就实现了和 Python 一样的始终向下取整除 法。 >> 2 = unsigned 类型的位运算 >> 不一样 而 unsigned 类型的 >> n 会不会复制最高位， 只是单纯的位移，这会导致负数的符号位单独被位 只是单纯的位移，这会导致负数的符号位单独被位 移，补码失效，造成结果不对。 unsigned 类型的 >> 会生成 shr 指令， signed 类型的 >> 会生成 sar 指令。 我们需要负方向无限延伸的稀疏数据结果，那就只 要 signed 那个就行。 >> 2 = 没有重合时可以用高效的加法：位运算 | • 如果可以保证 a 和 b 满足 a & b = 0 ， 如： • 1011000 和 0000110

B-Tree：适合顺序访问，利于硬盘存储数据 R-Tree：存储空间⼏何结构 …… 8 数据结构：⼆叉树 ⼆叉树要么是⼀棵空树，要么是⼀个节点；它最多具有两个⼦树：左⼦树与右⼦树 叶节点的两个⼦树都是空树 基于递归枚举类型的定义（本节课默认存储数据为整数） 1. enum IntTree { 2. Node(Int, IntTree, IntTree) // 存储的数据，左⼦树，右⼦树 3. Empty 4

语言，就会发现 ECMAScript 语法很容易掌握， 因其主要就是借用了 Java 语言的语法。当然，JavaScript 与 Java 毕竟是两种功能作用不同的编 程语言，ECMAScript 还有一些特殊的语法特性。 2.1.1 ECMAScript 语句 相信读者在学习人生中的第一门编程语言（比如 C 语言、Java 语言等）时，最先要明确 的就是程序语句。学校为什么会将诸如 C 或 Java ECMAScript 变量是弱类型的 在学习高级编程语言的过程中，最先接触的，也是最重要的概念应该就是变量了。所谓“变 量”，一般意义上理解就是程序中用于存储数据信息的容器，或者也可以理解为用于替代数据 信息的符号。 ECMAScript 规范中定义的变量既可以存储数据信息，也可以定义为替代表达式的符号。 一般都是通过“var”关键字来定义变量，且定义的均是无特定类型的变量（也称为弱类型）。 因此，ECMAScript 因此，ECMAScript 变量可以初始化为任意类型的值，且可以随时改变变量的数据类型。当然， 我们不建议随意改变变量的数据类型，建议初始化成什么类型就一直沿用该类型，避免不必要 的麻烦。 2.2.2 变量的声明 ECMAScript 规范中规定通过“var”（单词 variable 的缩写）关键字来定义声明的变量， 当然也可以不使用“var”关键字。一般使用“var”关键字定义的是局部变量，而不使用“var”

"地址"组件构成的内存。 变量本质上是地址的名称，每个变量和地址都有特定 的 type "类型"，变量的类型被称为 static type "静态类型"， 地址的类型被称为 dynamic type "动态类型"。如果静态类型与动态类 型不相同，它就是动态类型的⽗类或⼦类。 identi�er "标识符"是变量、类型、过程等的名称声明符号，⼀个声明所适⽤的程序区域被称为该声明的 scope "作⽤域"， syntax tree (AST) "抽象语法树"的内部数据结构，在执⾏代码或将其编译为可执⾏⽂件之 前，通过 semantic analysis "语义分析"对AST进⾏转换，增加了语义信息，如表达式类型、标识符的含义，以及在某些情况下表达 式的值。在语义分析中检测到的错误被称为 static error "静态错误"，当前⼿册中描述的错误在没有其他约定时，就是静态错误。 panic "恐慌"是在 array[char, int] 和 set[char] 。 Rune 类型可以代表任何 Unicode 字符。 Rune 声明在 unicode 模块 (unicode.html)中。 如果前⾯有⼀个反引号 Token，则不以 ' 结尾的字符字⾯值被解释为 ' 。在前⾯的反引号标记和字符字⾯值之间不能有空格。 这 种特殊情况是为了保证像 proc `'customLiteral`(s: string)

Overview - 1 - Overview（概述） Using object pascal（使用 object pascal） Object Pascal 是一种高级编译语言，具有强类型（对数据类型的检查非常严格）特性，支持结构化 和面向对象编程。它的优点包括代码的易读性、快速编译，以及支持多个单元文件从而实现模块化编程。 Object Pascal 具有一些特性以支持 Borland 个应用程序维护一个工程文件。 如果从命令行编译一个程序，你可以把所有源代码放在单元文件（.pas）中，但如果用 IDE 创建程 序，则必须有一个工程文件（.dpr）。 包源文件类似于工程文件，但它们用来创建称为包的特殊的动态链接库（DLL）。 关于包的更多信息，请参考动态链接库和包。 Other files used to build applications（创建程序所需的其它文件） 除了源代码文件，Borland kof）包含编译器和链接器设置、搜索路径以及版本信息等等。每个工程对 应一个选项文件，它和工程文件同名。通常情况下，文件中的选项是通过 Project Options 对话框来完成 的。 IDE 中的许多工具保存其它类型的文件。桌面设置文件（.dsk 或 .desk）包含窗口的排列信息及其 它设置项目。桌面设置或者特定于一个工程（和某个工程相关），或者作用于整个环境（environment-wide） （不是特定于

包括抽象层次的转移 模板参数的绑定 许可的授予和元素对其它元素的使用 其它关系包括用例和流的合并 静态视图显示为类图 静态视图可以用于产生大多数程序中的数据结构声明 ��� 类图中 有许多种元素 如接口 数据类型 用例和信号 它们合在一起被称为分类 它们的举止 如同具有某种限制的类 � 动态行为 动态行为 动态行为 动态行为 有两种方式来建模行为 一种是通过与外界交互的对象的生命史 另一种是使 用一系列对象的通信模式 并被代码生成和后端工具不同的对待 标签值是可以附加 在任何模型元素 容纳任意信息的任意标签 值的文字串对 如项目管理信息 代码产生 指导和版型所需的值 标签和值用文字串来表达 约束是使用某些约束语言 如编程语 言 特殊的约束语言和自然语言 用文字串表达的条件 ��� 包括称为 ��� 的约束语言 同任何扩展机制一样 它们必须小心的使用 因为它对于其它人可能是本地化 难以理解 的 然而 它们可以避免某些根本的更改 动态行为描述了系统时间上的行为 行为可以用静态视图中系统快照的一系列变更来描 述 行为视图包括状态机图 活动图和交互图 � 模型管理描述了用层次式的单元对模型自身的组织 包是模型的通用组织单元 特殊的 包包括模型和子系统 模型管理视图与其它视图相交迭 为团队工作和配置控制把它们组 织起来 � ��� 还包括欲提供有限但实用扩展能力的若干结构 这些结构包括约束 版型和标签值 它们适用于所有视图的元素