【发布时间】:2013-03-28 22:47:46
【问题描述】:
如何通过给出索引号到达元组的元素?或者还有其他类似的方法吗? 例如,我有一个包含八个元素的元组,我想达到它的第 6 个元素
【问题讨论】:
-
传统观念是,如果你有一个 8 元素元组,它应该是一个数据类型。
如何通过给出索引号到达元组的元素?或者还有其他类似的方法吗? 例如,我有一个包含八个元素的元组,我想达到它的第 6 个元素
【问题讨论】:
一种方法是使用 lens 包。
> import Control.Lens
> Prelude Control.Lens> view _1 (1,2)
1
> Prelude Control.Lens> view _2 (1,2,3)
2
> Prelude Control.Lens> view _3 (1,2,3,4)
3
> Prelude Control.Lens> view _4 (1,2,3,4,5)
4
_? 运算符只定义到_9,但如果需要,定义更多是相当容易的。
【讨论】: