Question

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

在

中

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

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

对我来说，最有帮助的可能是将一个或三个需要/类型应用于无类型球拍模块。

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

Answer 1

你看过require/typed的Typed Racket reference page了吗？有几个例子展示了如何从无类型模块导入。

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

也就是说，如果您有(struct point (x y)之类的结构，那么name应该是point。