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
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
ro...@eecs.northwestern.edu wrote:
On Tue, Nov 16, 2010 at 4:19 PM, Eli Barzilay
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
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
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
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
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
8 matches
Mail list logo
