不能在输入变量上使用列表函数 - 球拍

Question

在构建了一个完整的函数之后，我遇到了很多问题，现在我将它分解成小部分。

我的函数有两个变量，一个是一个列表，另一个是一对。使用 (first var1) 时出现错误。

代码如下：

#lang pl

    (define (maxMin list maxiMini)
      (if (null? maxiMini)
          (first list)
          2
      )
    )

这是错误：

类型检查器：多态函数 `first' 无法应用于 论据：

域：（一个列表）

        (Pairof a (Listof b)) 

参数：任意

在：（第一个列表）

在这个 youtube 教程的第 1 分钟和第 10 秒时，教授使用第一个函数的方式与我相同，并且确实在那里工作。

我的猜测是 Racket 不将 myList 识别为列表并将其设置为“任何”这可能吗？

Answer 1

由于您遇到类型检查器错误，我假设您使用的是#lang typed/racket，或者它的一些变体。

如果您仔细查看错误本身，它会告诉您first 是一个多态 函数，这意味着它可以应用于不同类型的参数。此外，该错误还说明了函数first 在“域：”下期望的不同类型，即。它的参数应该是(Listof a) 或(Pairof a (Listof b))。

问题是，您实际上并没有为函数maxMin 定义类型。如果省略类型注释，则推断的类型通常是Any。因此，您的函数不会进行类型检查，因为 first 不期望 Any 类型，这就是它所得到的。

既然你说了

我的函数有两个变量，一个是列表，另一个是一对

为您的函数考虑以下类型注释：

(: max-min (-> (Listof Any) (U Null (Pairof Any Any)) Any))
(define (max-min lst maxi-mini)
  (if (null? maxi-mini)
      (first lst)
      2))

它将进行类型检查，您可以拥有：

(max-min '(1 2 3) '())
=> 1