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:

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） （不是特定于

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

目 录 致谢 介绍 前言 入门篇 导论 历史 基本语法 数据类型 概述 null，undefined 和布尔值 数值 字符串 对象 函数 数组 运算符 算术运算符 比较运算符 布尔运算符 二进制位运算符 其他运算符，运算顺序 语法专题 数据类型的转换 错误处理机制 编程风格 console 对象与控制台 标准库 Object 对象 属性描述对象 最有希望、前途最光明的计算机语言之一。 JavaScript 的发明目的，就是作为浏览器的内置脚本语言，为网页 开发者提供操控浏览器的能力。它是目前唯一一种通用的浏览器脚本语 言，所有浏览器都支持。它可以让网页呈现各种特殊效果，为用户提供 良好的互动体验。 目前，全世界几乎所有网页都使用 JavaScript。如果不用，网站的 易用性和使用效率将大打折扣，无法成为操作便利、对用户友好的网 站。 对于一个互联 语言（Smalltalk 的一种变种）。 正则表达式：借鉴 Perl 语言。 字符串和数组处理：借鉴 Python 语言。 为了保持简单，这种脚本语言缺少一些关键的功能，比如块级作用域、 模块、子类型（subtyping）等等，但是可以利用现有功能找出解决 办法。这种功能的不足，直接导致了后来 JavaScript 的一个显著特 点：对于其他语言，你需要学习语言的各种功能，而对于 Java