2023年1月9日
读编程与类型系统笔记02_基本类型
摘要： 1. 空类型 1.1. uninhabitable type 1.1.1. 声明从不返回的函数 1.2. 不能有任何值的类型，其可取值的集合是一个空集合 1.3. 函数不返回的原因 1.3.1. 函数在所有代码路径上都抛出异常 1.3.2. 函数可能执行无限循环 1.3.3. 导致程序崩溃 1.4. 阅读全文
posted @ 2023-01-09 08:27 躺柒 阅读(21) 评论(0) 推荐(0) 编辑