haskell如何實現(xiàn)首尾相連的“環(huán)”

pass12163com

haskell如何實現(xiàn)“環(huán)”——首尾相連

data Week = Monday | Tuesday | Wednesday | Thursday | Friday | Saturday | Sunday
        deriving (Show,Enum,Eq)

想要實現(xiàn)：next  Monday = Tuesday,next Tuesday = Wednesday...next Sunday應(yīng)該是Monday，如此循環(huán)。

succ Sunday和pred Monday都是非法的
現(xiàn)在只能如下表達(dá)

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

能否有更一般更抽象的實現(xiàn)呢？

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

izhier

這一個可以嗎？
用cycle實現(xiàn)首尾相連

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

復(fù)制代碼

izhier

這個也可以

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

bengshi

原帖由 izhier 于 2009-4-27 10:03 發(fā)表
這個也可以

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

這個很棒。只需確定循環(huán)周期。

上例中的n是個問題。

izhier

原帖由 bengshi 于 2009-4-27 10:45 發(fā)表
上例中的n是個問題。

嗯
效率太低了

pass12163com

謝謝各位的回復(fù)。
用mod的確夠一般化，只是看起來像用的數(shù)組下標(biāo)概念，少了FP的意味。

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

MMMIX

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

想要實現(xiàn)：next  Monday = Tuesday,next Tuesday = Wednesday...next Sunday應(yīng)該是Monday，如此循環(huán)。

succ Sunday和pred Monday都是非法的

你不應(yīng)該 deriving Enum，而應(yīng)該自己 instance Enum。

izhier

原帖由 MMMIX 于 2009-4-27 17:43 發(fā)表
應(yīng)該自己 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"
    

復(fù)制代碼

run

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

復(fù)制代碼

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

MMMIX

原帖由 izhier 于 2009-4-28 09:23 發(fā)表

難道是：

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

實現(xiàn) toEnum 的時候?qū)ζ鋮��?shù)先取模。

izhier

原帖由 MMMIX 于 2009-4-28 13:05 發(fā)表
實現(xiàn) toEnum 的時候?qū)ζ鋮��?shù)先取模。

嗯
應(yīng)該是
toEnum n = case n `mod` 7 of
這樣寫