首页文章列表标签墙返回找工具啦

类型谓词共 2 篇文章

TypeScript 类型守卫：typeof、instanceof、自定义

2026-04-07 07:51:37

TypeScript 类型守卫：typeof、instanceof、自定义 JavaScript 变量在运行前的具体形态往往不确定。TypeScript 引入类型守卫机制，在代码块内将模糊的联合类型（多种可能类型的集合）精准过滤为单一具体类型。执行以下操作，掌握三种核心守卫的编写与使用。阶段一：使

类型守卫类型收窄自定义类型

Scheme 类型系统：类型谓词

2026-04-05 15:48:43

Scheme 类型系统：类型谓词 Scheme 是一种动态类型的函数式语言，这意味着变量在运行时才确定其类型。尽管编译器不会在编译期进行类型检查，但 Scheme 提供了一套完善的类型谓词机制，让程序员能够在运行时判断一个值的类型。理解这些类型谓词，是编写健壮 Scheme 程序的基础。什么是类型

Scheme 类型谓词动态类型