[racket] DrRacket 6.0.1 with R5RS user-initial-environment

2014-06-02 Thread Tim
Hi, I am using DrRacket 6.0.1 with language R5RS when I try to evaluate the statement: (eval '(+ 1 2) user-initial-environment) I get the error: user-initial-environment: undefined; Am I doing something wrong? Thank you. -Tim O. Racket Users list:

Re: [racket] DrRacket 6.0.1 with R5RS user-initial-environment

2014-06-02 Thread Danny Yoo
On Mon, Jun 2, 2014 at 10:45 AM, Tim vis.314...@gmail.com wrote: Hi, I am using DrRacket 6.0.1 with language R5RS when I try to evaluate the statement: (eval '(+ 1 2) user-initial-environment) I get the error: user-initial-environment: undefined; Am I doing something wrong? Thank you. Hi

Re: [racket] DrRacket 6.0.1 with R5RS user-initial-environment

2014-06-02 Thread Tim
I am using R5RS because I have to learn Scheme for a class. When I looked up some examples of using eval and all the ones that I saw for some reason had that user-initial-environment. So now it works thank you. On 06/02/2014 02:31 PM, Danny Yoo wrote: On Mon, Jun 2, 2014 at 10:45 AM, Tim

[racket] Performance. How to disable contract checks?

2014-06-02 Thread Roman Klochkov
Is there a way to disable all contract checks? Suppose, I debugged my program and sure that it is reliable. I disable debugging, but as I understand, contracts are still checked in every function. But I want to maximize the performance of my program. Is there a way to do that or I have to

Re: [racket] DrRacket 6.0.1 with R5RS user-initial-environment

2014-06-02 Thread Matthias Felleisen
Ask your instructor whether it would be okay to learn Racket instead. On Jun 2, 2014, at 2:55 PM, Tim vis.314...@gmail.com wrote: I am using R5RS because I have to learn Scheme for a class. When I looked up some examples of using eval and all the ones that I saw for some reason had that

Re: [racket] Performance. How to disable contract checks?

2014-06-02 Thread Matthias Felleisen
On Jun 2, 2014, at 3:42 PM, Roman Klochkov kalimeh...@mail.ru wrote: Is there a way to disable all contract checks? Suppose, I debugged my program and sure that it is reliable. I disable debugging, but as I understand, contracts are still checked in every function. But I want to maximize

Re: [racket] Performance. How to disable contract checks?

2014-06-02 Thread Roman Klochkov
The problem is that, when debbugging, contract should be precise. For example, insert-in-sorted-queue may check that queue is orted before and after the function. But inserting the element is O(log n) and testing will be O(n). option contracts -- 1) unstable 2) should be turned off and on

Re: [racket] Performance. How to disable contract checks?

2014-06-02 Thread Matthias Felleisen
Yes, option contracts should move into the mainstream library. The point of option contracts is that you can program which parts you want to run, how often, and which parts you want turned off. I urge you to build your abstraction on top of option contracts. If you do, please report back on

Re: [racket] Performance. How to disable contract checks?

2014-06-02 Thread Robby Findler
+1 Robby On Mon, Jun 2, 2014 at 3:25 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Yes, option contracts should move into the mainstream library. The point of option contracts is that you can program which parts you want to run, how often, and which parts you want turned off. I urge

Re: [racket] turn off planet bug tracking system?

2014-06-02 Thread Robby Findler
And even more remarkably, still no spam. Thank goodness. Robby On Thu, May 15, 2014 at 6:51 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Whoo hoo -- no new spam yet! I guess we'll get to see how long it takes for the spam bots to figure out they can create accounts (sigh). Robby

Re: [racket] Performance. How to disable contract checks?

2014-06-02 Thread Daniel Prager
I propose something like two contracts: for debug and production modes. Eiffel compilers implement a sliding scale of contract-checking, something like: 1. Check nothing [naive] 2. Check pre-conditions only [good for production - quick] 3. Check pre- and post-conditions only [can be