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

izhier

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

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

复制代码

izhier

这个也可以

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

bengshi

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

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

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

上例中的n是个问题。

izhier

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

嗯
效率太低了

pass12163com

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

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

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。

izhier

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

难道是：

1. 
   
2. data Week = Mon | Tue | Wed | Thu | Fri | Sat | Sun
   
3.         deriving (Show, Eq)
   
4. 
   
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

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

复制代码

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

MMMIX

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

难道是：

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

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

izhier

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

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