Random 要求/键入已键入的球拍。。。例子?

Random 要求/键入已键入的球拍。。。例子?,random,scheme,racket,typed-racket,Random,Scheme,Racket,Typed Racket,我试图在键入的racket程序中使用science.plt模块,但我很难理解如何正确使用require/typed表单。我已经反复阅读了这些文档,但我想我不太明白我到底想用表单生成什么 在 [struct name ([f : t] ...)] 表单中,该名称是我希望在我想要的模块中找到的名称,还是我在自己的程序中使用它 可能对我最有帮助的是一个或三个require/typed应用于非类型化球拍模块的示例 或者,如果我对这一点有着深刻的误解,人们不能在一个类型化的程序中使用非类型化的模块,那么

我试图在键入的racket程序中使用science.plt模块,但我很难理解如何正确使用require/typed表单。我已经反复阅读了这些文档,但我想我不太明白我到底想用表单生成什么

[struct name ([f : t] ...)]
表单中,该名称是我希望在我想要的模块中找到的名称,还是我在自己的程序中使用它

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


或者,如果我对这一点有着深刻的误解,人们不能在一个类型化的程序中使用非类型化的模块,那么我应该如何进行结构化呢?我真的只需要science.plt模块中的随机数和随机分布功能,目前不希望有任何其他导入

你有没有看过
require/Typed
的打字球拍?这里有几个示例演示如何从非类型化模块导入

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


也就是说,如果您有一个类似于
(struct point(xy)
)的结构,
名称应该是
point

,您是否查看了
require/Typed
的类型化支架?这里有几个示例显示了如何从非类型化模块导入

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


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

好的。我想我明白了……或者至少,我可以通过改变路径来实现它。好的。我想我明白了……或者至少,我可以通过改变路径来实现它。