haskell：自定義數據類型中的計算字段

Question

是否可以執行某些操作，該操作等同於在數據類型中具有從數據類型中的其他字段自動計算的字段。 例如：

data Grid = Grid
  { x :: Int
  , y :: Int
  , c = (x * y) :: Int
  }

然后myGrid = Grid 5 6

或者這必須是或只能用Class做？

data Grid = Grid
  { x :: Int
  , y :: Int
  }

class Calculated a where
  c :: a -> Int

instance Calculated Grid where
  c g = x g * y g

Answer 1

沒有任何額外要求，這只是一個功能。

c :: Grid -> Int
c g = x g * y g

Answer 2

如果由於某種原因，您想要預先計算c並將其存儲在值中，請定義一個智能構造函數。

data Grid = Grid {x :: Int, y :: Int, c :: Int}

mkGrid :: Int -> Int -> Grid
mkGrid x y = Grid x y (x * y)

Haskell中的數據和函數分離比OO語言更嚴格。 data僅定義新類型，而不是該類型的操作。 記錄語法僅為某些類型x提供表格Grid -> x投影; 它不會讓你定義任何更復雜的東西。