Как и в предыдущем ответе, я использую те же самые нажатия клавиш, но записываю их в макрос и привязываю его к клавише. Таким образом, это всего лишь одно нажатие клавиши для сохранения, компиляции и переключения на REPL. В конечном итоге это выглядит примерно так:
(fset 'compile-and-goto-repl
"\C-x\C-s\C-c\C-k\C-c\C-z")
(global-set-key [f6] 'compile-and-goto-repl)