标签: 数值类型 - 文档

Scheme 类型系统：类型谓词

2026-04-05 15:48:43

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

Scheme 类型谓词动态类型

数值类型 共 1 篇文章