Question

我想解决一个动态生成的方程式。我找到了一个好的图书馆在HackageDB中，可以使用Newton-Raphson方法计算近似根。然而，牛顿函数采用函数（类型签名Num a => a - > a）作为等式。我的问题是，是否可以将功能附加在一起？例如:(语法不正确）

join :: (a->a) ->(a->a)->(a->a)
join func1 func2 = func1+func2


For instance:
if func1 = 1+2*X+5*X^2 , func2 = 5 + 4*x + 2*x^3
then func3 = join func1 func2  
func3 is `6 + 6*x +  5*x^2 + 2*x^3?

我正在考虑两种方法来做到这一点。因为每个小函数都是动态生成的，所以我必须将函数简化为上面的形式，然后将信息存储在数据类型中，例如:(不正确的语法）

data FuncInfo = Info [Double]    
  if 1 + 2*x + 3*x^2   ---->  Info [1,2,3]
     5 + 4*x^3         ---->  Info [5,0,0,4]

这样添加两个数据并创建新函数应该很容易。然而，实际上由于动态生成的小函数确实是不容易做到的难以简化（一个小函数可能如下所示：10 / (1+x)^5）。

我想的另一种方法是将函数附加在一起，这样就不需要进行简化，也不需要存储到新的数据类型中，例如：

func1 = 10 / (1+x) ^5
func2 =  25 / (1+x) ^9
newfunc = (10 / (1+x) ^5) + (25 / (1+x) ^9)

Answer 1

不确定。但是，函数值必须有一个加法概念，因此我们必须限制类型为(Num b) => a -> b的函数。然后你可以简单地做

functionSum :: (Num b) => (a -> b) -> (a -> b) -> (a -> b)
functionSum f g x = (f x) + (g x)

（我避免使用名称join，因为大多数人可能会想到this完善的功能。）

所以，例如，如果

func1 :: Double -> Double
func1 x = 1+2*x+5*x^2

func2 :: Double -> Double
func2 x = 5+4*x+2*x^3

然后

*> :t (functionSum func1 func2)
(functionSum func1 func2) :: Double -> Double

您似乎在问题的某些部分中指出您将多项式存储为系数列表。如果[a0, a1, a2, ...]描述了多项式a0 + a1 * x + ...，那么您还可以使用zipWith (+) list1 list2来生成表示两个多项式之和的新系数列表。考虑处理不同长度的有限列表的情况（提示：在较短的列表中添加零以匹配较长的长度）。

如何加入两个高阶函数？

1 个答案: