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

是否可以在#lang中使用其他#lang scribble/lp进行识字编程？

例如，我要在#lang typed/racket中使用#lang scribble/lp。如何实现呢？

最佳答案

它似乎并非如此，但是您可以将带有类型/球拍的评估器与涂抹/评估功能一起使用。

    #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的示例。