在Haskell中使用保护程序编写产品函数

Question

我需要以product两种方式编写函数:

1. 使用卫兵
2. 使用if-then-else

这样函数返回m到n的乘积.

例:

product 3 5

返回3*4*5 = 60

谢谢

Answer 1

这听起来像是一个家庭作业问题,所以不要只是在你身上放下代码,让我们解决这个问题:

输入签名

Haskell是一种具有强类型的函数式语言,因此最好从编写函数的类型签名开始.您的示例显示了两个整数参数和一个整数返回值.我们将其编码为:

product :: Int->Int->Int

这读作" product是一个需要两个Ints并返回一个的函数Int." (还有其他更正确的方法来阅读这个,但那是另一天)

递归

我们将在Haskell中使用一个通用模式.因为在这种情况下我们需要跟踪中间值,所以我们将编写第二个函数product'来获取额外的参数,即运行的产品.

product' :: Int->Int->Int->Int
product' accumulator current final = product' (accumulator*current) (current+1) final

在每次迭代时,这将采用最近的累计值乘以当前值并将其作为新累加器传递,它将获取当前值并将其作为新电流加1,并将最终传递给最终值.为了开始,我们编写了我们的原始函数:

product i f = product' 1 i f

或以无点符号表示

product = product' 1

问题是product'代码将永远循环.我们需要一种方法来阻止当前的流量大于最终流量.

逆天

而不是重写关于警卫模式的书,我会把你送到书上.简而言之,在你做某事之前,他们会给你一个布尔值.我们将使用它们来阻止我们的递归.

product' :: Int->Int->Int->Int
product' accumulator current final 
    | current <= final = product' (accumulator*current) (current+1) final
    | otherwise = accumulator

只要current小于或等于final我们继续递归一旦它不是最后的答案是在累加器中.

IF-THEN-ELSE

防护装置可以用if机械方式替换为构造(可能是深度嵌套).

product' :: Int->Int->Int->Int
product' accumulator current final = 
  if current <= final 
    then product' (accumulator*current) (current+1) final
    else accumulator

最后的想法

不要写这样的代码.有许多非常通用的高级功能可以完成这些类型的事情.这是编写产品的更好方法:

product i f = foldl (*) 1 [i..f]