Re: [racket-dev] online check syntax deadlock: can you help?

2011-09-01 Thread Matthias Felleisen
[[ FWIW, I have been running drracket like this for a couple of weeks and have had no problem. Mac OS X 10.6.8 ]] On Sep 1, 2011, at 8:34 AM, Matthew Flatt wrote: At Wed, 31 Aug 2011 23:00:25 -0700, John Clements wrote: On Aug 31, 2011, at 5:08 PM, Robby Findler wrote: I've been

Re: [racket-dev] scribble interaction

2011-08-28 Thread Matthias Felleisen
Shouldn't the pretty-print version be the default one? How often would I want to write documentation that doesn't pretty print? -- Matthias On Aug 27, 2011, at 4:07 PM, Matthew Flatt wrote: At Sat, 27 Aug 2011 13:22:12 -0400, Matthias Felleisen wrote: When you run this program, you

Re: [racket-dev] Commit messages in git

2011-08-28 Thread Matthias Felleisen
This was already a part of the Style sheet draft, but I have taken Eli's message and refined the section on commits. On Aug 27, 2011, at 10:04 PM, Eli Barzilay wrote: I see that it's becoming semi common to write commit messages that look like: | some quick description | more blah

[racket-dev] scribble interaction

2011-08-27 Thread Matthias Felleisen
When you run this program, you don't get the pretty printing you get in plain Racket or in Dr. Why? #lang scribble/manual @(require scribble/eval) @interaction[ (define (f x) `(,(build-list x add1) ,(build-list x add1))) (f 20) ]

Re: [racket-dev] [racket-bug] all/11778: check syntax does not work with path-up

2011-08-17 Thread Matthias Felleisen
On Aug 17, 2011, at 4:22 PM, Sam Tobin-Hochstadt wrote: Now that we're all running Check Syntax all the time, I wanted to say that 'live' Check Syntax is better than Sliced Bread. THANK YOU ROBBY -- Matthias _ For list-related

Re: [racket-dev] Scribble does not complain when @tech{term} is used but not defined

2011-08-17 Thread Matthias Felleisen
I would prefer not to get an error so that I can compile modules independently. On Aug 17, 2011, at 5:58 PM, Jay McCarthy wrote: Is there a subtle reason to not error? I've just seeded a file with a lot of @tech{} uses and I was hoping to get a big list of errors as a to-define list. I

[racket-dev] Fwd: ace?

2011-08-16 Thread Matthias Felleisen
some of our graphical animated stuff but hey WhaleSong is close enough to our world. Begin forwarded message: From: Shriram Krishnamurthi s...@cs.brown.edu Date: August 15, 2011 11:09:40 PM EDT To: Matthias Felleisen matth...@ccs.neu.edu Subject: Re: ace? Nope, CodeMirror: http

Re: [racket-dev] Fwd: ace?

2011-08-16 Thread Matthias Felleisen
On Aug 16, 2011, at 2:52 PM, Eli Barzilay wrote: 7 minutes ago, Neil Van Dyke wrote: Eli Barzilay wrote at 08/16/2011 02:20 PM: Isn't this just a JS-based editor? CodeMirror a rather nice JS-based text editor for programming languages, as JS-based text editors for programming languages

Re: [racket-dev] syntax-property guards? (was: Re: The Stepper strikes again)

2011-08-16 Thread Matthias Felleisen
Eli is right in principle. I sense that we are facing the same kind of problems we faced when we created mixins and then again when we created continuation marks. We need annotations time and again and they couple parts of our system more closely than necessary. Problem is, we don't seem to

Re: [racket-dev] syntax-property guards? (was: Re: The Stepper strikes again)

2011-08-16 Thread Matthias Felleisen
On Aug 16, 2011, at 5:42 PM, Sam Tobin-Hochstadt wrote: On Tue, Aug 16, 2011 at 5:31 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Eli is right in principle. I sense that we are facing the same kind of problems we faced when we created mixins and then again when we created

[racket-dev] building from scratch

2011-08-15 Thread Matthias Felleisen
raco setup: post-installing: racket/gui raco setup: raco setup: output: during making for browser STDOUT: (4 2 0) = raco setup: output: during making for tests/drracket STDOUT: (3 2 0) (3 2 0) (3 2 0) (3 2 0) = raco setup: output: during making for tests/net STDOUT: (3 2 0) (3 2

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

2011-08-14 Thread Matthias Felleisen
I am following the guidelines now :-) I actually do think a one-line purpose statement per module is a *good* idea. On Aug 14, 2011, at 10:46 PM, Robby Findler wrote: On Sun, Aug 14, 2011 at 9:29 PM, matth...@racket-lang.org wrote: collects/lang/htdp-langs-save-file-prefix.rkt

