この基本的な問題のあちこちでヒットを見てきましたが、特に、plai-typed. だから、geiser でラケット REPL を開始し、タイプ(require typed/racket)すると、基本的なタイプのラケットを使用する準備ができているように見えます。通常、ソース コード ファイルの先頭に配置し、それをロードすることtyped/racketによってアクティブ化されます。#lang typed/racket同様#lang plai-typedに、ソースコードで特定の「プログラミング言語アプリケーションの解釈」ラケット言語を使用する方法です。しかし、実行中のガイザー ラケット REPL で plai 型の言語に切り替えるにはどうすればよいでしょうか。さらに良いのは、組織モードのバベル ソース コード ブロックでこれを行う方法です。