Re: [racket-dev] Added Sierpinski example to wikipedia page

2010-08-17 Thread Sam Tobin-Hochstadt
On Mon, Aug 16, 2010 at 11:38 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Some minimal surgery done. Note that the best way to make edits like this stick is to put the information we want on our web pages as well, and then cite it from Wikipedia. -- sam th sa...@ccs.neu.edu

[racket-dev] RFC: Coding Guidelines

2010-08-17 Thread Jay McCarthy
We're attempting to write down coding guidelines for the project. Here is a first attempt: http://faculty.cs.byu.edu/~jay/tmp/201008161509-guidelines.html Please comment. Jay -- Jay McCarthy j...@cs.byu.edu Assistant Professor / Brigham Young University http://teammccarthy.org/jay The glory

Re: [racket-dev] RFC: Coding Guidelines

2010-08-17 Thread John Clements
On Aug 17, 2010, at 3:57 PM, Jay McCarthy wrote: We're attempting to write down coding guidelines for the project. Here is a first attempt: http://faculty.cs.byu.edu/~jay/tmp/201008161509-guidelines.html and that you and your readers will so in the future Will so? Should that have been

Re: [racket-dev] RFC: Coding Guidelines

2010-08-17 Thread Jay McCarthy
It may be a typo in the source material. http://www.ccs.neu.edu/home/matthias/HtDP2e/prologue.html#(part._not) On Tue, Aug 17, 2010 at 2:21 PM, John Clements cleme...@brinckerhoff.org wrote: On Aug 17, 2010, at 3:57 PM, Jay McCarthy wrote: We're attempting to write down coding guidelines for

Re: [racket-dev] RFC: Coding Guidelines

2010-08-17 Thread John Clements
On Aug 17, 2010, at 3:57 PM, Jay McCarthy wrote: We're attempting to write down coding guidelines for the project. Here is a first attempt: http://faculty.cs.byu.edu/~jay/tmp/201008161509-guidelines.html Please comment. You write As long as your code fulfills its promises and meets

Re: [racket-dev] RFC: Coding Guidelines

2010-08-17 Thread Jay McCarthy
On Tue, Aug 17, 2010 at 2:24 PM, John Clements cleme...@brinckerhoff.org wrote: On Aug 17, 2010, at 3:57 PM, Jay McCarthy wrote: We're attempting to write down coding guidelines for the project. Here is a first attempt: http://faculty.cs.byu.edu/~jay/tmp/201008161509-guidelines.html

[racket-dev] Racket stuffs

2010-08-17 Thread Eli Barzilay
Get your bumper stickers and (nice!) round stickers here: http://www.zazzle.com/elibarzilay (The the top three are the relevant items.) If anyone has a request for other things (items or graphics), mail me and I'll try to put it up too. -- ((lambda (x) (x x)) (lambda (x) (x x)))

Re: [racket-dev] Racket stuffs

2010-08-17 Thread Shriram Krishnamurthi
I almost love the bumper sticker. Would you consider: - removing the http: garbage and replace it with just www.racket-lang.org? The ://.../ is too much visual clutter (though thanks for putting the slash at the end -- I hate it when people drop that). I know without the www. will work, but

[racket-dev] a small Racket success story

2010-08-17 Thread Shriram Krishnamurthi
As some of you know, we're building a semantics for Python in Racket. At my instigation, my students are doing everything in Typed Racket. However, when we got to generators, we ran up against a problem: we couldn't type the generator code (a bad interaction between mutation and occurrence

Re: [racket-dev] Racket stuffs

2010-08-17 Thread Robby Findler
I like r1. Guess I'm not hip. :) But for the otehrs, I'd drop the trailing slash. Robby On Tue, Aug 17, 2010 at 8:50 PM, Eli Barzilay e...@barzilay.org wrote: On Aug 17, Shriram Krishnamurthi wrote: I like http://; as a better (IMO, of course) visual cue, which is why I used it...   I can

Re: [racket-dev] RFC: Coding Guidelines

2010-08-17 Thread Shriram Krishnamurthi
It IS a typo in the original. Matthias, please note. Frankly, John, I'm just not seeing what you're seeing. Maybe I read it too quickly, but at the speed at which I read it, it made perfect sense to me. Shriram On Tue, Aug 17, 2010 at 4:22 PM, Jay McCarthy jay.mccar...@gmail.com wrote: It

Re: [racket-dev] Racket stuffs

2010-08-17 Thread Sam Tobin-Hochstadt
On Tue, Aug 17, 2010 at 10:29 PM, Eli Barzilay e...@barzilay.org wrote:  http://tmp.barzilay.org/r3.png (1 vote) I like this one. But can you make an r4 without the 'www.' so I can vote for that? Also, can we please have a slogan other than Racket is a programming language? I even prefer

Re: [racket-dev] Racket stuffs

2010-08-17 Thread Matthias Felleisen
r1 On Aug 17, 2010, at 9:50 PM, Eli Barzilay wrote: On Aug 17, Shriram Krishnamurthi wrote: I like http://; as a better (IMO, of course) visual cue, which is why I used it... I can probably make a www. alternative if you like that better. (It could work with neither, since .org is good

Re: [racket-dev] a small Racket success story

2010-08-17 Thread Matthias Felleisen
On Aug 17, 2010, at 9:21 PM, Shriram Krishnamurthi wrote: As some of you know, we're building a semantics for Python in Racket. At my instigation, my students are doing everything in Typed Racket. However, when we got to generators, we ran up against a problem: we couldn't type the generator

Re: [racket-dev] a small Racket success story

2010-08-17 Thread Shriram Krishnamurthi
Why did you even have to rewrite it? 1. I didn't have access to their code. 2. We'd have had to take out the :'s, anyway. 'Everyone' (for some value of 'every') understands that this is how it works for the Y combinator. Good point. Shriram _

Re: [racket-dev] a small Racket success story

2010-08-17 Thread Matthias Felleisen
On Aug 17, 2010, at 11:17 PM, Shriram Krishnamurthi wrote: Why did you even have to rewrite it? 1. I didn't have access to their code. 2. We'd have had to take out the :'s, anyway. Can't you just re-export the procedures at a specific type? -- Matthias

Re: [racket-dev] a small Racket success story

2010-08-17 Thread Shriram Krishnamurthi
If I want to move (define: (foo ([a : ...])) ...) into untyped code, I have to touch the source -- the code simply isn't valid syntax. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] a small Racket success story

2010-08-17 Thread Jay McCarthy
#lang typed/racket/no-check On Tue, Aug 17, 2010 at 9:35 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: If I want to move (define: (foo ([a : ...])) ...) into untyped code, I have to touch the source -- the code simply isn't valid syntax. _