racket - 如何在 `typed/racket` 中使用 `scribble/lp`

Question

是否可以使用其他 #lang s 在 #lang scribble/lp为文学编程？

例如，我想使用 #lang typed/racket在 #lang scribble/lp .如何意识到这一点？

Answer 1

看起来并非如此，但您可以使用带有涂鸦/评估的打字/ Racket 评估器。

    #lang scribble/manual
    @(require racket/sandbox
              scribble/eval)
    @(define my-evaluator
       (parameterize ([sandbox-output 'string]
                      [sandbox-error-output 'string])
         (make-evaluator 'typed/racket/base)))
    @interaction[#:eval my-evaluator

                 (: my-sqr (Real -> Real))
                 (define (my-sqr x)
                   (* x x))
                 (my-sqr 42)]

示例取自 here .