Schläger in Geiser: Sprache in Live wechseln REPL zu plai-typed

Question

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.

Answer 1

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.