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

Question

是否可以使用其他#langs in#lang scribble/lp进行文学编程？

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

Answer 1

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

    #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)]

示例取自此处。