I’m in an situation where Dr. Racket suffices almost perfectly to replace a Python-based IPython notebook session. The REPL output is graphics and text, perfect for Dr. Racket.
A problem is that for all but the smallest output, the REPL text output is simply too lethargic, even compared to the already slow IPython notebook. Some of the text output from commands is about 10K lines and Dr. Racket struggles to trickle the lines over 10+ seconds. I have tried OSX and Ubuntu but not Windows. I tested writing to an editor with open-output-text-editor. It acts quite similarly to the Racket REPL performance. It’s nice, but too slow. I then tried (send my-editor insert the-text) and it’s quite fast enough. My goal is thus to have the whole Dr Racket experience, but with the ability to quickly write textual data into the REPL. Some ameliorating ideas follow. 1) I assume that if I were to get access to the REPL editor, I could insert into it directly in the case where I have a large quantity of conceptually atomic output text. I don’t see how to attain a reference to the current output editor. 2) I could pop up my own frame for this output, but the inline output of the standard REPL is a more consistent interface. 3) Perhaps there is a place to alter the apparent granularity of insertion into the REPL from (current-output-port)? It appears to be based on either characters or lines, but larger chunks would be great. 4) Don’t laugh, but I also experimented with writing subsections of the text into sequential images and outputting those. It’s super quick and looks great, but then the text isn’t really there (e.g. for copy to clipboard). I’m open to suggestions, particularly one that uses something already built that I neglected to read about. Many thanks in advance, John Griffin -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
