27、数据类型中的记录与变体：深入解析

数据类型中的记录与变体：深入解析

1. 类型推断与ML语言特性

在ML及其派生语言中，类型推断的关键在于统一两个表达式的（部分）类型信息。当类型系统的规则表明两个表达式的类型必须相同时，关于每个表达式已知的信息也适用于另一个。若发现不一致，则会被识别为静态语义错误。推断后类型仍未完全确定的表达式会自动成为多态的，这就是隐式参数多态。

ML家族语言还具备强大的运行时模式匹配功能和几种非常规的结构化类型，包括有序元组、（无序）记录、列表，以及一种涵盖联合和递归类型的数据类型机制。

以下是一些相关的思考问题：
- 类型等价和类型兼容有什么区别？
- 结构等价和名称等价对于类型各有什么优势？哪些语言分别使用这两种方法？
- 严格名称等价和宽松名称等价有什么区别？
- 在Ada中，派生类型和子类型有什么区别？
- 类型转换、类型强制转换和非转换类型转换有什么区别？
- 总结支持和反对强制转换的论点。
- 在什么情况下类型转换需要运行时检查？
- “通用引用”类型有什么用途？
- 什么是类型推断？请描述它出现的三种上下文。

2. 记录（结构）和变体（联合）

2.1 记录类型概述

记录类型允许将不同类型的相关数据存储和操作在一起。不同语言对记录类型有不同的称呼和定义方式：
- Algol 68、C、C++和Common Lisp使用“结构”（用关键字 struct 声明）来代替记录。
- Fortran 90将其记录简单称为“类型”，这是除数组外唯一的程序员定义类型，数组有其特殊的语法。