我正在尝试在 typed/racket 中键入注释以下 function。 由于 add 是一个变量 arity function，我将输入类型指定为 Any *。 由于 map function 返回结果列表，因此它的类型可能为 (Listof Any)。 所以我尝试用(: add (-> ...

与 Haskell 的求和类型对应的 Racket/TypedRacket 是什么？ 例如： data MusicGenre = HeavyMetal | Pop | HardRock data MusicGenre = HeavyMetal | Pop | HardRock ...

以下在untyped racket中是没有问题的： 结果是pict包含三个不同颜色方块的图片。 但这在 Typed Racket 中是不可能的。 首先， for/list需要一个类型注解： 但是， (curry apply hc-append)的类型和(for/list …)形式的结果不一致： 这个 ...

好像是integer? 可以成功...非整数？ 为什么这段代码不进行类型检查？ ...

Typed Racket 似乎认为这个条件可以返回Void 。 为什么？ ...产生错误 为什么？ ...

我在 repl 中以(time (eval......))的形式评估了一个表达式（在启动时使用-I typed/racket ），并且出现了一个错误： 如何指定eval结果的数量和类型？ 我试过使用cast和assert ，它们产生了新的错误。 ...

Noob Racket/Typed Racket 用户在这里。 我想定义一个自定义类型，它表示从 0 到 1 的任何浮点数。 有谁知道如何创建这样的类型？ 感谢您的帮助！ 搜索了 Typed Racket 文档，但找不到某些类型的源代码，例如 Positive-Real。 ...

我在 Typed Racket 中试验命题，遇到了一个我以前从未见过的类型错误，并且无法做出正面或反面的判断。 示例代码：#lang typed/racket/base (require racket/fixnum) ; Version of fx= that takes two or more ...

有谁知道为什么即使计算正确也会导致 LISP 错误？ print_pascal 例程确实返回一个#f ，它可以返回一些东西。#!/usr/bin/racket #lang racket/base (define (pascal_value row column) (cond ((< r ...

我需要将 function 绑定到结构的属性。 我使用的是typed racket ，所以这意味着我还需要输入注释说 function。 这个 function 可以是任何function。 arguments 或它们的类型无关紧要。 它返回的值是什么或它的类型并不重要。 我正在寻找一种方法来注 ...

我正在使用 Typed Racket 中的 hash 表，并尝试使用来自racket/hash的（无类型） hash-union function 。 使用require/typed将其导入我的模块并调用它将通过类型检查器并编译。#lang typed/racket/base (require/t ...

我想在eopl中使用typed/racket实现“LET”语言，但遇到问题：我尝试实现三个函数（empty-env、extend-env、apply-env），但不知道怎么做标注类型信息，racket 无法自动推断出这三个函数的类型。 我尝试使用any，但还是遇到了问题： 球拍提示的错误是： ...

我正在编写一个系统，客户端将代码发送到服务器（在球拍中实现）以执行。 代码作为字符串接收。 我需要将该字符串转换为它所代表的球拍代码并执行它。 提取代码后，代码内的任何定义都需要可用。 当我运行以下命令时，我按预期返回1 。 但是，如果我尝试将字符串保存在变量source中，我会返回source: ...

我正在typed/racket中编写 function 以将表示十六进制值的Integers （0或1）列表转换为十进制（ Integer ）。 function：#lang typed/racket (: to-decimal (-> (Listof Integer) Integer)) ...

我有一个类型化球拍程序中的可选字符串列表，即 statements : (Listof (Option String)) 我有另一个接受(Listof String)函数，我知道除非引发异常，否则语句中的所有字符串都存在。 我想断言这个事实，但我不知道如何断言像(listof? string?) ...

n出现在错误消息的类型级别，它是什么？ 例子： (: trick (All (t u) ((U t (Listof u)) -> (Listof u)))) (define (trick x) (cond [(list? x) x] ) ) ...

在我对这个问题的回答中，我发现您似乎经常需要将类型注释添加到 arguments 到用作 arguments 的匿名函数到映射函数： map 、 foldl等。 这是两个简单的例子（所有这些都假设#lang typed/racket ，我使用的是 Racket 8.0）。 我希望这个工作： 但它没 ...

我正在尝试生成一个类型化的 Racket 过程，对于某些类型A ，它需要一个Tree和一个 function 从两个A到一个A ，另一个A类型的参数，并返回一个A类型的值。 我对(All)语法不是很熟悉，但我尝试使用它。 不幸的是，我的代码在构建时产生以下错误消息： 我的代码： 我试图简化 func ...

我想在 typed/racket 中使用 struct 定义一个类型。 例如： 假设我想用一些 ('()|void|#f|...) 值初始化一些字段（比如line ），然后稍后更新字段（ a-node-line ）。 我一直在寻找一种惯用的方式，一般是在搜索引擎上，同样，在这里，我还没有找到令人满 ...

试图完成康威在球拍中的生命游戏的实现，我正在为所有内容添加类型。 我无法弄清楚我需要做什么才能从正确键入的 gui lib 中获取类。 我在下面收到此错误 我认为这是因为 canvas 通常没有 grd 字段，但每次我尝试给我的 canvas 类型声明(: cv (Instance new-canv ...