Come (ri) caricare i file in Racket (X) REPL?

Question

Supponiamo che io sono un file come

#lang racket/base 
(define (hello) (print "Hello")) 
... more definitions ... 

e vorrei caricare le definizioni nel file per lavorare in modo interattivo con loro nel REPL (X). Come lo faccio?

Se inizio la (X) REPL e (load "/tmp/hello.rkt"), quindi la funzione hello non è fatto a mia disposizione:

-> (hello) 
; hello: undefined; 

Se io (require (file "/tmp/hello.rkt")), il risultato è lo stesso. Ora I can(enter! (file "/tmp/hello.rkt")) e poi (hello) funziona, ma questo sembra piuttosto ... non intuitivo e principiante-ostile.

E 'davvero questo il modo in cui dovrebbe essere fatto e dovrei semplicemente leggere su moduli e spazi dei nomi per sfogliare e sperimentare facilmente con il mio codice o c'è un modo più semplice che sto trascurando?

N.B. Ho trovato How do you load a file into racket via command line?, ma questo spiega solo come eseguire il file. Non è come caricarlo nel REPL, quindi puoi testare/eseguire il debug di alcune definizioni specifiche, quindi modificare, ricaricare, ecc.

Answer 1

Poiché i file che iniziano con #lang sono moduli, non fa nulla se load loro. (In realtà fa qualcosa, ma probabilmente non è qualcosa che potrebbe aiutarti.) È davvero meglio evitare di usare completamente load, solo fingere che non sia lì.

Ora, usare require è la cosa giusta, ma ciò che fa è istanziare il modulo e darvi accesso ai nomi che esso fornisce. Nel tuo caso, non hai fornito nulla che significa che non puoi usare il tuo hello. Per fare ciò, è possibile aggiungere (provide hello) al file. Ma probabilmente non è quello che vuoi, dal momento che sembra che tu voglia eseguire il debug del codice. (Vale a dire, non si vuole provide tutto dal vostro modulo solo per lavorare sulle cose.)

Quindi la cosa giusta da usare è enter!, o se si sta utilizzando xrepl, poi c'è una più conveniente ,en comando. Questo istanzia il modulo e fa il repl utilizzare lo spazio dei nomi del modulo, così puoi accedere a tutto. (E non è necessario load o require it.) Puoi anche usarlo più volte per ricaricare il codice se lo cambi. Ma nota che c'erano alcuni problemi con esso, quindi potrebbe essere necessario installare un nightly build per lavorare con esso.

Infine, probabilmente lo sai, ma lavorare con DrRacket renderà le cose molto più semplici in generale.

Answer 2

Inserire il file #lang racket/base nella parte superiore del file sta contrassegnando il file come modulo modulo (questo è il #lang shorthand); quindi caricare il file è solo aggiungere una definizione di modulo per (file "/tmp/hello.rkt"), come hai scoperto quando hai richiesto quel percorso.

Se si desidera solo sperimentare un insieme di definizioni e provare a caricarle interattivamente, è possibile provare a rimuovere il #lang racket/base dalla parte superiore del file. Ho illustrare questo qui su un paio di "Racket toplevel" (rktl) file:

% cat hello-unhashed.rktl 
(define (hello) (print "Hello") (newline)) 
% cat hello2-unhashed.rktl 
(define (hello) (print "Hello2") (newline)) 
% racket 
Welcome to Racket v5.3.2. 
> (load "hello-unhashed.rktl") 
> (hello) 
"Hello" 
> (load "hello2-unhashed.rktl") 
> (hello) 
"Hello2" 
> (load "hello-unhashed.rktl") 
> (hello) 
"Hello" 
> (exit) 
% 

Nota che ci sono un sacco di insidie ​​quando si lavora al toplevel nel modo illustrato sopra. Per avere un'idea di che cosa sto parlando, provare googling "livello di racket superiore è senza speranza" o "livello di PLT schema superiore è senza speranza"