требуется/напечатано в типизированной ракетке ... примеры?

Question

Я пытаюсь использовать модуль science.plt в типизированной программе ракетки, но мне трудно понять, как правильно использовать форму ввода/ввода. Я много раз читал документы, но, я думаю, я не совсем понимаю, что именно я пытаюсь создать с помощью формы.

В форме

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

, это имя имя, которое я должен ожидать, чтобы найти в модуле Я хочу, чтобы требовать, или я делаю это для использования в моей программе?

Возможно, наиболее полезной вещью для меня был бы пример или три из требуемых/типизированных применений к нетипизированным модулям ракетки.

Или если я неправильно понимаю это real, и нельзя использовать нетипизированные модули в типизированной программе, как мне следует структурировать вещи? На самом деле мне просто нужно случайное число и случайные функции распределения из модуля science.plt, и на этот момент не ожидайте наличия каких-либо других импортов.

Answer 1

Вы посмотрели Typed Racket reference page для require/typed? Существует несколько примеров, показывающих, как импортировать из нетипизированных модулей.

Выражение name в предложении [#:struct name ([f : t] ...) struct-option ...] должно быть названием типа структуры.

То есть, если у вас есть такая структура, как (struct point (x y), то name должен быть point.