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

pass12163com

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

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都是非法的
现在只能如下表达

next :: Week->Week
next x |x==Sunday = Monday
         |otherwise = succ x

能否有更一般更抽象的实现呢？

[ 本帖最后由 pass12163com 于 2009-4-27 01:33 编辑 ]

pass12163com

谢谢各位的回复。
用mod的确够一般化，只是看起来像用的数组下标概念，少了FP的意味。

[ 本帖最后由 pass12163com 于 2009-4-27 16:33 编辑 ]

pass12163com

查了些资料也没明白instance Enum和deriving Enun的差别.......能否详解？

感觉这样绕了个弯，还不如直接枚举next Mon = Tue.....next Sun =  Mon
previous Mon = Sun....previous Sun

请赐教。

pass12163com

谢谢详解，清晰了。

只需定义最小组合的函数集，其他的系统会自动生成(因为其他函数是使用这些最小组合的函数来定义的)

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

deriving (Class)是不是语法糖，这个我也没有见到过确切的文字。但我认为不是。

pass12163com

呵呵，只是单纯从构建next的代码规模来说的，并无它意。
不过我想在instance的基础上重新考虑一些问题，那时可能会有很多甜头吧。

pass12163com

这个算是haskell风格的吧：一个list头部的next就是其尾部的head，剩下的交给递归解决。当然还要定义好边界。

next :: (Eq a)=>a->[a]->a
next x xs
        |(x `elem` xs) == False = error "error"
        |x==last xs = head xs
        |x==head xs = head $ tail xs
        |otherwise = next x (tail xs)

pass12163com

最好的办法就是直接 instance Enum

多谢指点。

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