需要/输入类型的球拍......例子？

Question

我正在尝试在类型化的球拍程序中使用 science.plt 模块，但我很难理解如何正确使用 require/typed 表单。我已经反复阅读了这些文档，但我想我不太明白我到底想用表格产生什么。

在

[struct name ([f : t] ...)]

form，这个名字是我希望在我想要的模块中找到的名字，还是我在自己的程序中使用它？

对我来说最有帮助的可能是一个或三个应用于无类型球拍模块的 require/typed 示例。

或者如果我对这个真实有很深的误解，并且不能在类型化程序中使用非类型化模块，我应该如何构建事物？我真的只需要来自 science.plt 模块的随机数和随机分布功能，此时不要期望有任何其他导入。

Answer 1

您是否查看了require/typed 的 Typed Racket reference page？那里有几个例子展示了如何从无类型模块导入。

[#:struct name ([f : t] ...) struct-option ...] 子句中的name 表达式应该是结构类型的名称。

也就是说，如果你有一个像(struct point (x y) 这样的结构，那么name 应该是point。