Re: [racket-dev] syntax-property guards? (was: Re: The Stepper strikes again)

2011-08-13 Thread Matthias Felleisen
On Aug 13, 2011, at 10:44 AM, John Clements wrote: That is, the code for lazy racket contains the knowledge about which things should be hidden by the stepper. I would argue, in fact, that this is the *right* place for such knowledge. In particular, suppose you're developing the lazy

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-12 Thread Matthias Felleisen
Eli, I must say I appreciate some of your concerns but some I don't comprehend. (1) My hunch is that most of our downloaders -- especially technically unsavy (what's the right word here?) people -- download one and only one thing from us. (2) We need to accommodate them mostly, not the

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Matthias Felleisen
His answer was inappropriate. Our goal must be to understand problems posed, check relevance, figure out a solution. There is no other default mode. On Aug 11, 2011, at 8:54 AM, Jay McCarthy wrote: Maybe Eli is saying that 64bit is really the better default, given new OS X defaults. Jay

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Matthias Felleisen
I am happy to see that we are looking for solutions to a problem. I think we should use everything we can to make the best possible guess. Then we should use English language to inform people that we made a best possible guess and that there are alternatives. But this language must be

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Matthias Felleisen
Guillaum, why don't you work out a concrete plan, especially the wording of the messages to the downloader, and submit it to ELi for review. He will implement a version of it. Thanks -- Matthias _ For list-related administrative tasks:

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

2011-08-07 Thread Matthias Felleisen
at 10:43 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: 1. I like Robby's mode suggestion. 2. I prefer shorter keywords, e.g., define-judgment. I'm having trouble reconciling these comments. Robby's suggestion, if I understand it correctly, is to overload the `define-relation' name

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

2011-08-07 Thread Matthias Felleisen
Yes. On Aug 7, 2011, at 12:09 PM, Casey Klein wrote: On Sun, Aug 7, 2011 at 10:50 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: Good, now change define-judgment-form to define-judgment. Did you miss my objection to that name

Re: [racket-dev] Search by example (was Re: Roogle?)

2011-08-07 Thread Matthias Felleisen
Throwing out state is fine though I will confess that I rarely look for functional functions. It is much more common I look for a method on a gui that does X to its state when it is in state Y. _ For list-related administrative tasks:

Re: [racket-dev] OS X 10.7 review/summary

2011-08-06 Thread Matthias Felleisen
In a fairly user-focused review I saw, the 'automatic snapshots' sounded great. Apparently an app that subscribes to some Lion protocol gets automatic snapshots so that you can say 'I don't like what I did in the last 10 mins, let's go back' It also saves automatically when you forget. Good

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

2011-08-06 Thread Matthias Felleisen
1. I like Robby's mode suggestion. 2. I prefer shorter keywords, e.g., define-judgment. 3. Why is this in github and not in the docs? On Aug 5, 2011, at 9:56 PM, Robby Findler wrote: How about #:mode (sum I I O) for the mode spec where the #:mode keyword is optional but, if

Re: [racket-dev] Roogle?

2011-08-05 Thread Matthias Felleisen
It was my Diplomarbeit finished in 1983, so that makes it 28 years now. On Aug 5, 2011, at 12:17 AM, Shriram Krishnamurthi wrote: This idea is proposed roughly every 2-3 years for at least 30 years. I am not aware of anyone having made this idea fly. Shriram On Fri, Aug 5, 2011 at

[racket-dev] search (was Roogle?)

2011-08-05 Thread Matthias Felleisen
So where does this leave us: 1. with very little data about real searches, which happen locally, via DrRacket (would it matter if we could do a Guillaume-style data collection for a few dozen students?) 2. with an understood deficit on our search; I haven't seen anyone deny this 3. a few

[racket-dev] bug czar and documentation king

2011-08-05 Thread Matthias Felleisen
We than Ryan Culpepper (Utah) for his work as bug czar for the past year or so. As of the next release, Sam Tobin-Hochstadt (NEU) will take over the bug czar duty. Ryan will become king of documentation, with the charge to improve its organization and presentation. Thanks guys -- Matthias

[racket-dev] testing

