Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread Ryan Culpepper
Hendrik Boom wrote: On Wed, Dec 01, 2010 at 08:12:17PM -0800, YC wrote: Thanks Hendrik for both responses - please see inline. On Wed, Dec 1, 2010 at 7:23 PM, Hendrik Boom wrote: The immutable hash table doesn't work well for lexically scoped variables. You can end up with multiple simultan

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread Hendrik Boom
On Wed, Dec 01, 2010 at 10:34:48PM -0500, David Van Horn wrote: > On 12/1/10 10:14 PM, Hendrik Boom wrote: >> On Wed, Dec 01, 2010 at 09:09:04PM -0500, David Van Horn wrote: >>> On 12/1/10 9:03 PM, YC wrote: Thanks - I have read the substitution part of PLAI and thought of using substitut

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread Hendrik Boom
On Wed, Dec 01, 2010 at 08:12:17PM -0800, YC wrote: > Thanks Hendrik for both responses - please see inline. > > On Wed, Dec 1, 2010 at 7:23 PM, Hendrik Boom wrote: > > > > > The immutable hash table doesn't work well for lexically scoped > > variables. > > > > You can end up with multiple simul

Re: [racket] Exploratory programming?

2010-12-01 Thread Ryan Culpepper
My $0.02: Most of the time when I hit the docs for a function, all of the information I need is in the blue box: usually I'm looking at the contracts, but the argument labels help me when I forget the order things go in. I'd be happy with a tool that showed just the contents of the blue boxes,

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread YC
On Wed, Dec 1, 2010 at 7:39 PM, David Van Horn wrote: > > You can't substitute in values for variables that are set!; you need to use > the techniques in the paper Shriram suggested, but the substitution model > and effects can be made to work. > > To get the five minute version of Felleisen & Hi

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread YC
Thanks Hendrik for both responses - please see inline. On Wed, Dec 1, 2010 at 7:23 PM, Hendrik Boom wrote: > > The immutable hash table doesn't work well for lexically scoped > variables. > > You can end up with multiple simultaneous bindings of the same > variable in different contexts. Look u

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread David Van Horn
On 12/1/10 9:52 PM, YC wrote: Thanks David, please see inline. On Wed, Dec 1, 2010 at 6:09 PM, David Van Horn mailto:dvanh...@ccs.neu.edu>> wrote: This is not entirely true, but substitution and effects are subtle. I can see that it works if things are by-reference, but by-value will app

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread David Van Horn
On 12/1/10 10:14 PM, Hendrik Boom wrote: On Wed, Dec 01, 2010 at 09:09:04PM -0500, David Van Horn wrote: On 12/1/10 9:03 PM, YC wrote: Thanks - I have read the substitution part of PLAI and thought of using substitution as well, but it seems that substitution does not constitute the full soluti

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread Hendrik Boom
On Wed, Dec 01, 2010 at 05:00:51PM -0800, YC wrote: > On Wed, Dec 1, 2010 at 4:13 PM, Hendrik Boom wrote: > > > > > I'm not sure I understand the question, though I suspect I may know the > > answer. Could you be a bit more specific? > > > > Yes - definitely. See below. > > > > I'm not sure

Re: [racket] Exploratory programming?

2010-12-01 Thread Matthias Felleisen
On Dec 1, 2010, at 9:38 PM, Eli Barzilay wrote: > Two hours ago, Greg Hendershott wrote: >>> I wonder whether help could display contracts if the module use >>> provide/contract to export f. >> >> I like this idea. > > I don't think that combining all of these is right. If there is no other

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread Hendrik Boom
On Wed, Dec 01, 2010 at 09:09:04PM -0500, David Van Horn wrote: > On 12/1/10 9:03 PM, YC wrote: >> Thanks - I have read the substitution part of PLAI and thought of using >> substitution as well, but it seems that substitution does not constitute >> the full solution: >> >> * it only work with

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread YC
Thanks David, please see inline. On Wed, Dec 1, 2010 at 6:09 PM, David Van Horn wrote: > >> This is not entirely true, but substitution and effects are subtle. > I can see that it works if things are by-reference, but by-value will appear to be broken, no? > * it does not address closure

Re: [racket] Racket 5.0.99.2 on OS X

