我有一个动态规划算法,我发现我的Haskell实现非常令人满意,因为它允许我递归地定义主数组,如下所示:fill 0 0 = Entry Originf m i j
m = listArray dims [fill i j | (i, j) <- range dims]
其中f是一个中等复杂的函数Entry类型只是一个带有小注释的Doub
我有一个递归函数求和::Int -> Int,它返回所有自然数的和,从它的参数下降到零,例如,和3应该返回和3+2+1+0 = 6。sumdown :: Int -> Intsumdown x = x + sumdown(x-1)
我也有一个我不完全理解的定义,能不能有人帮我评估一下,告诉我为什么它可能比上面的定义更有效率