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

Question

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

Answer 1

原帖由 MMMIX 于 2009-4-28 13:05 发表
实现 toEnum 的时候对其参数先取模。

嗯
应该是
toEnum n = case n `mod` 7 of
这样写

Answer 2

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

难道是：

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

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

Answer 3

原帖由 MMMIX 于 2009-4-27 17:43 发表
应该自己 instance Enum。

难道是：

2. data Week = Mon | Tue | Wed | Thu | Fri | Sat | Sun
3.         deriving (Show, Eq)
5. instance Enum Week where
6.   fromEnum day = case day of
7.                                Mon -> 0
8.                                Tue -> 1
9.                                Wed -> 2
10.                                Thu -> 3
11.                                Fri -> 4
12.                                Sat -> 5
13.                                Sun -> 6
14.                                 _   -> error "invalid value constructor"
15.    
16.   toEnum n = case n of
17.                          -1 -> Sun
18.                          0  -> Mon
19.                          1  -> Tue
20.                          2  -> Wed
21.                          3  -> Thu
22.                          4  -> Fri
23.                          5  -> Sat
24.                          6  -> Sun
25.                          7  -> Mon
26.                          _  -> error "invalid number"

复制代码
run

2. *Main> succ Sun
3. Mon
4. *Main> pred Mon
5. Sun

复制代码
[ 本帖最后由 izhier 于 2009-4-28 09:36 编辑 ]

Answer 4

原帖由 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。

Answer 5

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

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

Answer 6

原帖由 bengshi 于 2009-4-27 10:45 发表
上例中的n是个问题。

嗯
效率太低了

Answer 7

原帖由 izhier 于 2009-4-27 10:03 发表
这个也可以

next :: Week -> Week
next x = toEnum $ mod (fromEnum x + 1) 7

这个很棒。只需确定循环周期。

上例中的n是个问题。

Answer 8

这个也可以

next :: Week -> Week
next x = toEnum $ mod (fromEnum x + 1) 7

Answer 9

这一个可以吗？
用cycle实现首尾相连

2. week = [Mon, Tue, Wed, Thu, Fri, Sat, Sun]
4. last.take n.cycle $ week

复制代码