2010-12-01 Thread Jakub Piotr Cłapa
On 01.12.10 21:40, Matthew Flatt wrote: Can you try the latest build? It's v5.0.99.4 at http://pre.plt-scheme.org/installers/ I'm optimistic that this version will solve both the preference-panel problem and the command-key problem that you're seeing. Thank you very much, this was quick. I've

Re: [racket] Exploratory programming?

2010-12-01 Thread Eli Barzilay
Two hours ago, Greg Hendershott wrote: > > I wonder whether help could display contracts if the module use > > provide/contract to export f. > > I like this idea. I don't think that combining all of these is right. To go over the various pieces there are three that are very different: 1. (help

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread YC
On Wed, Dec 1, 2010 at 6:08 PM, Shriram Krishnamurthi wrote: > Then you're ready to read the Felleisen-Hieb semantics to understand > how to handle state (and just about everything else in the universe). > > It's a tour de force, which is why I don't recommend it to beginners: > they usually have

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread Shriram Krishnamurthi
Then you're ready to read the Felleisen-Hieb semantics to understand how to handle state (and just about everything else in the universe). It's a tour de force, which is why I don't recommend it to beginners: they usually have no idea what it's saying or why it matters. But your questions suggest

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread David Van Horn
On 12/1/10 9:03 PM, YC wrote: Thanks - I have read the substitution part of PLAI and thought of using substitution as well, but it seems that substitution does not constitute the full solution: * it only work with side-effect free code This is not entirely true, but substitution and effect

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread YC
On Wed, Dec 1, 2010 at 5:25 PM, David Van Horn wrote: > > > An evaluator can implement function application using substitution, i.e. > you can evaluate ((lambda (x) e) v) by evaluating the substitution of v for > x in e. > > Or, you can be lazy and defer the substitution. In that case, you evalua

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread David Van Horn
On 12/1/10 2:26 PM, YC wrote: Hi all - a question for those who have experiences with metacircular interpreters: How do you represent the lexical variables? Since lexical variables can be optimized away so they won't show up on a call to eval, it seems putting them into the environment (I am u

Re: [racket] Missionaries and cannibals

2010-12-01 Thread Ken Hegeland
Figured it out, thanks for all the help Matthias. --- On Tue, 11/30/10, Matthias Felleisen wrote: From: Matthias Felleisen Subject: Re: [racket] Missionaries and cannibals To: "Ken Hegeland" Cc: us...@lists.racket-lang.org Date: Tuesday, November 30, 2010, 11:12 PM On Nov 30, 2010, at 4:09 P

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread YC
On Wed, Dec 1, 2010 at 4:13 PM, Hendrik Boom wrote: > > I'm not sure I understand the question, though I suspect I may know the > answer. Could you be a bit more specific? > Yes - definitely. See below. > I'm not sure what you mean by "optimized away so they won't show up on a > call to eval

Re: [racket] Exploratory programming?

2010-12-01 Thread richard . lawrence
Hi Eli, > BTW, if you tried just that, then note that you can also an identifier > to jump directly to its definition: > > (help lambda) > > This uses the *syntactic* information from the system, for example: > > (define kons cons) > (help kons) > > won't work because `kons' is a new identif

Re: [racket] Exploratory programming?

2010-12-01 Thread Greg Hendershott
And whoops I really really meant docs.racket-lang.org. :) On Wed, Dec 1, 2010 at 7:31 PM, Greg Hendershott wrote: >> I wonder whether help could display contracts if the module use >> provide/contract to export f. > > I like this idea. > > Maybe go a step further and allow per-parameter doc-stri

Re: [racket] Exploratory programming?

2010-12-01 Thread Greg Hendershott
> I wonder whether help could display contracts if the module use > provide/contract to export f. I like this idea. Maybe go a step further and allow per-parameter doc-string-ettes? Because seeing get-pure-port: (url? (listof string?) . -> . input-port?) Might still be too opaque. "What is t

