Question

我在球拍中使用pl：https://pl.barzilay.org/ 可以在此处找到下载：http://pl.barzilay.org/pl.plt

( : f1 : -> (Pairof Symbol String))
(define (f1)
  (cons 'wwww "aaa"))

错误：

   Type Checker: Polymorphic function `cons' could not be applied to arguments:
Argument 1:
  Expected: a
  Given:    'wwww
Argument 2:
  Expected: (Listof a)
  Given:    String

Result type:     (Listof a)
Expected result: (Pairof Symbol String)
 in: (cons (quote wwww) "aaa")

我做错了什么以及如何解决？

Answer 1

我在班上使用的#lang pl语言是Typed的变体球拍。其中一个变化是cons受到更多限制类型（正如您所见），它只允许构建正确的列表。

（作为旁注，没有正式文件的原因是这个语言旨在用于课堂，因此它是一种东西这是受随机教育需求的影响而不是某种东西用于随机的球拍代码...所以我的课堂笔记是主要的地方那＆＃34;文件＆＃34;语言。）

返回一对 - 语法错误

1 个答案: