Ich habe Treffer rund um dieses grundlegende Problem gesehen, aber nichts zu helfen, insbesondere plai-typed
. Also, ich kann einen Schläger REPL in Geiser starten, dann tippen Sie (require typed/racket)
und es scheint zu dauern, d. H. Ich bin bereit, mit basic typed Schläger zu gehen. Normalerweise wird typed/racket
aktiviert, indem #lang typed/racket
am Anfang einer Quellcodedatei steht und dann geladen wird. Ebenso ist #lang plai-typed
die Verwendung der speziellen Programmiersprache "Programmiersprachen-Anwendungsinterpretationen" im Quellcode. Aber wie kann ich dann in einem laufenden Geiser Racket REPL auf die plai-type Sprache wechseln? Noch besser wäre es, dies in einem org-mode-babel-Quellcodeblock zu tun.Schläger in Geiser: Sprache in Live wechseln REPL zu plai-typed
Antwort
In einem Geiser REPL-Puffer könnten Sie C-c C-m plai-typed
tun, um Zugriff auf die plai-typed
Sprache zu erhalten. Wenn Sie mit einer Racket-Datei arbeiten, können Sie diese Datei in Emacs mit C-x C-f /path/to/foo.rkt
öffnen und dann C-c C-a
ausführen, um die Datei in eine Geiser REPL zu laden (es wird eine neue erstellt, wenn keine REPL vorhanden ist). Dies hat den gleichen Effekt wie C-c C-m
, aber es wird auch irgendeinen Code in der Datei laufen lassen. Beachten Sie, dass der Ansatz nicht in Nicht-Dateipuffern funktioniert, da die geiser-mode-switch-to-repl-and-enter
-Funktion den Befehl Geiser ,enter
verwendet und versucht, ,enter
mit einem Pfad zu versorgen, der offensichtlich nicht funktioniert, wenn Sie sich in einem Puffer befinden, der nicht zugeordnet ist eine Datei.