Re: [racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread Hendrik Boom
On Wed, Dec 01, 2010 at 11:26:07AM -0800, YC wrote: > Hi all - > > a question for those who have experiences with metacircular interpreters: > > How do you represent the lexical variables? Since lexical variables can be > optimized away so they won't show up on a call to eval, it seems putting >

Re: [racket] Exploratory programming?

2010-12-01 Thread Eli Barzilay
Two hours ago, richard.lawre...@berkeley.edu wrote: > > > On Dec 1, 2010, at 1:20 AM, Eli Barzilay wrote: > >> > >> This is because you didn't document it. > > Yes, right. This was perhaps not the best illustration. I don't > think it would be terribly useful to read documentation (per se) > ab

Re: [racket] what initial velocity to use when calculating velocity from acceleration (peripherally moby-related...)

2010-12-01 Thread keyd...@gmx.de
Thanks a lot to all of you for your hints and pointers to such interesting information! In fact for practical purposes, I will experiment with GPS first and see how this works (from a first impression, the acceleration data from the phone seem extremely "hyper-sensitive", so it might anyway tur

Re: [racket] keyboard shortcuts on OSX? [5.0.99.3--2010-11-26(22f1c96/a)]

2010-12-01 Thread Matthew Flatt
At Wed, 1 Dec 2010 21:20:29 +, Stephen De Gabrielle wrote: > Am I the only one with problems with the keyboard shortcuts > [apple]-'something' on OS-X No, but I think it's fixed as of yesterday, so let me know if the latest doesn't work for you. ___

[racket] keyboard shortcuts on OSX? [5.0.99.3--2010-11-26(22f1c96/a)]

2010-12-01 Thread Stephen De Gabrielle
Hi, Am I the only one with problems with the keyboard shortcuts [apple]-'something' on OS-X Weirdly esc-l and esc-[space] are fine. Cheers, Stephen -- -- Stephen De Gabrielle stephen.degabrie...@acm.org Telephone +44 (0)20 85670911 Mobile+44 (0)79 85189045 http://www.degabrielle.nam

Re: [racket] Missionaries and cannibals

2010-12-01 Thread Ken Hegeland
Still not have solved it but I feel like I am getting close. I developed a program that looks like this in step form 1. check if input is final, if it is return true, else 2.check if empty, if true return false(already thinking this isn't necassary 3. generate possible moves. 4. check if input has

[racket] inherit and apply

2010-12-01 Thread Stephen De Gabrielle
Hi, I'm getting an error when I try to use 'apply' on an inherited method: colourwell.rkt:60:47: class: misuse of method (not in application) in: set I feel I've missed something in my reading of the reference manual for apply or inheriting methods, but I don't know where I've gone wrong? I'm

Re: [racket] Racket 5.0.99.2 on OS X

2010-12-01 Thread Matthew Flatt
Can you try the latest build? It's v5.0.99.4 at http://pre.plt-scheme.org/installers/ I'm optimistic that this version will solve both the preference-panel problem and the command-key problem that you're seeing. _ For list-related administrative t

Re: [racket] Exploratory programming?

2010-12-01 Thread richard . lawrence
[Apologies if this gets mis-threaded; I'm switching between Gmane and the mailing list address.] > On Dec 1, 2010, at 1:20 AM, Eli Barzilay wrote: > >>> >>> Examples: comparing Python's help function to Racket's as a tool for >>> introspecting objects at the REPL >>> [...] (define (f x y) >>>

Re: [racket] Exploratory programming?

2010-12-01 Thread richard . lawrence
> > On Dec 1, 2010, at 1:20 AM, Eli Barzilay wrote: > >>> >>> Examples: comparing Python's help function to Racket's as a tool for >>> introspecting objects at the REPL >>> [...] (define (f x y) >>>(+ x y)) (help f) >>> Not found in any library's documentation: f >> >> This is because

[racket] metacircular interpreter, lexical scope, environment

2010-12-01 Thread YC
Hi all - a question for those who have experiences with metacircular interpreters: How do you represent the lexical variables? Since lexical variables can be optimized away so they won't show up on a call to eval, it seems putting them into the environment (I am using a struct holding an immutab

Re: [racket] equal? with classes and contracts

2010-12-01 Thread Stevie Strickland
On Nov 30, 2010, at 10:32 PM, Nadeem Abdul Hamid wrote: > I think something like this has come up before but I can't find the > thread. Given: > > (define A% > (class object% (inspect #f) (super-new))) > (define/contract B% > (class/c ) > (class object% (inspect #f) (super-new))) > > How can I

Re: [racket] Exploratory programming?

2010-12-01 Thread Matthias Felleisen
On Dec 1, 2010, at 1:20 AM, Eli Barzilay wrote: >> >> Examples: comparing Python's help function to Racket's as a tool for >> introspecting objects at the REPL >> [...] >>> (define (f x y) >>(+ x y)) >>> (help f) >> Not found in any library's documentation: f > > This is because you didn't