约束求解与类型类
类型推断的本质是解一组约束方程，而类型类与 trait 把这组方程从等式扩展成带实例解析的谓词集合。本文讲解 Hindley-Milner 的扩展、约束生成与合一、trait 解析与关联类型，以及约束错误如何被翻译成人能看懂的信息。
tag
类型系统
共 11 篇文章。
AssemblyScript 开发实践：类 TypeScript 的 WASM 语言
系统讲解 AssemblyScript 的定位与工程实践：与 TypeScript 的语法异同、数值类型与类型系统、托管对象与 GC 策略、内存管理模型、导出函数与宿主绑定、字符串与数组处理、性能优化技巧，以及调试测试与生产工程化落地。
34. 编程范式与类型系统
梳理主流编程范式的思想内核与取舍：命令式与结构化编程、面向对象的封装继承多态、函数式的纯函数与不可变性、声明式与逻辑式编程的思维方式、静态类型与动态类型及类型推导、代数和类型与泛型，以及多范式语言如何融合各类范式并给出选型建议。
「类型系统与类型推断」
深入类型系统与类型推断的实现：静态类型判定规则、Hindley-Milner 推断与合一算法、泛型与约束求解、联合类型与子类型关系，以及类型检查器如何融入符号表并在编译期拦截错误，附带可运行的 Python 实现。
ArkTS 语言基础与 TypeScript 的差异
本文从 ArkTS 运行于 ArkVM 与严格模式的定位讲起，梳理基础类型、interface、class、enum、泛型、函数重载、可选链等语言要点，并逐条给出 ArkTS 相对 TypeScript 的限制清单与正反例代码，覆盖禁用 any、禁止结构化类型、禁止动态增删属性、不支持声明合并等关键约束，附 TS 特性支持对照表与常见编译坑清单。
Java 泛型与反射深度实战
深入 Java 泛型与反射机制：类型擦除与桥方法、PECS 通配符、Type 体系、反射 API 全解析、动态代理与 CGLIB、注解处理与代码生成，以及反射性能优化与安全考量。
《Go 语言编程入门》4.1 结构体定义与初始化
结构体是 Go 组织数据的核心。本节把 TaskAPI 里的 Task 从散落字段提升为可初始化、可比较的值类型，讲清命名字段、三种字面量初始化写法、零值语义、值传递与指针传递的差别、字段对齐与可比较规则，并给出项目里 Task 的最终定义与常见初始化陷阱。
《TypeScript编程入门》序
《TypeScript编程入门》的序。为什么在类型化 JavaScript 的今天依然值得系统学习 TypeScript：从类型即文档与护栏、十年生态位置变化，到本书的讲法取舍，再到不同起点的读者该从哪一章进入这 18 章的完整旅程。全文以观点为主线，帮助你建立对这门语言的正确预期。
TypeScript 高级类型体操：从映射类型到模板字面量
TypeScript 的类型系统远不止于给变量加上 或 。当你把类型本身当作一门函数式编程语言来使用时，便进入了类型体操的领域。本文将从实际需求出发，系统梳理 TypeScript 类型层面的高级工具，帮助你在不引入运行时开销的前提下，把类型安全推到极限。
Go 空接口与类型断言深度解析：从 interface{} 内存布局到泛型替代趋势
深度解析 Go 空接口的内存布局、类型断言 .(T) 与 .(T,ok) 的性能差异、type switch 完整用法、反射替代方案、接口 nil 陷阱以及泛型对空接口的替代趋势。
Go 1.18 any 与 interface{} 深度对比：类型别名背后的演进与最佳实践
Go 1.18 引入 any 作为 interface{} 的预声明别名，本文深入剖析二者的编译器等价性、使用场景对比、迁移策略、与泛型的协同关系，以及空接口 nil 陷阱与类型系统演进趋势，帮助开发者做出正确的选择。