Haskell:代数数据与元组

2024-03-24

data Ray = Ray Vector Vector

or

type Ray = (Vector, Vector)

在惯用的 Haskell 中哪个是首选?为什么我应该使用其中一种而不是另一种?
我不关心表现。

它似乎与功能没有什么区别,例如:

trace :: Ray -> …

trace (Ray x d) = …
-- OR
trace (x, d) = …

The data版本是首选,因为它更清楚地表明程序员的意图 - 通过创建一个新类型,您向所有人指出这不仅仅是一个元组,而是一个有意义的语义实体,一个Ray.

这样就可以进一步依赖类型系统,并使用自定义实例Ray,并且在元组中不可能进行优化。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

Haskell:代数数据与元组 的相关文章

随机推荐