#import "../../templates/notes.typ": notes
#show: rest => notes(rest)

= 类型简介

== 为什么存在类型

=== 0 和 1

=== 类型和类型系统的定义

== 类型系统的优点

=== 正确性

=== 不可变性

=== 封装

=== 可组合性

=== 可读性

== 类型系统的类型

=== 动态类型和静态类型

=== 弱类型和强类型

=== 类型推断

= 基本类型

== 设计不返回值的函数

=== 空类型

=== 单元类型

== 布尔逻辑和短路

== 数值类型的常见陷阱

== 编码文本

== 使用数组和引用构建数据结构

= 组合

= 类型安全

= 函数类型

= 函数类型的高级应用

= 子类型