2011-08-04 Thread Matthias Felleisen
One of the responses to the draft of the Racket style guide contains the following paragraph: There should be unified way to test collections. Let's say I fix something in collect `foo', there should be an obvious way to run `foo''s tests. Currently, the closest we have would be to look in

Re: [racket-dev] testing

2011-08-04 Thread Matthias Felleisen
in some package? etc) is completely appropriate for a style guide somewhere, so maybe I'm missing something, tho. Robby On Thu, Aug 4, 2011 at 11:11 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: One of the responses to the draft of the Racket style guide contains the following paragraph

Re: [racket-dev] testing

2011-08-04 Thread Matthias Felleisen
On Aug 4, 2011, at 12:19 PM, Vincent St-Amour wrote: The above suggestion does not rule out individual testing styles. It only mentions a standardized entry point. What the test suite does afterwards can still be left to the programmer. I really really prefer placing my tests in a

Re: [racket-dev] New plot library [Was: (to Jay) Re: What I'm working on]

2011-08-02 Thread Matthias Felleisen
Will it be backward compatible with plot? -- Matthias On Aug 2, 2011, at 1:33 PM, Neil Toronto wrote: Re-routing this email exchange to [racket-dev] for comments. Long story short: Jay roped me into replacing the current `plot' module by wrapping a plot library I was working on for my

Re: [racket-dev] racket/draw and whalesong?

2011-07-28 Thread Matthias Felleisen
On Jul 28, 2011, at 1:32 PM, Danny Yoo wrote: On Robby and Matthew's suggestion that I look into implementing the primitives of racket/draw, I took a look at the implementation. If I understand this correctly, it looks like I need to implement the methods of the drawing context interface,

[racket-dev] drracket fails to start up properly

2011-07-26 Thread Matthias Felleisen
built from scratch this morning error messages: [1] 847 [:~/Git/Ingenious] matthias% send: target is not an object: #f for method: change-children === context === /Users/matthias/plt/collects/racket/private/class-internal.rkt:4601:0: obj-error

Re: [racket-dev] A basic package system

2011-07-26 Thread Matthias Felleisen
It's probably just me, but this readme is a bit too dense. [I know the first bit. That's why I pushed the two-step. I know a bit more from Eli. But that's an accident.] On Jul 26, 2011, at 5:49 PM, Jay McCarthy wrote: Eli and I had a very useful conversation last night and we realized that

Re: [racket-dev] syntax-case and stack trace

