Re: [racket-dev] enum returns #f on c-racket no match?

2010-11-16 Thread John Clements
On Nov 15, 2010, at 3:02 PM, John Clements wrote: The documentation for '_enum says this: 3.8 Enumerations and Masks Although the constructors below are describes as procedures, they are implemented as syntax, so that error messages can report a type name where the syntactic

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

2010-11-16 Thread Robby Findler
I added (but have not pushed, apprently) queue-map. Mind if we keep that one instead? Also, I think that a rename like the below is a bad idea if the queues have been released already. Robby On Tue, Nov 16, 2010 at 3:37 PM, rafk...@racket-lang.org wrote: rafkind has updated `master' from

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

2010-11-16 Thread Jon Rafkind
On 11/16/2010 02:39 PM, Robby Findler wrote: I added (but have not pushed, apprently) queue-map. Mind if we keep that one instead? Instead of what.. queue-list? I guess you can implement queue-list in terms of queue-map as (queue-map values queue), but I'd rather not write that in user code.

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread John Clements
On Nov 16, 2010, at 2:13 PM, Robby Findler wrote: That expression at the end is somehow turning a procedure back into its quoted form. I have no idea if a Scheme that did that would be R5 or not, but Racket definitely does not allow that (and neither did any other programming language that

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Shriram Krishnamurthi
Though also cycle back to us. I'm curious to hear what he has to say. Shriram On Tue, Nov 16, 2010 at 5:13 PM, Robby Findler ro...@eecs.northwestern.edu wrote: That expression at the end is somehow turning a procedure back into its quoted form. I have no idea if a Scheme that did that would

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Shriram Krishnamurthi
You know, it's not inconceivable such a thing could happen if you had a PURELY syntactic *interpreter*. I remember when I got to Brown, they were using one of those weirdo Scheme interpreters, and had come to conclusions about the semantics of Scheme on the basis of its behavior. Things like you

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Shriram Krishnamurthi
Yep, that's exactly what was happening with the thing they ran at Brown. It was that system by that guy in Nice -- Erik Galliseo or something like that. Shriram On Tue, Nov 16, 2010 at 5:21 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, Nov 16, 2010 at 4:19 PM, Eli Barzilay

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Sam Tobin-Hochstadt
On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: You know, it's not inconceivable such a thing could happen if you had a PURELY syntactic *interpreter*. I remember when I got to Brown, they were using one of those weirdo Scheme interpreters, and had come to

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Shriram Krishnamurthi
Good point. I never thought of it this way, but this is another argument in favor of dynamic scope. [tongue in cheek] Shriram On Tue, Nov 16, 2010 at 5:25 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: You

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Eli Barzilay
Three minutes ago, Sam Tobin-Hochstadt wrote: On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: ('(lambda (x) x) 3) and it would evaluate to 3 because of the way the interpreter was structured. Now if Aaron ran one of those to test his code... I'm

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Shriram Krishnamurthi
If you knew his background, you would not expect him to at all be a native speaker of (). (Further OT amusement: He, Stephanie, and Tim Sheard had a paper at last week's FOSER workshop entitled Language-Based Verification Will Change the World. Apparently, dependent types are both necessary and

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Jay McCarthy
On Tue, Nov 16, 2010 at 3:25 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: You know, it's not inconceivable such a thing could happen if you had a PURELY syntactic *interpreter*. I remember when I got to

Re: [racket-dev] proposed clarification to async-apply docs

2010-11-16 Thread Jay McCarthy
The typesetting on async-apply clearly refers to the argument rather than to a well-known function. This is a convention of the docs that I don't think merits special attention here, although this case may indicate we should make a how to read the documentation section that points out these

Re: [racket-dev] proposed clarification to async-apply docs

2010-11-16 Thread Jon Rafkind
FWIW I agree with John and disagree with Jay. On 11/16/2010 03:45 PM, Jay McCarthy wrote: The typesetting on async-apply clearly refers to the argument rather than to a well-known function. This is a convention of the docs that I don't think merits special attention here, although this case

Re: [racket-dev] OT: stump misunderstands Scheme?

2010-11-16 Thread Eli Barzilay
Three minutes ago, Robby Findler wrote: On Tue, Nov 16, 2010 at 4:19 PM, Eli Barzilay e...@barzilay.org wrote: Sounds to me like the classic problem that some symbolic people have when they don't get hygiene (usually ending up in `defmacro' nostalgia where symbols are symbols, possibly

Re: [racket-dev] [racket] newbie: foreign C structure definition question

2010-11-16 Thread Sam Tobin-Hochstadt
[redirected to d...@] On Tue, Nov 16, 2010 at 11:28 PM, Eli Barzilay e...@barzilay.org wrote: 20 minutes ago, Jay McCarthy wrote: I've complained about this before, which is why I was able to quickly answer your question. I don't endorse the current behavior. (Just a reminder: this is

[racket-dev] Fwd: Q. about Directly Reflective paper

2010-11-16 Thread John Clements
Well, he's generous about it; here's what he had to say. John Begin forwarded message: From: Aaron Stump aaron-st...@uiowa.edu Date: November 16, 2010 5:58:42 PM PST To: John Clements cleme...@brinckerhoff.org Subject: Re: Q. about Directly Reflective paper Reply-To: ast...@cs.uiowa.edu

Re: [racket-dev] [racket] newbie: foreign C structure definition question

2010-11-16 Thread Eli Barzilay
Two hours ago, Sam Tobin-Hochstadt wrote: Python's 'ctypes' library, which also uses libffi under the hood, has arrays: http://docs.python.org/library/ctypes.html#arrays and also unions, which we don't have: http://docs.python.org/library/ctypes.html#structures-and-unions So it seems