格局GHCI

Question

匹配在學校exercice

我有這個功能

bar :: Float -> Float -> Float 
bar x 0 = 0 
bar 0 y = 0 
bar x y = x * y 

我在GHC鍵入它作爲

let bar x 0 = 0; bar 0 y = 0; bar x y = x * y 

和評估

bar foo 0 
bar 0 foo 

我要求修改欄使用'|'所以我想要做的事，如：

let bar x y = | x 0 = 0 | 0 y = 0 | x y = x * y 

但在ghci中我得到了

parse error on input '=' 

我怎樣才能做到這一點在GHCI？ 使用模式匹配（'|'）的事實會改變什麼嗎？

Answer 1

看語法使用守衛：

bar x y | x == 0  = 0 
     | y == 0  = 0 
     | otherwise = x * y 

寫在一行中GHCI：

let bar x y | x == 0 = 0 | y == 0 = 0 | otherwise = x * y 

Answer 2

使用文件

不要直接鍵入的代碼到ghci中除非它真的是單線。

將您的代碼保存在名爲PatternMatch.hs的文本文件中，並通過鍵入將其加載到ghci中。

:l PatternMatch.hs 

，然後如果你做出改變（並保存），您可以重新加載該文件在ghci中鍵入

:r 

或者，你能說出你的文件之後，鍛鍊他們的，或者只是有一個reusablle Temp.hs如果它真的是一次性代碼。

通過將內容保存在文本文件中，您可以更輕鬆地編輯和重用。

模塊

稍後您將收集在一起使用適當的模塊相關的功能，使他們能夠進口到其他程序。例如，你可以有

module UsefulStuff where 

pamf = flip fmap 

保存在一個文件名爲UsefulStuff.hs，然後在另一個文件中，你可以

import UsefulStuff 

，然後使用功能從UsefulStuff那裏。

對於你現在正在做的事情來說，模塊是矯枉過正的，但是獲得編輯，保存，重新編譯，測試和重複的工作流程，你可以節省很多努力。