Haskell中的數據初始化和數據成員更改

-1

我是Haskell的新手，我無法弄清楚如何聲明「數據」類型以及如何使用該類型初始化變量。我也想知道如何更改該變量的某些成員的值。對於的exaple：Haskell中的數據初始化和數據成員更改

data Memory a = A 
    { cameFrom :: Maybe Direction 
    , lastVal :: val 
    , visited :: [Direction] 
    }

方向是包含N，S，E的數據類型，W val爲一個int類型

init :: Int -> a 
init n = ((Nothing) n []) gives me the following error: 


The function `Nothing' is applied to two arguments, 
but its type `Maybe a0' has none 
In the expression: ((Nothing) n []) 
In an equation for `init': init n = ((Nothing) n [])

我怎樣才能解決這個問題？

UPDATE：那做到了，非常感謝你，但現在我還有一個問題

move :: val -> [Direction] -> Memory -> Direction 
move s cs m | s < m.lastVal = m.cameFrom 
      | ...

這給了我以下錯誤：

Couldn't match expected type `Int' with actual type `a0 -> c0' 
    Expected type: val 
     Actual type: a0 -> c0 
    In the second argument of `(<)', namely `m . lastVal' 
    In the expression: s < m . lastVal

更新2：同樣，這幫助我很多，非常感謝你

另外，我還有一個問題（對不起，是這樣一個麻煩）

我如何ADRESS一種例如只有一個元素，如果我有

Type Cell = (Int, Int) 
Type Direction = (Cell, Int)

我該如何着手，如果我想要一個細胞變量比較方向可變的電池元件？

來源

2012-04-10 cpp_ninja

你的意思'lastVal ::了'，與'數據存儲了'匹配？ – dave4420 2012-04-10 16:40:32

這些都是很基本的問題;你有沒有閱讀過關於記錄和其他數據類型的部分？ – 2012-04-10 18:24:01

至於更新。語法

m.lastVal

和

m.cameFrom

是不是你想要的。而是

move s cs m | s < lastVal m = cameFrom m

訪問器只是函數，所以用在前綴形式。 Haskell中.用於命名空間分辨率（這是不是路徑依賴的）和函數組合

(.) :: (b -> c) -> (a -> b) -> a -> c 
(.) f g x = f (g x)

來源

2012-04-10 17:22:22

初始化：

init :: Int -> Memory Int 
init n = A {cameFrom = Nothing, lastVal = n, visited = []}

要更改值：嚴格來說你不改變值，返回另一個不同的值，例如：

toGetBackTo :: Direction -> Memory a -> Memory a 
toGetBackTo dir memory = memory {cameFrom = Just dir, visited = dir : visited memory}

來源

2012-04-10 16:39:16 dave4420

Haskell中的數據初始化和數據成員更改

回答

相關問題