型付きラケットプログラムでscience.pltモジュールを使用しようとしていますが、require/typedフォームを正しく使用する方法を理解するのに苦労しています。ドキュメントを繰り返し読んだのですが、フォームを使って何を作成しようとしているのかよくわからないと思います。
の中に
[struct name ([f : t] ...)]
フォーム、その名前は、必要なモジュールで見つけることが期待できる名前ですか、それとも自分のプログラムで使用するために作成していますか？
おそらく私にとって最も役立つのは、タイプされていないラケットモジュールに適用されたrequire/typedの例または3つです。
または、これを深く誤解していて、型付きプログラムで型なしモジュールを使用できない場合は、どのように構造化する必要がありますか？私は本当にscience.pltモジュールからの乱数とランダム分布機能が必要であり、現時点では他のインポートは期待していません。