在 Lua 中定义类型的简单方法
文章以教程形式探讨了在Lua中定义类型的简洁方法，重点介绍了从基础到进阶的实现策略。首先，作者展示了通过table和元表设置来创建类型的基本方式，这种方法依赖Lua模块机制，适合快速定义独立类型。随后，文章深入讨论了封装class模块的高级方案，通过统一管理类型定义和实例化，提供类型名查找功能，增强了代码组织性。内容核心转向
标签：类型系统
共 8 篇相关文章
从Java和JavaScript来学习Haskell和Groovy（类型系统）
这篇技术文章从Java和JavaScript的类型系统出发，对比分析了Haskell和Groovy在类型设计上的核心差异。作者首先厘清了动态类型与静态类型、强类型与弱类型、类型推导等基础概念，并逐一拆解了四种语言的类型特性：Java是典型的静态强类型加显式指定，JavaScript则以动态弱类型和类型推导为主，Groovy提供了双模式——既能通过def实现动态推断，也能用显式类型转向静态检查，而Haskell则以静态强类型和类型推导体现了函数式语言的严谨性。 文章进一步深入到数据类型和函数行为的细节对比。例如，JavaScript中instanceof和typeof的混乱结果、Groovy的flow typing如何在运行时根据赋值推断类型，以及Haskell如何通过类型系统保障不变性。这些具体代码示例生动展示了语言设计背后的哲学：动态语言偏向灵活性，静态语言强调安全性。通过这样的跨语言比较，读者能更直观地理解不同类型系统的适用场景，比如Groovy如何在兼容Java的同时融入函数式特性，而Haskell又如何通过纯类型系统避免运行时错误。
JavaScript 类型浅解
作者从JavaScript类型的核心议题出发，深入浅出地解析了这门语言的类型体系。文章首先厘清了基本类型（如Undefined、String）与引用类型（如Object、Array）的根本区别——前者值存于栈内存，后者通过指针引用堆内存中的实体。 接着，作者指出常用的typeof和instanceof在类型判断上存在诸多“不靠谱”的坑，并给出一个利用Object.prototype.toString.call实现的可靠判断函数。在类型转换部分，重点解释了“+”运算符的双重角色如何导致令人困惑的结果。 文章的核心难点在于引用类型的复制。作者详细演示了直接赋值导致多个变量指向同一对象、修改相互影响的现象，进而引出“浅拷贝”与“深拷贝”的概念。通过Array.slice和循环遍历实现浅拷贝后，进一步展示了嵌套对象中浅拷贝的局限性，并提供了一个支持深拷贝的递归copy函数实现方案，清晰展示了如何逐层复制以完全解耦原始对象与新对象。
类型的本质和函数式实现
这篇文章从一个具体的二叉树迭代器实现问题出发，引出了一个更深层的编程概念：类型的本质是什么？作者指出，许多人习惯于将“类型”等同于特定的数据结构（如Pair是一个包含两个字段的结构体），但这其实偏离了本质。 文章的核心观点是，**类型的本质是由它所定义的一组操作（Operation）以及这些操作必须满足的关系或不变式（Invariant）来刻画的**。作者通过Pair和Stack两个例子，清晰地展示了如何用形式化的“类型规范”来定义类型，并强调了基于规范进行测试（黑盒测试）与陷入实现细节（白盒测试）的区别。 理解了这一点，就能跳出“必须用某种结构存储数据”的定势。文章进一步对比了两种实现方式：一种是基于具体数据结构的传统实现，另一种是函数式编程中基于闭包（Closure）的实现。后者完全忠实于类型规范，直接用函数返回满足操作需求的对象，使得代码与规范高度对应，验证起来更直观。 最后，作者将这一思想应用到最初的问题上。如果将迭代器（Iterator）抽象为符合列表（List）规范的类型，那么为任何数据结构（包括二叉树）实现迭代器，就转变为：如何基于该数据结构的遍历算法，来实现List规范定义的`first`、`rest`等操作。这提供了一种从规范推导实现的通用思路。
真正动态的动态语言
从“一加一等于几”这个看似简单却充满哲学意味的问题出发，这篇探讨了动态语言在编程世界中的真正含义。作者首先以静态语言的严格类型系统为对照，指出动态语言的核心优势并非仅在于语法灵活性，而是其运行时的适应能力和元编程潜力。文章通过分析Python、JavaScript等语言的实际案例，展示了动态类型如何允许变量在运行时改变类型，以及鸭子类型、元类等特性如何赋予开发者高度的表达自由度。例如
[Perl]Moose::Manual::Types-Moose 的类型系统
这篇讲的是 Moose 框架中那套功能强大的类型系统，如何从 Perl 原生的简单标量、数组、哈希等基础类型出发，构建出一套更丰富、更安全的编程范式。作者从 Perl 的基本类型定义切入，对比了 Moose 类型系统与传统 Perl 类型处理方式的关键差异：原生 Perl 类型检查松散，更多依赖运行时警告；而 Moose 引入了声明式的类型约束，比如 Int、Str 以及自定义子类型，能在代码运行时就提前捕获类型错误，并支持类型组合（如 `ArrayRef[MyClass]`）。 文章还具体阐述了 Moose 类型系统的巧妙设计，比如通过类型强制转换（coercion）在数据输入时自动转换格式，使得代码更健壮；或者利用类型角色（type roles）实现灵活的类型复用。对比来看，Moose 类型更适合大型项目或需要严格数据验证的场景，能提升代码的可维护性和可靠性；而原生 Perl 类型则胜在轻量和简单脚本中的快速开发。 最后，作者通过实例展示了如何自定义类型和错误处理，让开发者能直观感受到这套系统如何将类型安全融入 Perl 的动态特性中，从而写出更清晰、更少 bug 的代码。
三谈类型问题：ECMAScript为什么错了？
这篇讲的是ECMAScript（即JavaScript）在类型系统设计上的一些根本性问题。作者从语言设计的第三篇系列文章出发，直指ECMAScript类型处理机制中的几个“错误”。核心批判集中在几个方面：语言中混乱的强制类型转换规则（如 `==` 与 `===` 的怪异行为），以及过于宽松的隐式转换带来的不可预测性。文章指出，这些设计虽然为早期Web的灵活性提供了便利，却为现代应用埋下了“类型不安全”的隐患，导致了无数难以追踪的Bug。 作者进一步探讨了这些设计选择如何与更现代、更注重类型安全的语言（如TypeScript或静态类型语言）的理念背道而驰。他不仅分析了技术上的缺陷，更从语言设计哲学的角度，质疑了某些历史妥协的长期代价。对于前端开发者而言，这篇文章能帮助你更深刻地理解日常编码中那些“坑”的根源，并思考如何在实践中规避风险。
再谈JavaScript的数据类型问题
这篇讲的是JavaScript中那些看似简单却总在关键时刻惹出麻烦的数据类型问题。作者从开发者日常编码时遇到的困惑出发，系统梳理了基本类型与引用类型的本质区别、`typeof`运算符的诡异行为，以及隐式类型转换的几条关键规则。 文章重点剖析了几个经典“坑点”：比如`null`的`typeof`结果是`"object"`这一历史原因导致的陷阱，对象与数组在比较时的行为差异，以及`==`与`===`在不同场景下的选择依据。它不仅仅罗列知识点，更结合实际代码示例，展示了这些特性如何导致非预期的bug，并给出了明确的编码建议。 读完能让你对JavaScript的类型系统建立起更扎实的心智模型，下次处理表单数据或进行复杂条件判断时，能更清醒地避开那些隐蔽的陷阱。