與邏輯

Question

大廈數據我有一個這樣的數據類型：喜歡各地的方案中使用

data FooBar = 
    FooBar { foo :: Double 
     , bar :: Double 
     , ter :: Double 
     } 

-- hypothetical builder with some random logic 
mkFooBar :: Double -> Double -> FooBar 
mkFooBar a b 
    | a < 5  = FooBar a b (a + b) 
    | a > 100 = FooBar a b (a * b) 
    | otherwise = FooBar (a^2) (b^2) ((a + b) ^2) 

和某些特定值：

fBLess5 = mkFooBar 1 200 
fBMore100 = mkFooBar 200 200 
fBSquared = mkFooBar 50 200 
-- and so on 

是這樣說，這在Haskell確定建築物預定義的值？如果fBLess5在程序中使用了N次，如果以這種方式寫入，它將被構建N次？

Answer 1

這將工作。通過將該值綁定到某個名稱上，無論您多久使用它，都要確保僅對其進行評估（至多）一次，然後進行共享。

（有一個例外，雖然：

foo :: (Num a) => a 
foo = 42 

這種明顯的常數是多態的，並會在每次使用（這是真的fromInteger (42 :: Integer)）被重新計算，但並不適用於你的代碼，這是所有。單形）。