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 编辑 ]

MMMIX

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


多谢指点。

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

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

pass12163com

最好的办法就是直接 instance Enum

多谢指点。

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

MMMIX

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

最好的办法就是直接 instance Enum

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)

izhier

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

izhier

原帖由 MMMIX 于 2009-4-28 16:38 发表
这个实际和 FP 一点关系都没有，是 Haskell 的 type class 在起作用。

嗯，应该是 haskellic

MMMIX

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

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

MMMIX

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

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

MMMIX

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

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

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