Re: [racket-users] Of editors and mere mortals

2016-11-10 Thread David Raymond Christiansen
On 11/05/2016 09:14 AM, Ken MacKenzie wrote: And particularly if you use emacs, what add ons or setup do you do for racket or scheme editing in general. I use mostly Emacs. Aside from what's already been recommended here, I really like DrRacket's handling of input of non-keyboard characters

Re: [racket-users] Better? or less good?

2016-10-21 Thread David Raymond Christiansen
Hello, I noticed that Racket detects the variables used without any value. But let us consider the expression: (or #t Gor) Since "or" evaluates as few arguments as possible, the result is #t, but this expression is rejected by Racket because "Gor" is unbound. So the rule would become:

Re: [racket-users] Iterate over a list to construct a single string?

2016-10-13 Thread David Raymond Christiansen
Hi Gregor, Now my very first question ;) If I have a list of string's, how can i recursivly iterate over that list and compose a single string out of the elements of that list? > > ... > > I think I can use string-append, right? > But how could I do that? Is there a idiomatic way to do that

[racket-users] Discovering binding structure through macro expansion?

2016-06-16 Thread David Raymond Christiansen
Hi all, I'm in the process of adding a fancy GUI on top of a proof assistant that should show the binding structure of extracted code in a manner reminiscent of DrRacket's arrows. This is especially important because the code extraction process makes use of the results of

[racket-users] Detecting mouse events on top of picts?

2016-06-06 Thread David Raymond Christiansen
Hi all, I'm looking for a way to check whether a mouse pointer is on top of a particular pict that has been drawn to a canvas%. Right now, the best I've been able to do is to render the pict to two off-screen bitmaps with different background colors, and then check whether or not the pixel