问题标签 [plai]

有人可以尝试解释这两个功能：球拍PLAI方案中的“定义类型”和“类型案例”吗？我是一个菜鸟程序员，我不太了解球拍网站上的文档。如果有人可以提供示例，将不胜感激。谢谢。

我正在阅读编程语言：应用程序和解释书第 6 章http://cs.brown.edu/courses/cs173/2012/book/From_Substitution_to_Environments.html

我已经应用了本书中描述的修复程序，但缺点是没有将类型添加到源代码中引用的空列表中。我认为这是一个按值传递/按引用传递的事情，关于如何设置 mt-env 时没有作为参数传入的任何线索？

如果需要，下面是上下文完整代码的链接，interp 函数的 appC 案例是我的问题区域的具体位置，谢谢。 https://github.com/MickDuprez/plai/blob/master/Chapter%206/chapter-6.rkt

我的任务是让它测试运行：

我到目前为止的源代码看起来像这样

将包含 WAE 表达式的字符串解析为 WAE AST (define (parse str) (parse-sexpr (string->sexpr str)))

根据替换规则，用第一个参数中的第三个参数替换第二个参数；结果表达式不包含第二个参数的自由实例

通过将 WAE 表达式简化为数字来评估它们

bin-op : (number number -> number) (listof number or number) (listof number or number) -> (listof number)) 对来自两个输入列表或数字的所有数字组合应用二进制数值函数，并返回所有结果的列表

有人可以告诉我如何更改我的功能以使上述测试正常工作吗？

先感谢您。

我正在玩plai类型的语言。我有一个应该使用谓词函数（返回真或假）和项目列表的函数。

我的代码如下所示：

我想表达的是pf可以消耗 typeIndexItemT和 return的值bool。

可以用plai-typed lang写吗？如果是，如何？

我正在编写一个函数，它接受一个函数和一个列表作为参数。参数函数和列表必须具有相同类型的值。我如何确保这一点？

我努力了：

但是，我无法让它工作。我也浏览了辫子教程，但没有发现任何相关内容。

是否有可能拥有一个接受特定返回类型的函数的函数？