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 synt
I guess using 'from a known integer' could be slightly misleading since
the base type for the enum could be something other than an _int. I
would prefer the error to mention the enum in the text (I see its in the
error, but its at the front).
"expected a known _my-enum from C"
or something like t
An hour and a half ago, John Clements wrote:
>
> Okay the existing behavior was bothering me because (post-conversion
> to #f) there's no way to recover the problematic integer. I
> therefore changed it so it signals an error instead, like this: [...]
It might still be useful to have the old beh
My quick reading of the documentation for the #:async-apply argument to the
_fun form led to a misunderstanding; the docs seemed to be suggesting that some
built-in 'async-apply' procedure was doing all of these magical things, whereas
the point was to indicate that the *user* must provide an as
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, wrote:
> rafkind has updated `master' from b8bbed6eb4 to 7b24eaf58e.
>
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 cod
On Tue, Nov 16, 2010 at 3:41 PM, Jon Rafkind wrote:
> 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 (que
On 11/16/2010 03:00 PM, Robby Findler wrote:
> On Tue, Nov 16, 2010 at 3:41 PM, Jon Rafkind wrote:
>> 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 imp
Oh, yes. in-queue would be better than that! I use for/list a bunch
too, but for these simple things map is pretty hardwired for me ...
Robby
On Tue, Nov 16, 2010 at 4:02 PM, Jon Rafkind wrote:
> On 11/16/2010 03:00 PM, Robby Findler wrote:
>> On Tue, Nov 16, 2010 at 3:41 PM, Jon Rafkind wrote:
I'm reading Aaron Stump's "Directly Reflective Meta-Programming," and it
appears to me that either he misunderstands Scheme, or that I misunderstand it.
Are there many Scheme dialects in which his use of quasiquote to embed a 3d
value would successfully pry open the syntactic term?
(Excerpt bel
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 I've ever worked on).
Overall, I'd say, you should contac
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 tha
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
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
On Nov 16, 2010, at 2:17 PM, Shriram Krishnamurthi wrote:
> Though also cycle back to us. I'm curious to hear what he has to say.
Will do.
John
smime.p7s
Description: S/MIME cryptographic signature
_
For list-related administrative tasks:
5 minutes ago, John Clements wrote:
> I'm reading Aaron Stump's "Directly Reflective Meta-Programming,"
> and it appears to me that either he misunderstands Scheme, or that I
> misunderstand it.
Sounds to me like the classic problem that some "symbolic" people have
when they don't "get" hygiene (u
On Tue, Nov 16, 2010 at 4:19 PM, Eli Barzilay wrote:
> 5 minutes ago, John Clements wrote:
>> I'm reading Aaron Stump's "Directly Reflective Meta-Programming,"
>> and it appears to me that either he misunderstands Scheme, or that I
>> misunderstand it.
>
> Sounds to me like the classic problem tha
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
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
wrote:
> On Tue, Nov 16, 2010 at 4:19 PM, Eli Barzilay wrote:
>> 5 minutes ago, John C
On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi
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 conclusions abou
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 wrote:
> On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi
> wrote:
>> You know, it's not inconceivable such
Three minutes ago, Sam Tobin-Hochstadt wrote:
> On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi
> 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 pret
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
On Tue, Nov 16, 2010 at 3:25 PM, Sam Tobin-Hochstadt wrote:
> On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi
> 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
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 conve
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
Three minutes ago, Robby Findler wrote:
> On Tue, Nov 16, 2010 at 4:19 PM, Eli Barzilay 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
> > t
- "Jay McCarthy" wrote:
> If...
Was that a McCarthy conditional?
Dave
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
[redirected to d...@]
On Tue, Nov 16, 2010 at 11:28 PM, Eli Barzilay 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 something that
Well, he's generous about it; here's what he had to say.
John
Begin forwarded message:
> From: Aaron Stump
> Date: November 16, 2010 5:58:42 PM PST
> To: John Clements
> Subject: Re: Q. about "Directly Reflective" paper
> Reply-To: ast...@cs.uiowa.edu
>
> Hi, John.
>
> I think you are right
Recently there was a "pull request" that someone did via github. We
can't use github to get it, since the plt repo there is just a mirror
from our server.
But it's easy for anyone to do it through your own clone -- here's
how to do so:
1. Get a plt clone, or use your own (it's safe to do the lat
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
31 matches
Mail list logo
