在模块中创建多项式函数 - 未绑定标识符

Question

在我的测试中，我被要求编写一个函数 createPolynomial，它将数字 0、...、-1 和 returns 的列表作为参数作为函数的输出。 returned 函数取一个数 0 和 return 多项式 0 ⋅ 0 + ⋯ + −1 ⋅ −1 在 0 处的值。为此，我使用了内置的 pl expt 函数取两个数字 and , 和 returning ^

我得到了部分代码，我会 post 在下面写下我的答案，想在家测试我的答案，但我做不到运行尽管我的老师标记了我的答案作为正确的。任何帮助将不胜感激

这是部分代码：

(: createPolynomial : (Listof Number) -> <-fill in->)
(define (createPolynomial coeffs)
 (: poly : (Listof Number) Number Integer Number ->
Number)
 (define (poly argsL x power accum)
 (if <-fill in->
 <-fill in->
 <-fill in-> )
  (: polyX : Number -> Number)
     (define (polyX x)
     fill in)
     fill in)

And here is my answer:

   (: createPolynomial : (Listof Number) -> (Number -> Number))
(define (createPolynomial coeffs)
  (: poly : (Listof Number) Number Integer Number ->
     Number)
  (define (poly argsL x power accum)
    (if (null? argsL)
        accum
    (poly (rest argsL) x (+ power 1) (+ accum (* (first argsL) (expt x power))))))
  (: polyX : Number -> Number)
  (define (polyX x)
    (poly coeffs x 0 0))
  (polyX x))



and here are some test for the code:

> (createPolynomial '(1 2 4 2))
- : (Number -> Number)
#<procedure:polyX>
(define p2345 (createPolynomial '(2 3 4 5)))
(test (p2345 0) =>
 (+ (* 2 (expt 0 0)) (* 3 (expt 0 1)) (* 4 (expt 0 2)) (* 5
(expt 0 3))))
(test (p2345 4) =>
 (+ (* 2 (expt 4 0)) (* 3 (expt 4 1)) (* 4 (expt 4 2)) (* 5
(expt 4 3))))
(test (p2345 11) => (+ (* 2 (expt 11 0)) (* 3 (expt 11 1)) (* 4
(expt 11 2)) (* 5 (expt 11 3))))
(define p536 (createPolynomial '(5 3 6)))
(test (p536 11) => (+ (* 5 (expt 11 0)) (* 3 (expt 11 1)) (* 6
(expt 11 2))))
(define p_0 (createPolynomial '()))
(test (p_0 4) => 0)

我得到的错误是：

x: unbound identifier in module in: x

我猜它必须用括号做点什么，但我不知道是什么和在哪里...

Answer 1

createPolynomial 是 returns 类型 (Number -> Number) 的函数 - 它是 curried。您正在返回 application (polyX x)，其中 x 确实是未绑定的。通过将其包装在 lambda 中将其转换为函数：

(λ (x) (polyX x))

... 5 个测试通过。

在模块中创建多项式函数 - 未绑定标识符

Create Polynomial function- unbound identifier in module

tail-recursion

racket