Как (повторно) загрузить файлы в Racket (X) REPL?

Поскольку файлы, начинающиеся с #lang, являются модулями, они ничего не сделают, если вы load их. (На самом деле он что-то делает, но, вероятно, не что-то, что могло бы вам помочь.) На самом деле лучше всего полностью избегать использования load, просто притворившись, что его там нет.

Теперь использование require - это правильно, но он создает экземпляр модуля и предоставляет вам доступ к именам, которые он предоставляет. В вашем случае вы ничего не предоставили, что означает, что вы не можете использовать свой hello. Для этого вы можете добавить в файл (provide hello). Но, скорее всего, это не то, что вам нужно, поскольку кажется, что вы хотите отлаживать код. (То есть вы не захотите provide все из вашего модуля просто работать над чем-то.)

Так что правильнее всего использовать enter!, или, если вы используете xrepl, есть более удобная команда ,en. Это создаст экземпляр модуля и заставит repl использовать пространство имен модуля, чтобы вы могли получить доступ ко всему. (И вам не нужно load или require.) Вы также можете использовать его несколько раз, чтобы перезагрузить код, если вы его измените. Но обратите внимание, что с ним возникли некоторые проблемы, поэтому вам может потребоваться установить ночную сборку для работы с ним.

Наконец, вы, вероятно, знаете это, но работа с DrRacket в целом значительно упростит задачу.

Размещение #lang racket/base в верхней части файла означает, что файл помечается как форма модуля (это # сокращенное обозначение языка); таким образом, загрузка файла - это просто добавление определения модуля для (file "/tmp/hello.rkt"), как вы обнаружили, когда вам потребовался этот путь.

Если вы просто хотите поэкспериментировать с набором определений и попробовать загрузить их в интерактивном режиме, вы можете попробовать удалить #lang racket/base из верхней части файла. Я проиллюстрирую это здесь на паре файлов "Racket toplevel" (rktl):

% 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)
% 

Обратите внимание, что при работе на верхнем уровне, как показано выше, существует множество подводных камней. Чтобы понять, о чем я говорю, попробуйте поискать в Google «верхний уровень рэкетов безнадежен» или «верхний уровень схемы plt безнадежен».