Início / coding / Perguntas / 79549370
Accepted
An5Drama
Asked: 2025-04-02 07:24:29 +0800 CST

Quando as expressões de tempo de compilação serão reavaliadas no Racket?

  • 772

Esta é uma pergunta de acompanhamento desta resposta de QA . Eu uso o Racket v8.16.

Para doc1 :compile_time_instantiation.rkt​

(module compile-time-number racket/base
  (require (for-syntax racket/base))
  (begin-for-syntax
    (printf "picked ~a\n" (random)))
  (printf "running\n"))

Então:

$ racket -i -e '(dynamic-require "compile_time_instantiation.rkt" #f)'
Welcome to Racket v8.16 [cs].
picked 0.015421409441077423
running
$ racket -i -e '(require "compile_time_instantiation.rkt")'
Welcome to Racket v8.16 [cs].
picked 0.14007121863188537
running
picked 0.7200261945290138
$ racket -i
Welcome to Racket v8.16 [cs].
> (require "compile_time_instantiation.rkt")
picked 0.7451208846143317
running
$ racket compile_time_instantiation.rkt
picked 0.9883107842338839
running

doc1 diz:

Enquanto isso, dynamic-require apenas instancia um módulo; ele não visita o módulo . Essa simplificação é o motivo pelo qual alguns dos exemplos anteriores usam dynamic-require em vez de require .

Quando um módulo é instanciado, as expressões de tempo de execução em seu corpo são avaliadas .

Então o extra "picked ..." no 2º comando é da visita extra de requirebeyond quando da expansão:

Quando um módulo é visitado, as expressões de tempo de compilação (como a definição de macro) em seu corpo são avaliadas.

À medida que um módulo é expandido , ele é visitado .

As expressões de tempo de compilação de um módulo que são avaliadas pela visita incluem os lados direitos dos formulários define-syntax e o corpo dos formulários begin-for-syntax .

Mas por que o 3º não tem isso?

racket

1 respostas

  1. Best Answer

    Provavelmente isso tem algo a ver com isso: 16.3.4 Visitas preguiçosas por meio de módulos disponíveis

    Um require de nível superior de um módulo não visita o módulo de fato. Em vez disso, ele torna o módulo disponível. Um módulo disponível será visitado quando uma expressão futura precisar ser expandida no mesmo contexto. A próxima expressão pode ou não envolver alguma macro importada que precisa que seus auxiliares de tempo de compilação sejam avaliados por visita, mas o sistema de módulo visita o módulo proativamente, só por precaução.

    $ racket -i
Welcome to Racket v8.7 [cs].
> (require "compile_time_instantiation.rkt")
picked 0.2503381960723421
running
> (+ 1 1)
picked 0.7182273015825262
2
> (+ 2 2)
4

    Se -io segundo comando for omitido, "picked" só imprime uma vez. -iFaz o REPL iniciar, o que pode ser suficiente para acionar uma visita ao módulo.

    $ racket -e '(require "compile_time_instantiation.rkt")'
picked 0.5183696676559958
running
    • 1

relate perguntas