On Mon, Aug 16, 2010 at 11:38 PM, Matthias Felleisen
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
_
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
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay
"The glory of God is Inte
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 hav
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
wrote:
>
> On Aug 17, 2010, at 3:57 PM, Jay McCarthy wrote:
>
>> We're attempting to write down coding guidelines for the project.
>>
>> H
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
On Tue, Aug 17, 2010 at 2:24 PM, John Clements
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
>>
>> Please commen
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)))
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, b
On Aug 17, Shriram Krishnamurthi wrote:
> I almost love the bumper sticker. Would you consider:
[Only when I'm back (next week), since I can't do any real editing
here...]
> - removing the "http:" garbage and replace it with just
> "www.racket-lang.org"? The ://.../ is too much visual clutter
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 typing).
> 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 enough
> in the relevant crowds, but it makes it short enough to be ugly.)
I think it's
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 enough
> > in the relevant crowds, but it
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 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
Drop the slashes from r2 and r3!
I don't like r2 at all.
I prefer r3 w/out the slash.
I can live with r1, though it would be really nice if you could
stretch it out a bit so the right / ends under the edge of t.
Otherwise the eye notices the gap and that's not good.
I prefer r3 because there's
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 wrote:
> It may be a typo in the sou
On Aug 17, Shriram Krishnamurthi wrote:
> Drop the slashes from r2 and r3!
>
> I don't like r2 at all.
>
> I prefer r3 w/out the slash.
OK, I'll ignore r2, and dropped the slash from r3.
> I can live with r1, though it would be really nice if you could
> stretch it out a bit so the right / end
On Tue, Aug 17, 2010 at 10:29 PM, Eli Barzilay 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 "Racket is not a pr
On Tue, Aug 17, 2010 at 10:29 PM, Eli Barzilay wrote:
>
> Relevant URLs left:
>
> http://tmp.barzilay.org/r1.png (2 votes)
My wife (a Python programmer, the target audience! :) prefers 1.
--
sam th
sa...@ccs.neu.edu
_
For list-related administra
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
On Aug 17, Sam Tobin-Hochstadt wrote:
> On Tue, Aug 17, 2010 at 10:29 PM, Eli Barzilay 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?
Done.
> Also, can we please have a slogan other than "Racket is a
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 genera
> 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
___
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
_
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
#lang typed/racket/no-check
On Tue, Aug 17, 2010 at 9:35 PM, Shriram Krishnamurthi
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.
> _
> For list-rel
That was not at all what Matthias was talking about. My response was
to understand his comment.
On Tue, Aug 17, 2010 at 11:59 PM, Jay McCarthy wrote:
> #lang typed/racket/no-check
>
> On Tue, Aug 17, 2010 at 9:35 PM, Shriram Krishnamurthi
> wrote:
>> If I want to move (define: (foo ([a : ...])
26 matches
Mail list logo
