Re: [racket] assembly language

2012-10-01 Thread Hugh Aguilar
> Since Forth's design is so tied to its implementation, that could actually > break some working programs.   A lot has changed since 1983 when you were into Forth. I'm 40 pounds heavier, for one thing. On a more positive note, Forthers have gotten smarter --- we no longer standardize the implem

[racket] module-compiled-exports

2012-10-01 Thread milo arvidsson
The documentation for module-compiled-exports says, "beware ... that value bindings re-exported through a rename transformer are in the syntax list instead of the value list." Is it possible to identify which symbols in the syntax list represent value bindings that were re-exported through a renam

Re: [racket] Racket gui

2012-10-01 Thread Matthew Flatt
At Mon, 1 Oct 2012 08:48:21 -0500, Grant Rettke wrote: > On Mon, Oct 1, 2012 at 6:52 AM, Matthew Flatt wrote: > > (The Racket run-time system and compiler is mostly in C, but I think a > > lot of it --- especially the compiler --- is likely to move to Racket > > in the coming years.) > > Forgive

[racket] Printing in racket/load

2012-10-01 Thread Antonio Menezes Leitao
Hi, I'm curious: what is the reason for not printing the results of the evaluation of top-level expressions in racket/load? What I mean is that the following program prints 1 #lang racket 1 but the following one does not print anything #lang racket/load 1 Racket Users li

Re: [racket] Racket gui

2012-10-01 Thread Danny Yoo
>> >> On Mon, Oct 1, 2012 at 6:52 AM, Matthew Flatt wrote: >> > (The Racket run-time system and compiler is mostly in C, but I think a >> > lot of it --- especially the compiler --- is likely to move to Racket >> > in the coming years.) >> >> Forgive the dumb question but here goes, are there rese

Re: [racket] Redex Reduction rule

2012-10-01 Thread Robby Findler
This rule: (--> (⊕ Q_1 ... b_1 Q_2 ... b_2 Q_3 ... ((⊕ b_1 b_2) ≺ e) Q_4 ...) (⊕ Q_1 ... Q_2 ... e Q_3 ... Q_4 ...)) should allow the reduction you describe below (I didn't test it(!)), but I'm not sure that it is the rule you really want. Specifically, this rule requires the b_1 and b_2 to

Re: [racket] Racket gui

2012-10-01 Thread Hendrik Boom
On Mon, Oct 01, 2012 at 05:52:59AM -0600, Matthew Flatt wrote: > Racket (as of v5.1) no longer uses wxWidgets. The `racket/gui' library > builds directly on Win32, Cocoa, and Gtk. The source for those > platform-specific back ends is in > > collects/mred/private/wx/win32 > collects/mred/private/

Re: [racket] merits of 2 different methods of interfacing Racket to a database

2012-10-01 Thread Ryan Culpepper
Using 'system' to call the sqlite3 program to run '.import' seems preferable to me, especially if the import happens infrequently. Ryan On 09/30/2012 10:31 PM, Don Green wrote: Please comment on the merits of 2 different methods of interfacing Racket to a database. My use of the term ".import

[racket] Redex Reduction rule

2012-10-01 Thread David Delfieu
Hello, I have bought the book on Redex, but i am still in difficulty on the following point : - I have defined a grammar describing processus (obtained from the unfolding of Petri nets). - I am blocked on the definition of a firing rule allowing to fire an event e_i when a set of condition ⊕

Re: [racket] Racket gui

2012-10-01 Thread Laurent
On Mon, Oct 1, 2012 at 3:48 PM, Grant Rettke wrote: > On Mon, Oct 1, 2012 at 6:52 AM, Matthew Flatt wrote: > > (The Racket run-time system and compiler is mostly in C, but I think a > > lot of it --- especially the compiler --- is likely to move to Racket > > in the coming years.) > > Forgive th

Re: [racket] Racket gui

2012-10-01 Thread Grant Rettke
On Mon, Oct 1, 2012 at 6:52 AM, Matthew Flatt wrote: > (The Racket run-time system and compiler is mostly in C, but I think a > lot of it --- especially the compiler --- is likely to move to Racket > in the coming years.) Forgive the dumb question but here goes, are there research opportunities i

[racket] Merits of 2 different methods of interfacing Racket to a database?

2012-10-01 Thread Don Green
Please comment on the merits of 2 different methods of interfacing Racket to a database. Is Method B preferable to Method A? If so, why? Method A Instead of using the Racket fn: (query-exec db1 "create temporary table table1 (... I can use Racket's 'system' function, to issue SQLite3 sql com

Re: [racket] Racket gui

2012-10-01 Thread Matthew Flatt
Racket (as of v5.1) no longer uses wxWidgets. The `racket/gui' library builds directly on Win32, Cocoa, and Gtk. The source for those platform-specific back ends is in collects/mred/private/wx/win32 collects/mred/private/wx/cocoa collects/mred/private/wx/gtk within your Racket installation. D

Re: [racket] Racket gui

2012-10-01 Thread heraklea
Thank you very much. I try to read the code. Correct me if I am wrong. Is there the wxwidget library in progress to paint the widgets or how is the widget hierarchy build. I assume at the end there is some self written w32 code to write the gui code... Another question I have: In what language