2011-07-16 Thread Matthias Felleisen
On Jul 16, 2011, at 8:19 AM, Matthew Flatt wrote: At Fri, 15 Jul 2011 21:53:59 -0500, Casey Klein wrote: FWIW, the big taints commit also changed the value of this expression: (let ([s #'x]) (equal? s (with-handlers ([exn:fail:syntax? (compose first exn:fail:syntax-exprs)])

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

2011-07-15 Thread Matthias Felleisen
On Jul 15, 2011, at 2:38 PM, Guillaume Marceau wrote: Shriram, Kathi, Emmanuel, Stephen and I have been debating which word should be the standard. We also contacted Jon Star for his insight on how to help bridge with algebra. I would have been happy to provide some input too. 2HtDP NEVER

Re: [racket-dev] New error messages for *SL

2011-07-14 Thread Matthias Felleisen
Are the SIGNATURES in the beginner funs definitions and elsewhere fed to Mike's signature checker? If so, we need to roll back a commit I made for a small change to atan and that Eli just rolled over to the release. If not, it's okay. On Jul 13, 2011, at 11:57 PM, Guillaume Marceau wrote:

Re: [racket-dev] New error messages for *SL

2011-07-12 Thread Matthias Felleisen
I am with your initial thoughts. I find this inconsistency disturbing. I also wish to use BSL as a language that is isomorphic to the kind of mathematics that students see in middle school and high school. (I think of structs as generalized Cartesian points, i.e., something comprehensible

Re: [racket-dev] New error messages for *SL

2011-07-11 Thread Matthias Felleisen
I'd much prefer eliminating such function calls. On Jul 11, 2011, at 6:28 PM, Guillaume Marceau wrote: On Thu, Jul 7, 2011 at 12:44 PM, Matthew Flatt mfl...@cs.utah.edu wrote: * ASL incorrectly specifies = 1 arguments required for functions and function calls (i.e., functions and call

Re: [racket-dev] New error messages for *SL

2011-07-11 Thread Matthias Felleisen
It's way too late for this release but I consider this a wart On Jul 11, 2011, at 7:21 PM, Guillaume Marceau wrote: On Mon, Jul 11, 2011 at 6:32 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I'd much prefer eliminating such function calls. Do you want them out in this release

Re: [racket-dev] interactive hack

2011-07-10 Thread Matthias Felleisen
how about ElisInteractiveHack On Jul 10, 2011, at 8:39 AM, Eli Barzilay wrote: 10 minutes ago, Sam Tobin-Hochstadt wrote: Why not `interactive'? Interactive what? -- It's way too generic. And this is for the name of the module, right? A new toplevel collection. Used similarly to

Re: [racket-dev] New error messages for *SL

2011-07-06 Thread Matthias Felleisen
Why is it pedagogical to repeat information in the ISL documentation that the BSL documentation already presented? -- Matthias On Jul 6, 2011, at 9:36 AM, Guillaume Marceau wrote: On Wed, Jul 6, 2011 at 9:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote: In the case of the HtDP languages,

Re: [racket-dev] New error messages for *SL

2011-07-06 Thread Matthias Felleisen
documentation. Is that the idea, Guillaume? Jay 2011/7/6 Matthias Felleisen matth...@ccs.neu.edu: Why is it pedagogical to repeat information in the ISL documentation that the BSL documentation already presented? -- Matthias On Jul 6, 2011, at 9:36 AM, Guillaume

Re: [racket-dev] [racket] getting symbol documentation URL quickly within Emacs

2011-06-28 Thread Matthias Felleisen
On Jun 28, 2011, at 3:00 AM, Eli Barzilay wrote: I feel lucky thing is not going to be a useful feature. It can work nicely in cases where bindings are relatively unique (for example, `get-impure-port'), but getting it to do the right thing for common names (like `cons') will be challenging,

Re: [racket-dev] Testing mode

2011-06-28 Thread Matthias Felleisen
I have come to accept that all modules should come with their tests included, as an exportable test suite: -- you don't need to expose any 'private' identifiers -- they are next to the function they test -- it is easy to run them from the repl after loading the file -- ... and from some

Re: [racket-dev] [racket] getting symbol documentation URL quickly within Emacs

2011-06-28 Thread Matthias Felleisen
On Jun 28, 2011, at 10:04 AM, Eli Barzilay wrote: Regardless of this, you're missing the main problem. If you're in drracket (or in a racket repl), you won't get to `set-car!', unless you explicitly search everything. But the problem is when the neabies just points their browsers to

Re: [racket-dev] Testing mode

2011-06-28 Thread Matthias Felleisen
for most cases. Many tests involve several functions. So my files tend to have several test suites, one per cluster. For the sake of consistency, I always place all test suites at the end. -- Matthias On Jun 28, 2011, at 10:52 AM, Jay McCarthy wrote: 2011/6/28 Matthias Felleisen matth

Re: [racket-dev] [racket] getting symbol documentation URL quickly within Emacs

2011-06-28 Thread Matthias Felleisen
On Jun 28, 2011, at 11:23 AM, Eli Barzilay wrote: 10 minutes ago, Matthias Felleisen wrote: On Jun 28, 2011, at 10:04 AM, Eli Barzilay wrote: Regardless of this, you're missing the main problem. If you're in drracket (or in a racket repl), you won't get to `set-car!', unless you

Re: [racket-dev] Getting github to recognize .scrbl files

2011-06-27 Thread Matthias Felleisen
On Jun 27, 2011, at 4:42 PM, Eli Barzilay wrote: []s hightlighted in red... But that's a general scheme issue now too. No [] in Scheme proper :-) _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Should BSL signal an error on (require ...) in an unsaved buffer?

2011-06-27 Thread Matthias Felleisen
On Jun 27, 2011, at 7:37 PM, John Clements wrote: I'm fixing require in the stepper, and I want to make sure that the existing behavior is desirable before I try to simulate it. In particular, my experiments suggest that require in an unsaved buffer implicitly requires things from

Re: [racket-dev] [racket] getting symbol documentation URL quickly within Emacs

2011-06-25 Thread Matthias Felleisen
We can improve the documentation system. This kind of objection has been raised time and again (not the very same objection but dependence on racket or assumptions about running in drracket). We cannot and will never convince all people to use DrRacket or even Emacs. Some lost souls will

[racket-dev] strange error

2011-06-19 Thread Matthias Felleisen
Welcome to DrRacket, version 5.1.1.5--2011-06-15(d5b25eb/g) [3m]. Language: racket. compile: access from an uncertified context to unexported variable from module: /Users/matthias/plt/collects/racket/private/define-struct.rkt in: make-self-ctor-checked-struct-info I don't know yet how

Re: [racket-dev] Non-negative real predicate?

2011-06-10 Thread Matthias Felleisen
Make a real predicate and link to it. On Jun 10, 2011, at 3:23 PM, Asumu Takikawa wrote: Hi all, I've seen some locations in the docs where a currently imaginary predicate is used as a contract. e.g. the sleep function has a nonnegative-number? contract The same contract is often

Re: [racket-dev] Non-negative real predicate?

2011-06-10 Thread Matthias Felleisen
Matthew rules. On Jun 10, 2011, at 4:11 PM, Matthew Flatt wrote: I'm more in favor of using `(and/c real? (not/c negative?))'. At Fri, 10 Jun 2011 16:08:35 -0400, Matthias Felleisen wrote: Make a real predicate and link to it. On Jun 10, 2011, at 3:23 PM, Asumu Takikawa wrote

Re: [racket-dev] `take' argument order

2011-06-08 Thread Matthias Felleisen
Take from the sequence of primes the first five numbers and add them up. This is at most slightly mangled :-) On Jun 8, 2011, at 11:38 AM, Eli Barzilay wrote: 6 minutes ago, Stephen Bloch wrote: On Jun 8, 2011, at 9:55 AM, Eli Barzilay wrote: ... the justification for the argument

Re: [racket-dev] guidelines on error messages -- please send feedback

2011-06-03 Thread Matthias Felleisen
Thanks for this document. For my own teachpacks, I tried to make the error messages consistent by creating all error messages in one file (htdp/error). But you're also reducing their complexity and this is even more important. The key is that students must understand the problem. A couple

Re: [racket-dev] Please help me to fix the code

2011-05-30 Thread Matthias Felleisen
On May 30, 2011, at 7:17 PM, Yingjian Ma wrote: Hi All, I wrote a piece of code to count the occurrance of a letter in a list. But it gave me an error saying #procedure:...uments... The code is below: (define (count-matches s l) (cond [(empty? l) 0]

Re: [racket-dev] type-case + typed racket yet?

2011-05-26 Thread Matthias Felleisen
On May 25, 2011, at 10:58 PM, Eli Barzilay wrote: 20 minutes ago, Matthias Felleisen wrote: In what sense did you screw up? Even in ML all you get is a warning that your cases aren't exhaustive -- and so you get a run-time exception. So what? Run-time exceptions are a part of the standard

Re: [racket-dev] type-case + typed racket yet?

2011-05-25 Thread Matthias Felleisen
In what sense did you screw up? Even in ML all you get is a warning that your cases aren't exhaustive -- and so you get a run-time exception. So what? Run-time exceptions are a part of the standard type soundness theorem. -- Matthias On May 25, 2011, at 7:53 PM, Danny Yoo wrote: On Wed,

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthias Felleisen
On May 20, 2011, at 11:55 AM, Robby Findler wrote: Would it make sense to have a new construct, say letrec-super-star, that did one of those things and then use that as the core form in Racket (that's also a big change, but probably smaller than changing letrec itself). One day we should

Re: [racket-dev] [racket] using syntax/modcode and make-base-namespace

2011-05-20 Thread Matthias Felleisen
the matrix prototype teachpack uses snips like the images in drracket and sets up some sharing with drracket. Perhaps that is a cause of the problem with snip-class readers? On May 20, 2011, at 11:45 AM, Danny Yoo wrote: I'm using syntax/modcode, and am running across an error that I

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthias Felleisen
and thus you'd know to reini the ref cells. BUT, this requires a mechanism that is not expressible at the surface of Racket. And it's odd. -- Matthias On May 20, 2011, at 12:37 PM, Matthew Flatt wrote: At Fri, 20 May 2011 11:36:48 -0400, Matthias Felleisen wrote: On May 20, 2011, at 10:28 AM

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthias Felleisen
On May 20, 2011, at 4:42 PM, Sam Tobin-Hochstadt wrote: On Fri, May 20, 2011 at 4:39 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: -- I think my preferred solution would be to wrap letrec so that continuations grabbed during the setup set up a continuation mark that labels them

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Matthias Felleisen
On May 20, 2011, at 7:17 PM, Matthew Flatt wrote: I see no reason to change `letrec'. I think letrec's behavior with call/cc on the right-hand side exposes ref cells and that will bite us again and again. That's why I think changing it would make sense. Then again, the bites are rare,

[racket-dev] procedure _cprocedure*: expects 8 arguments, given 9: '(#ctype:pointer) #ctype:int32 #f #f #t #f #f #f #f

2011-05-14 Thread Matthias Felleisen
I am running Robby's test-docs-complete from the command line, and it's fine. When I tried to run it from drracket, I got this: procedure _cprocedure*: expects 8 arguments, given 9: '(#ctype:pointer) #ctype:int32 #f #f #t #f #f #f #f What's wrong?

Re: [racket-dev] procedure _cprocedure*: expects 8 arguments, given 9: '(#ctype:pointer) #ctype:int32 #f #f #t #f #f #f #f

2011-05-14 Thread Matthias Felleisen
/compiled/drracket directory (which should not exist, but might have been created incorrectly)? At Sat, 14 May 2011 12:23:51 -0400, Matthias Felleisen wrote: I am running Robby's test-docs-complete from the command line, and it's fine. When I tried to run it from drracket, I got

Re: [racket-dev] racket vs. scheme vs. clojure (as it appears to others)

2011-05-06 Thread Matthias Felleisen
For what time period should we leave the description constant to test this conjecture? On May 6, 2011, at 10:33 AM, Noel Welsh wrote: In retrospect I think this post was a bit opaque. So, some exposition: We have a hypothesis: changing the description of Racket will increase adoption.

Re: [racket-dev] Redirecting documentation links

2011-05-06 Thread Matthias Felleisen
I am with Sam on this one. On May 6, 2011, at 11:06 AM, Sam Tobin-Hochstadt wrote: On Fri, May 6, 2011 at 10:15 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I think the right way to do this is to use defidthing with a minimal description and a pointer over to the racket for.

[racket-dev] wishes

2011-05-06 Thread Matthias Felleisen
During my experiments last week, I came up with two more wishes for Racket: 1. Python seems to provide the following unit testing functionality: if a file/module is run as 'main', the test suites are run; if it is required into some other file, the tests aren't run. It looks truly

Re: [racket-dev] my '312' this semester, how we compare to others

2011-05-04 Thread Matthias Felleisen
On May 1, 2011, at 2:58 AM, D Herring wrote: On 04/21/2011 01:07 PM, Matthias Felleisen wrote: -B- When it comes to raw computational performance (ignore loading Racket, start from REPL and run a single game -- 10 seconds), my implementation is faster than Python (but barely) and one

Re: [racket-dev] Inline caching (was Re: my '312' this semester, how we compare to others)

2011-05-04 Thread Matthias Felleisen
As I was reading a paper, I encountered the word 'cache' and remembered that I had wanted to implement a caching version of the central method in my central data structure. That took me about 10 minutes, and I now have good times for the game: with contracts: 1.8s per game without ctrcts:

Re: [racket-dev] Inline caching (was Re: my '312' this semester, how we compare to others)

2011-05-04 Thread Matthias Felleisen
Wow. Why didn't I think of asking for this before :-) On May 4, 2011, at 7:11 PM, Ryan Culpepper wrote: On 05/04/2011 01:57 PM, Tony Garnock-Jones wrote: On 2011-05-04 12:04 PM, Matthias Felleisen wrote: I still believe that the Java implementation (just under 1s without their 'Google

Re: [racket-dev] racket vs. scheme vs. clojure (as it appears to others)

2011-05-04 Thread Matthias Felleisen
Racket is the coolest programming language on earth. Spend a bit of time with it, and your programs will grow more beautiful in front of your eyes every day of your life. _ For list-related administrative tasks:

Re: [racket-dev] racket vs. scheme vs. clojure (as it appears to others)

2011-04-29 Thread Matthias Felleisen
Thanks John for the report. Two questions please: 1. Could you point me to a standards document for Clojure? 2. Could you point me to a criteria that classify Racket as a 'fringe' language and Clojure as a non-fringe language? -- Matthias On Apr 29, 2011, at 10:23 AM, John Clements

Re: [racket-dev] racket vs. scheme vs. clojure (as it appears to others)

2011-04-29 Thread Matthias Felleisen
On Apr 29, 2011, at 11:31 AM, Neil Van Dyke wrote: Scheme is usually a liability when someone used it in school years ago (other than with HtDP). Sad. Thanks for the idea. -- Matthias _ For list-related administrative tasks:

Re: [racket-dev] racket vs. scheme vs. clojure (as it appears to others)

2011-04-29 Thread Matthias Felleisen
On Apr 29, 2011, at 12:38 PM, Danny Yoo wrote: Scheme is usually a liability when someone used it in school years ago (other than with HtDP). Small anecdote: I had gone a small presentation at WPI about teaching alternative concurrent programming models to undergraduates. The presenter

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

2011-04-26 Thread Matthias Felleisen
I second your judgment. I think it should be a part of the exercise to exorcise such hidden interfaces. On Apr 26, 2011, at 1:25 PM, Stevie Strickland wrote: On Apr 26, 2011, at 1:19 PM, Robby Findler wrote: I don't know of people who are, but I think that in situations like these we

Re: [racket-dev] release blurb for 5.1.1

2011-04-26 Thread Matthias Felleisen
On Apr 26, 2011, at 3:46 PM, Jon Rafkind wrote: kathy * Addition of `define-wish' to the teaching languages and corresponding addition of support for wishes in test reports and check-expects (7758f508c56) This wasn't supposed to go in. _

Re: [racket-dev] release blurb for 5.1.1

2011-04-26 Thread Matthias Felleisen
* The Universe protocol of 5.1 and its predecessors are incompatible. (Ouch, this requires a change to the HISTORY. Will push soon.) _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Pre-Release Checklist for v5.1.1

2011-04-23 Thread Matthias Felleisen
On Apr 23, 2011, at 2:08 PM, Robby Findler wrote: Also: anyone else who has the energy to fiddle with the teaching languages a bit, doing some fiddling now would be helpful I will be fiddling when I do my checks. I tend to wait these days to go as one of the last ones.

[racket-dev] unhelpful error message in drracket

2011-04-22 Thread Matthias Felleisen
I am trying to reorganize my project, adding a directory for utilities that could and should be in the core somewhere. So made Utilities, did a grep on all files, added Utitlities to contract.rkt and ran the racket file (at shell and in drracket) only to get this: Welcome to DrRacket,

[racket-dev] my '312' this semester, how we compare to others

2011-04-21 Thread Matthias Felleisen
[ In case you don't know: since the late 90s, I have been teaching a course dubbed software dev every so often. Students choose their favorite language, I choose the project, they program, I program in Racket and in DrRacket (and strictly). Over the semester the students code-walk their

Re: [racket-dev] my '312' this semester, how we compare to others

2011-04-21 Thread Matthias Felleisen
I had a request for line counts: -- my own project used ~5,000loc, which includes comments and blank lines -- of these, ~3,200 lines are 'real' code and some ~1,800 lines of rackunit code -- the Java projects run at about 2x to 3x the line count (the best project comes in at

Re: [racket-dev] my '312' this semester, how we compare to others

2011-04-21 Thread Matthias Felleisen
Two points worth noting: 1. Robby pointed out that I forgot to compile my code when I ran the script. That was a critical omission on my side and it eliminates point -A- from my list of negative observations. 2. I forgot to mention the most amazing aspect of my final test run with the

Re: [racket-dev] exact nonnegative integers as sequences?

2011-04-18 Thread Matthias Felleisen
I have written (for ([i N]) ..) many times only to remember that it's in-range. On Apr 18, 2011, at 9:25 AM, Matthew Flatt wrote: I often write (for ([i (in-range N)]) ...) In cases where the loop overhead is not significant (i.e., I don't care whether the compiler can tell that

Re: [racket-dev] exact nonnegative integers as sequences?

2011-04-18 Thread Matthias Felleisen
1. Racket should obviously use S-expressions as the one-and-only data structure. That's where we come from, and we're different that way. 2. I played with the idea of gluing code like that together some 10 years ago. The idea was to glue together units (no modules yet) where on one side you

Re: [racket-dev] . . for-each: arity mismatch for procedure

2011-04-08 Thread Matthias Felleisen
On Apr 8, 2011, at 9:57 AM, Matthew Flatt wrote: At Thu, 7 Apr 2011 12:05:01 -0600, Matthew Flatt wrote: At Thu, 7 Apr 2011 13:29:10 -0400, Matthias Felleisen wrote: I suspect that this is a bug in arity checking/reporting (at Matthew's level). Me too, since I changed something related

[racket-dev] syntax-parse please!

2011-04-07 Thread Matthias Felleisen
Matthew Ryan (mostly): I wrote (inner (send bag full?)) instead of (inner (send bag full?) rerack!-enabled?) and got this error message: inner: expected an identifier after the keyword and default-value expression in: (inner (send bag full?)) Looks like the macro

Re: [racket-dev] . . for-each: arity mismatch for procedure board-put: expects 1186328008 arguments, given 1

2011-04-07 Thread Matthias Felleisen
, at 1:23 PM, Robby Findler wrote: ... okay, color me curious: is that some memory being trashed, or is there something more interesting happening there? Robby On Thu, Apr 7, 2011 at 10:58 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: Hmph. That reminds me of Alan Perlis

Re: [racket-dev] spam trac tickets

2011-03-23 Thread Matthias Felleisen
can you turn these captcha expressions into small arithmetic expressions that people know they need to compute and the spammers don't see? On Mar 22, 2011, at 11:28 PM, Robby Findler wrote: Looks like the spammers have found a way thru google's captcha thing. There were just three spam

Re: [racket-dev] change default binding of c:x; c:w to save definitions as... ?

2011-03-21 Thread Matthias Felleisen
Emacs is great. Leave the bindings alone. On Mar 21, 2011, at 4:17 PM, John Clements wrote: On Mar 21, 2011, at 12:38 PM, Gregory Woodhouse wrote: On a Mac, save as should be shift-command-S. I'd vote for using this keybinding for Save Definitions As I'm okay with that, and I

Re: [racket-dev] racket/stream

2011-03-17 Thread Matthias Felleisen
Two reactions: 1. I think we should stay away from 'stream' here. If Racket had grown out of the Unix tradition, I'd be fine with it. But we partially grew out the functional community, and they use 'stream' for a narrower concept. 2. My hunch is that immutable 'things' are what we want.

Re: [racket-dev] racket/stream

2011-03-17 Thread Matthias Felleisen
On Mar 17, 2011, at 3:38 PM, Matthew Flatt wrote: At Thu, 17 Mar 2011 15:34:17 -0400, Matthias Felleisen wrote: 1. I think we should stay away from 'stream' here. If Racket had grown out of the Unix tradition, I'd be fine with it. But we partially grew out the functional community

Re: [racket-dev] racket/stream

2011-03-17 Thread Matthias Felleisen
currently exported by `racket/stream'). so I think the answer is 1. Robby On Thu, Mar 17, 2011 at 2:42 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Mar 17, 2011, at 3:38 PM, Matthew Flatt wrote: At Thu, 17 Mar 2011 15:34:17 -0400, Matthias Felleisen wrote: 1. I think we should

Re: [racket-dev] racket/stream

2011-03-17 Thread Matthias Felleisen
by `racket/stream'). so I think the answer is 1. Robby On Thu, Mar 17, 2011 at 2:42 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Mar 17, 2011, at 3:38 PM, Matthew Flatt wrote: At Thu, 17 Mar 2011 15:34:17 -0400, Matthias Felleisen wrote: 1. I think we should stay away from

Re: [racket-dev] racket/stream

2011-03-17 Thread Matthias Felleisen
On Mar 17, 2011, at 3:54 PM, Matthew Flatt wrote: At Thu, 17 Mar 2011 15:42:40 -0400, Matthias Felleisen wrote: What does (stream-first (stream-cons 1 (infinite-loop))) produce? 1 Then I definitely recommend picking a different word for this library: flow series river

Re: [racket-dev] racket/stream

2011-03-17 Thread Matthias Felleisen
On Mar 17, 2011, at 4:10 PM, Matthew Flatt wrote: At Thu, 17 Mar 2011 15:53:51 -0400, Matthias Felleisen wrote: That's the heart of the question, its distillation to a one-liner. The real question how a list can __be__ a stream and how a LR stream can __be__ a stream. It's

Re: [racket-dev] racket/stream

2011-03-17 Thread Matthias Felleisen
On Mar 17, 2011, at 4:46 PM, Matthew Flatt wrote: I disagree only because of the lazy nature of stream __construction__, the potential confusion for first-timers, and the potential confusion with some srfi or other. Can you provide an example that would create confusion? See recent

Re: [racket-dev] [racket] stream-cons from racket/stream isn't lazy

2011-03-06 Thread Matthias Felleisen
On Mar 5, 2011, at 10:32 PM, Eli Barzilay wrote: So you shouldn't use it at all. Eli, this remark suggests that 'stream' is mis-documented and that it should be moved somewhere else for the next release, before it does more harm (a /private/) -- Matthias

Re: [racket-dev] overwrite

2011-02-26 Thread Matthias Felleisen
didn't really change. Jay 2011/2/26 Matthias Felleisen matth...@ccs.neu.edu: When I use drracket, I frequently get a warning that my file has been modified on disk and the question of whether I want to save the file or revert. Is anyone else suffering from this problem

Re: [racket-dev] overwrite

2011-02-26 Thread Matthias Felleisen
On 26 Feb 2011, at 4:36:37, Matthias Felleisen wrote: The files I have been editing this morning are not under Git control. (And yes, I have on one occasion checked the file via Emacs and didn't see any difference.) On Feb 26, 2011, at 11:35 AM, Jay McCarthy wrote: It's from

Re: [racket-dev] overwrite

2011-02-26 Thread Matthias Felleisen
Well it just occurred for a file under Git but WITHOUT check syntax. On Feb 26, 2011, at 11:48 AM, Matthias Felleisen wrote: I confirm the check syntax observation. On Feb 26, 2011, at 11:39 AM, Kathy Gray wrote: I also see this quite frequently (for files not under Git control). I

<    1   2   3   4   5   6   7   >