面向数据编程专注于将数据建模为数据（而不是对象）。记录用于数据，密封类型用于替代方案，让我们可以对不可变数据进行建模，其中非法状态不可表示。结合模式匹配，我们获得了一种安全、强大且可维护的 ad-hoc 多态性方法，它让我们可以在数据上定义操作，而无需用功能对其进行过载。

请务必查看 节目说明。