Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Matthias Felleisen
In principle I like this #:ec idea, but I would feel more comfortable if you explored the whole range of for loops and their interactions with this new feature. -- Matthias On Jun 28, 2014, at 6:54 AM, Jay Kominek wrote: > On Fri, Jun 27, 2014 at 8:40 PM, J. Ian Johnson wrote: >> One is

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Sam Tobin-Hochstadt
I think this is a good idea, and something that I've wanted for a long time. But there are ways to make it much better, and generalize to all loops. First, recognize that a `for/...` loop is really a recursive function, which is passing along a bunch of arguments. In this setting, `continue` means

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-07-01 Thread Matthias Felleisen
On Jun 27, 2014, at 4:47 PM, Robby Findler wrote: > This effect is, I believe, one of the > main things people mean when they say that Redex's typesetting is ugly > (and it is indeed ugly in larger quantities). [[ Just now catching up ]] This is off topic in a sense but right on topic wrt the

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Neil Van Dyke
If adding break&continue features to your fancy iteration syntax, I propose that any uses of these features in source code be somehow very prominent. For example, perhaps there is a keyword that must be at the top of the fancy iteration form, something like "#:enable-continue-here-because-pro

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Sam Tobin-Hochstadt
I disagree strongly that this is un-rackety. Consider the following loop: (define v ) (let loop ([i 100]) (define e (vector-ref v i)) (cond [(zero? i) null] [(= 999 e) null] [(even? e) (loop (add1 i))] [else (cons e (loop add1 i))])) I don't think that's un-

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread John Clements
On Jul 1, 2014, at 3:46 PM, Sam Tobin-Hochstadt wrote: > I disagree strongly that this is un-rackety. Consider the following loop: > > (define v ) > (let loop ([i 100]) > (define e (vector-ref v i)) > (cond [(zero? i) null] > [(= 999 e) null] > [(even? e) (loop (add1 i))

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Sam Tobin-Hochstadt
On Wed, Jul 2, 2014 at 12:52 AM, John Clements wrote: > > On Jul 1, 2014, at 3:46 PM, Sam Tobin-Hochstadt wrote: > >> I disagree strongly that this is un-rackety. Consider the following loop: >> >> (define v ) >> (let loop ([i 100]) >> (define e (vector-ref v i)) >> (cond [(zero? i) null] >>

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-07-01 Thread Robby Findler
Yeah, I'm realizing that my understanding of those of the complaints was wrong. My next step when I get back to this is to try to get a reasonably automatic setup for Redex that mimics that \usepackage{pslatex} setting in latex (which is, I think what sigplan uses). Robby On Tue, Jul 1, 2014 at