Re: [racket] letoverlambda

2010-11-23 Thread Eli Barzilay
An hour ago, Philippe Meunier wrote: > Eli Barzilay wrote: > >It's more than that -- the "theoretically advanced ... but" that he > >uses shows off that he really considers the CL macros to be more > >advanced. > > That's because he apparently only knows about syntax-rule and not > syntax-case. [

Re: [racket] letoverlambda

2010-11-23 Thread Philippe Meunier
Eli Barzilay wrote: >It's more than that -- the "theoretically advanced ... but" that he >uses shows off that he really considers the CL macros to be more >advanced. That's because he apparently only knows about syntax-rule and not syntax-case. Look for the word "hygienic" in chapter 3 of his boo

Re: [racket] Plea for neologism

2010-11-23 Thread John Clements
On Nov 23, 2010, at 5:38 PM, David Herman wrote: >> Is this like the difference between C's type system and ML's? > > No, maybe I wasn't clear. It's hard to come up with a precise definition of > the class of macros that John's talking about. When Matthias et al invented > hygienic macro syste

Re: [racket] Plea for neologism (was: Re: letoverlambda)

2010-11-23 Thread Hendrik Boom
On Tue, Nov 23, 2010 at 11:10:23AM -0800, John Clements wrote: > > On Nov 23, 2010, at 11:08 AM, John Clements wrote: > > > > > On Nov 20, 2010, at 6:58 PM, Matthias Felleisen wrote: > > > >> > >> On Nov 20, 2010, at 9:01 PM, Greg Hendershott wrote: > >> > >>> But I didn't get the > >>> impre

Re: [racket] Plea for neologism

2010-11-23 Thread David Herman
> Is this like the difference between C's type system and ML's? No, maybe I wasn't clear. It's hard to come up with a precise definition of the class of macros that John's talking about. When Matthias et al invented hygienic macro systems, the idea was that the system would "get scope right" (a

[racket] A control-theory question

2010-11-23 Thread Danny Yoo
Hi everyone, In Moby (my Racket->JS evaluator), I have a parameter that checks the number of steps that the evaluator takes: after a certain threshold, the evaluator temporarily yields control back to the browser, and schedules itself for a restart. I have a rate at which I want the evaluator to

Re: [racket] Plea for neologism

2010-11-23 Thread Jon Rafkind
Is this like the difference between C's type system and ML's? Racket allows for unhygienic macros so does Racket not implement a "hygienic macro system"? On 11/23/2010 04:46 PM, David Herman wrote: > No. The problem is it's never been clear what that category of macros is that > John's talking ab

Re: [racket] Plea for neologism

2010-11-23 Thread David Herman
No. The problem is it's never been clear what that category of macros is that John's talking about, but it does not violate hygiene. By definition, in a hygienic macro system, there is no macro that can make the macro system unhygienic. Now good luck trying to define what that category is! I wo

Re: [racket] letoverlambda

2010-11-23 Thread Eli Barzilay
Three minutes ago, Shriram Krishnamurthi wrote: > Sadly, his response only makes things worse. He writes > > Some Scheme systems have theoretically advanced macro systems but > I believe the Common Lisp macro system is more suitable for > writing useful macros. > > Eh? How about a huge ch

Re: [racket] letoverlambda

2010-11-23 Thread Robby Findler
On Tue, Nov 23, 2010 at 3:58 PM, Shriram Krishnamurthi wrote: > Sadly, his response only makes things worse.  He writes > >  Some Scheme systems have theoretically advanced macro systems but I >  believe the Common Lisp macro system is more suitable for writing >  useful macros. > > Eh?  How abou

Re: [racket] letoverlambda

2010-11-23 Thread Shriram Krishnamurthi
Sadly, his response only makes things worse. He writes Some Scheme systems have theoretically advanced macro systems but I believe the Common Lisp macro system is more suitable for writing useful macros. Eh? How about a huge chunk of the cool things in Racket, from the class system to Typ

Re: [racket] Plea for neologism

2010-11-23 Thread Jon Rafkind
>> Dave Herman mentioned this to me some time ago, and my immediate response >> was this: okay, if the term "hygiene" refers to a macro system and not to a >> macro, then *what word* should we use to describe macros that violate >> transparency? "non-transparent"? > Oh dear... would that word b

Re: [racket] Plea for neologism

2010-11-23 Thread Eduardo Bellani
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 > Dave Herman mentioned this to me some time ago, and my immediate response was > this: okay, if the term "hygiene" refers to a macro system and not to a > macro, then *what word* should we use to describe macros that violate > transparency? "non-tr

Re: [racket] letoverlambda

2010-11-23 Thread Robby Findler
Thanks for posting that. Robby On Tue, Nov 23, 2010 at 2:44 PM, Ciprian Dorin, Craciun wrote: > On Sat, Nov 20, 2010 at 18:14, Matthias Felleisen > wrote: >> >> >> If these two paragraphs are characteristic for the book, it is based on the >> usual misconceptions of poor Common Lispers about

Re: [racket] letoverlambda

2010-11-23 Thread Ciprian Dorin, Craciun
On Sat, Nov 20, 2010 at 18:14, Matthias Felleisen wrote: > > > If these two paragraphs are characteristic for the book, it is based on the > usual misconceptions of poor Common Lispers about the world of hygienic > macros, which they have never understood and are therefore afraid of. > > For us,

Re: [racket] 27.5.4 Gaussian Elimination

2010-11-23 Thread Matthias Felleisen
On Nov 22, 2010, at 4:17 PM, Ken Hegeland wrote: > The problem is 27.5.4 can be found at > http://htdp.org/2003-09-26/Book/curriculum-Z-H-34.html#node_sec_27.5 > > I am still on the beginning of this extended exercise and I am entirely lost. > I know how it works but can't get anything even rem

Re: [racket] Plea for neologism (was: Re: letoverlambda)

2010-11-23 Thread John Clements
On Nov 23, 2010, at 11:08 AM, John Clements wrote: > > On Nov 20, 2010, at 6:58 PM, Matthias Felleisen wrote: > >> >> On Nov 20, 2010, at 9:01 PM, Greg Hendershott wrote: >> >>> But I didn't get the >>> impression that all or even most of the macro techniques were >>> unhygienic. >> >> >>

[racket] Plea for neologism (was: Re: letoverlambda)

2010-11-23 Thread John Clements
On Nov 20, 2010, at 6:58 PM, Matthias Felleisen wrote: > > On Nov 20, 2010, at 9:01 PM, Greg Hendershott wrote: > >> But I didn't get the >> impression that all or even most of the macro techniques were >> unhygienic. > > > Hygiene is a technical term. The idea is roughly that > the __macro

Re: [racket] How to create Linux AMD64 installer from source?

2010-11-23 Thread Eli Barzilay
An hour ago, Todd O'Bryan wrote: > This is probably mostly addressed to Eli, but sent through the list > for posterity's sake. > > I have a few 64-bit servers that I need to install Racket on when > new versions come out. I've been using the i386 installer, but would > like to avoid installing the

Re: [racket] 27.5.4 Gaussian Elimination

2010-11-23 Thread John Clements
On Nov 22, 2010, at 1:17 PM, Ken Hegeland wrote: > The problem is 27.5.4 can be found at > http://htdp.org/2003-09-26/Book/curriculum-Z-H-34.html#node_sec_27.5 > > I am still on the beginning of this extended exercise and I am entirely lost. > I know how it works but can't get anything even rem

[racket] How to create Linux AMD64 installer from source?

2010-11-23 Thread Todd O'Bryan
This is probably mostly addressed to Eli, but sent through the list for posterity's sake. I have a few 64-bit servers that I need to install Racket on when new versions come out. I've been using the i386 installer, but would like to avoid installing the 32-bit compatibility packages, if I can. Bu

Re: [racket] moby: problem running on-tick and on-acceleration simultaneously on android

2010-11-23 Thread keyd...@gmx.de
> It might be that the velocity calculations really need to be done from > the Java side of things to get the right performance. If that's the > case, I can sketch out the extensions to Phonegap. Perhaps my question was a bit too rash, I should perform some more tests before (at least before ca

[racket] New Blog Plugs Racket

2010-11-23 Thread Patrick King
I've started a blog at http://slow-thought.blogspot.com. It's only peripherally about programming, but I will be posting scraps of code from time to time. Does anybody know an easy way to preserve formatting (especially indentation) when cutting and pasting from DrRacket to blogspot? TIA Pat ___

Re: [racket] 27.5.4 Gaussian Elimination

2010-11-23 Thread Horace Dynamite
On 22/11/2010 21:17, Ken Hegeland wrote: Hi Ken, you're very close to a solution :-) My first thought is to make something that takes either a (listof(listof numbers)), or 3 (listof numbers), and have it output the first part of triangulation. I'd recommend you go with the (ListOf (ListOf in