haskell如何实现首尾相连的“环”

MMMIX

原帖由 pass12163com 于 2009-4-27 01:30 发表
data Week = Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday
        deriving (Show,Enum,Eq)

想要实现：next  Monday = Tuesday,next Tuesday = Wednesday...next Sunday应该是Monday，如此循环。

succ Sunday和pred Monday都是非法的

你不应该 deriving Enum，而应该自己 instance Enum。

MMMIX

原帖由 izhier 于 2009-4-28 09:23 发表

难道是：

data Week = Mon | Tue | Wed | Thu | Fri | Sat | Sun
        deriving (Show, Eq)

实现 toEnum 的时候对其参数先取模。

MMMIX

原帖由 pass12163com 于 2009-4-28 15:24 发表
谢谢详解，清晰了。

其实在本例中，由于只涉及到succ  pred或者next  previous，所以重新定义哪怕是“最小的函数集合”，也没有多少甜头。

你想要啥甜头？

BTW，其实你可以重新定义个和 Enum 类似的 class, 例如叫做 EEnum, 然后 deriving 这个 EEnum。

MMMIX

原帖由 izhier 于 2009-4-28 14:55 发表
想问一下： deriving (Class) 是不是语法糖 ？

不是。如果是的话，deriving 也就不会有那么多限制了。

[ 本帖最后由 MMMIX 于 2009-4-28 16:38 编辑 ]

MMMIX

原帖由 izhier 于 2009-4-28 16:03 发表
感觉 instance 实现更优雅一些,更具 FP 特色

这个实际和 FP 一点关系都没有，是 Haskell 的 type class 在起作用。

MMMIX

原帖由 pass12163com 于 2009-4-28 15:59 发表
呵呵，只是单纯从构建next的代码规模来说的，并无它意。

有些时候，最好的方法并不一定是最省力(也即代码量最小)的方法。

MMMIX

原帖由 pass12163com 于 2009-4-29 22:04 发表
这个算是haskell风格的吧

最好的办法就是直接 instance Enum

MMMIX

原帖由 pass12163com 于 2009-4-30 14:00 发表


多谢指点。

不过在数据元素很多的情况下，instance Enum重新定义函数集非常单调乏味而繁重，如果再考虑函数的多态性，那会更糟糕。您说呢？

我说的最好的方法是针对顶楼的情况，不是说在所有情况下它都是最好的。