Programming at the REPL