lisp - 我的 "lisp-pl language"抛出错误

Question

干杯!我有一个关于我需要用 pl 语言编写的函数契约(Contract)的问题(一个 lisp 贡献)契约(Contract)假设有一个(类型 A 列表)(类型 b 列表)并返回列表列表(类型 A B)同时地 。这是我到目前为止得到的，但它不起作用:

(: zip2 : (All (A B) (Listof A) (Listof B) -> (Listof (list A B))))
(define (zip2 listA listB)
  (cond [(null? listA) (list (null null))]
        [else (list ((car listA) (car listB)))])
  (zip2 ((rest listA) (rest listB))))

(equal? (list (list 1 'a) (list 2 'b) (list 3 'c)) (zip2 (list 1 2 3) (list 'a 'b 'c)))

Answer 1

(define (zip2 listA listB)
 (cond [(null? listA) null]
       [else (cons (list (car listA) (car listB))
                   (zip2 (rest listA) (rest listB)))]))