带有剩余参数的类型球拍中的 Zip 函数

Question

我正在努力研究将任意数量的列表压缩在一起的函数的语法。我目前有：

(define (zip . [lsts : (Listof Any) *]) (apply map (inst list Any) lsts))

评估时会导致以下错误：

错误：struct：exn：fail：syntax /Applications/Racket v6.6/collects/racket/private/kw.rkt：929：25：类型检查器：“apply”中函数的参数错误：

域：(-> ab ... bc) (a 列表) (b 列表) ... b

(-> ac) (a 对 (a 列表))

参数： (-> Any * (Listof Any)) (Listof (Listof Any)) *

in: (#%app apply map (#%表达式列表) lsts)

因为这些评价还不错：

(apply map (inst list Any) '(("asd" 1 2) ("cat" 3 4))) ;;(("asd" "cat") (1 3) (2 4))

(define (test . [lsts : (Listof Any) *]) lsts) (test '(1 2 3) '(2 3 "dogs")) ;;((1 2 3) (2 3 "dogs"))

我认为类型检查器会抱怨apply只要没有传入参数就会失败，因为我在尝试评估以下内容时遇到了类似的错误：

(apply map (inst list Any) '())

错误：struct：exn：fail：syntax /Applications/Racket v6.6/collects/racket/private/kw.rkt：929：25：类型检查器：“apply”中函数的参数错误：

域：(-> ab ... bc) (a 列表) (b 列表) ... b

(-> ac) (a 对 (a 列表))

参数：(-> Any * (Listof Any)) Null *

in: (#%app apply map(#%表达式列表)(quote()))

但我不确定如何指定该函数至少需要一个参数（列表）。

Answer 1

该函数map需要至少一个列表作为参数。zip考虑一下如果您使用零参数调用会发生什么。那么您将map使用零列表进行调用，这是不允许的。因此，您必须限制您的zip函数接受一个或多个参数。您可以通过在其余参数之前指定一个参数来做到这一点，如下所示：

\n\n

#lang typed/racket\n\n(define (zip [lst : (Listof Any)] . [lsts : (Listof Any) *])\n  (apply map (inst list Any) lst lsts))\n

\n\n

还有一件事：如果它是多态的，那就更好了。

\n\n

#lang typed/racket\n\n(: zip : (\xe2\x88\x80 (A) (-> (Listof A) (Listof A) * (Listof (Listof A)))))\n(define (zip lst . lsts)\n  (apply map (inst list A) lst lsts))\n

\n\n

请注意，域仍然需要是(Listof A) (Listof A) *而不仅仅是(Listof A) *.

\n\n

更新：更多的多态性

\n\n

实际上可以让多态性变得更好，这样如果你给它正好 3 个列表，它就会生成一个恰好包含 3 个元素的列表。这个版本的zip类型是

\n\n

(: zip : (\xe2\x88\x80 (A B ...)\n            (-> (Listof A)         ; first input\n                (Listof B) ... B   ; next n inputs, where n is the number of B type-arguments\n                (Listof (List A B ... B)))))\n

\n\n

但是，如果主体是(apply map list lst lsts)，则list函数将需要类型

\n\n

(\xe2\x88\x80 (A B ...) (-> A B ... B (List A B ... B)))\n

\n\n

但是，list用作函数值的类型只有(All (a) (-> a * (Listof a)))。相反，我们可以定义一个新函数listd，其行为与 完全相同list，但使用新类型

\n\n

;; (listd x y z) = (list x y z)\n;; but it\'s assigned a type that\'s more convenient for `zip`\n(: listd : (\xe2\x88\x80 (A B ...) (-> A B ... B (List A B ... B))))\n(define (listd a . bs)\n  (cons a bs))\n

\n\n

使用这个，点多态版本zip可以定义如下：

\n\n

(: zip : (\xe2\x88\x80 (A B ...)\n            (-> (Listof A)         ; first input\n                (Listof B) ... B   ; next n inputs, where n is the number of B type-arguments\n                (Listof (List A B ... B)))))\n(define (zip lst . lsts)\n  (apply map (inst listd A B ... B) lst lsts))\n

\n\n

使用它：

\n\n

> (zip (list \'a \'b \'c) (list 1 2 3) (list "do" "re" "mi"))\n- : (Listof (List (U \'a \'b \'c) Positive-Byte String))\n\'((a 1 "do") (b 2 "re") (c 3 "mi"))\n

\n