Re: [racket] Help require and provide

2011/2/14 José Lopes : > Suppose I have files A, B and C. > Files A and B provide several functions, including function foo. > File C wants to require both A and B. How can I choose which function foo I > want? [prefix-in] is a nice form, too. _

Re: [racket] Uninstalling Racket

Ramakrishnan Muthukrishnan wrote at 02/14/2011 11:21 PM: On a GNU/Linux system, how do I uninstall a previous install of Racket, built and installed from git source? This has come up before. I don't know whether someone made a tool for uninstalls, but if you install a new tree using the practic

[racket] Uninstalling Racket

On a GNU/Linux system, how do I uninstall a previous install of Racket, built and installed from git source? Most autoconf based programs provide a `make uninstall' but looks like Racket does not provide such a make target. Is there another way to remove the previous installations cleanly? thanks

[racket] Racket v5.1

Racket version 5.1 is now available from http://racket-lang.org/ The most significant change in version 5.1 is a rewrite of the GUI library: http://blog.racket-lang.org/2010/12/racket-version-5.html Unix/X users will see the biggest difference with this change, because DrRacket and all Rack

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

Matthias Felleisen wrote at 02/14/2011 11:28 AM: On Feb 13, 2011, at 10:15 PM, Neil Van Dyke wrote: Going back to that root requirement... I think that unit testing should be so central to contemporary programming that we should just pick some syntax that makes sense for practical developme

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

On 2/14/11 7:18 PM, Robby Findler wrote: (I have other comments on the Eli's proposal but why you're observing here is unfortunately already intrenched in Racket; it isn't new here.) I read Stephen's comment as objecting to the use of the name `true', which already means #t, to be the name for

Re: [racket] tests/eli-tester feedback

On Mon, Feb 14, 2011 at 7:39 PM, Eli Barzilay wrote: > 30 minutes ago, Robby Findler wrote: >> On Mon, Feb 14, 2011 at 4:53 PM, Eli Barzilay wrote: >> > Ah -- I should have remembered that point.  Yes, I meant that it >> > is bound.  I should have also said that `true' is a bad name for >> > this

Re: [racket] tests/eli-tester feedback

30 minutes ago, Robby Findler wrote: > On Mon, Feb 14, 2011 at 4:53 PM, Eli Barzilay wrote: > > Ah -- I should have remembered that point.  Yes, I meant that it > > is bound.  I should have also said that `true' is a bad name for > > this reason, in the same way that `->' is (I'd prefer it over >

Re: [racket] tests/eli-tester feedback

On Mon, Feb 14, 2011 at 4:53 PM, Eli Barzilay wrote: > Two minutes ago, Robby Findler wrote: >> I guess I'm asking if true is bound somewhere or not. > > Ah -- I should have remembered that point.  Yes, I meant that it is > bound.  I should have also said that `true' is a bad name for this > reaso

Re: [racket] graph-structured syntax

One more data point: > (eval (read (open-input-string "#1=(sin #1#)"))) datum->syntax: cannot create syntax from cyclic datum: #0='(sin #0#) So that's another clue: it looks like Racket goes to pretty great lengths to prevent the compiler from receiving cyclic AST's. Anyway, it would be

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

40 minutes ago, Stephen Bloch wrote: > > On Feb 14, 2011, at 5:00 PM, Eli Barzilay wrote: > > > I figured that > > a much better solution to avoid some new `/=>' is to have instead a > > new `true' so that (test E => true) works for any non-#f value. > > Umm... isn't redefining "true" sorta like

[racket] graph-structured syntax

I've never been fully acquainted with the graph reader, so I did a little REPL-experimenting and doc-hunting. It appears Racket is pretty conservative about where it allows you to use graph syntax: > (define x '#0=(foo . #0#)) read: #..-expressions not allowed in read-syntax mode I imag

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

(I have other comments on the Eli's proposal but why you're observing here is unfortunately already intrenched in Racket; it isn't new here.) On Monday, February 14, 2011, Stephen Bloch wrote: > > On Feb 14, 2011, at 5:00 PM, Eli Barzilay wrote: > >> I figured that >> a much better solution to av

Re: [racket] question about permutation

On Feb 13, 2011, at 7:42 PM, Xiaojian Wang wrote: > I want to make a permutation of a word, for example 1 2 3 > > it should return > 1 2 3 > 1 3 2 > 2 1 3 > 2 3 1 > 3 1 2 > 3 2 1 > > or > (list (list 1 2 3) > (list 1 3 2) > . > . > . This is one of my favorite h

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

On Feb 14, 2011, at 5:00 PM, Eli Barzilay wrote: > I figured that > a much better solution to avoid some new `/=>' is to have instead a > new `true' so that (test E => true) works for any non-#f value. Umm... isn't redefining "true" sorta like redefining pi to equal 3? If you're going to creat

Re: [racket] Multiplying by 0

> On Mon, Feb 14, 2011 at 12:14 PM, Sam Tobin-Hochstadt > wrote: >> No, it's not a bug. Since 1e100 is an inexact number, there's >> uncertainty about the minimum of those two numbers, > On Mon, Feb 14, 2011 at 5:01 PM, Joe Marshall wrote: >> So could a conforming implementation return 1e100 a

Re: [racket] Multiplying by 0

On Mon, Feb 14, 2011 at 5:01 PM, Joe Marshall wrote: > My point was that inexactness leads to a lot of nasty incoherence. > > But in the spirit of asking naive questions... > > On Mon, Feb 14, 2011 at 12:14 PM, Sam Tobin-Hochstadt > wrote: >> No, it's not a bug.  Since 1e100 is an inexact number

Re: [racket] tests/eli-tester feedback

Two minutes ago, Robby Findler wrote: > I guess I'm asking if true is bound somewhere or not. Ah -- I should have remembered that point. Yes, I meant that it is bound. I should have also said that `true' is a bad name for this reason, in the same way that `->' is (I'd prefer it over `=>'). BTW,

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

I guess I'm asking if true is bound somewhere or not. Robby On Monday, February 14, 2011, Eli Barzilay wrote: > 6 minutes ago, Robby Findler wrote: >> On Monday, February 14, 2011, Eli Barzilay wrote: >> > Yesterday, Neil Van Dyke wrote: >> >> Eli Barzilay wrote at 02/13/2011 09:41 PM: >> >> >

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

6 minutes ago, Robby Findler wrote: > On Monday, February 14, 2011, Eli Barzilay wrote: > > Yesterday, Neil Van Dyke wrote: > >> Eli Barzilay wrote at 02/13/2011 09:41 PM: > >> > It currently shoots for (and will continue in the future) a very > >> > low readability overhead -- that's the whole re

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

On Monday, February 14, 2011, Eli Barzilay wrote: > Yesterday, Neil Van Dyke wrote: >> Eli Barzilay wrote at 02/13/2011 09:41 PM: >> > It currently shoots for (and will continue in the future) a very >> > low readability overhead -- that's the whole reason for the >> > infixish `=>' syntax. [...]

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

Yesterday, Stefan Schmiedl wrote: > On Sun, 13 Feb 2011 12:16:59 -0500 > Eli Barzilay wrote: > > > Not documented, and not distributed by default (since it still > > lives as just a file in the `tests' collection). > > Hidden like an easter egg :-) Not really. Started as a private hack, grew t

Re: [racket] Multiplying by 0

My point was that inexactness leads to a lot of nasty incoherence. But in the spirit of asking naive questions... On Mon, Feb 14, 2011 at 12:14 PM, Sam Tobin-Hochstadt wrote: > No, it's not a bug.  Since 1e100 is an inexact number, there's > uncertainty about the minimum of those two numbers, S

Re: [racket] Ad-hoc polymorphism in Typed Racket

At Mon, 14 Feb 2011 16:42:52 +, Noel Welsh wrote: > What's the story for ad-hoc polymorphism in Racket? I'm assuming you mean Typed Racket. For the built-in functions that are currently supported by TR, the ad-hoc polymorphism should work. If you want to write your own ad-hoc polymorphic func

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

Yesterday, Neil Van Dyke wrote: > Eli Barzilay wrote at 02/13/2011 09:41 PM: > > It currently shoots for (and will continue in the future) a very > > low readability overhead -- that's the whole reason for the > > infixish `=>' syntax. [...] To put this differently, I view tests > > as an important

Re: [racket] Multiplying by 0

>>> (define (min n1 n2) >>> (cond [(<= n1 n2) n1] >>>[else n2])) >> >> What's wrong with this is that, mathematically, since 1e100 is inexact, >> we're not CERTAIN it's>= 0, so the "proper" answer to (<= n1 n2) is not true >> but rather almost-certainly-true. (An "inexact Boolean", if

Re: [racket] Multiplying by 0

It's a puzzle > (define (mymin a b) (if (< a b) a b)) > (mymin 0 1e100) 0 > (mymin 1e100 0) 0 > On Feb 14, 2011, at 12:47 PM, David Van Horn wrote: > Then what is the correct definition? _ For list-related administrat

Re: [racket] Multiplying by 0

I see your point. On Feb 14, 2011, at 12:14 PM, Sam Tobin-Hochstadt wrote: > No, it's not a bug. Since 1e100 is an inexact number, there's > uncertainty about the minimum of those two numbers, and the result is > therefore inexact. > > On Mon, Feb 14, 2011 at 3:09 PM, Gregory Woodhouse > wrot

Re: [racket] Multiplying by 0

On 2/14/11 3:44 PM, Stephen Bloch wrote: On Feb 14, 2011, at 3:26 PM, David Van Horn wrote: On 2/14/11 3:14 PM, Sam Tobin-Hochstadt wrote: No, it's not a bug. Since 1e100 is an inexact number, there's uncertainty about the minimum of those two numbers, and the result is therefore inexact.

Re: [racket] Multiplying by 0

On Feb 14, 2011, at 3:26 PM, David Van Horn wrote: > On 2/14/11 3:14 PM, Sam Tobin-Hochstadt wrote: >> No, it's not a bug. Since 1e100 is an inexact number, there's >> uncertainty about the minimum of those two numbers, and the result is >> therefore inexact. > > I would've expected min to retu

Re: [racket] Multiplying by 0

On 2/14/11 3:14 PM, Sam Tobin-Hochstadt wrote: No, it's not a bug. Since 1e100 is an inexact number, there's uncertainty about the minimum of those two numbers, and the result is therefore inexact. I would've expected min to return a number that is `eq?' to one of its arguments. In other wo

Re: [racket] Multiplying by 0

No, it's not a bug. Since 1e100 is an inexact number, there's uncertainty about the minimum of those two numbers, and the result is therefore inexact. On Mon, Feb 14, 2011 at 3:09 PM, Gregory Woodhouse wrote: > Oops... Now that has to qualify as a bug. > > On Feb 14, 2011, at 11:58 AM, Joe Marsh

Re: [racket] Multiplying by 0

Oops... Now that has to qualify as a bug. On Feb 14, 2011, at 11:58 AM, Joe Marshall wrote: > 2011/2/13 José Lopes : >> I understand. However, not only that disregards type promotion but also is >> incoherent since (+ 0 0.0) evaluates to 0.0. > > Worse: > (min 0 1e100) => 0.0 > > -- > ~jrm __

Re: [racket] Multiplying by 0

2011/2/13 José Lopes : > I understand. However, not only that disregards type promotion but also is > incoherent since (+ 0 0.0) evaluates to 0.0. Worse: (min 0 1e100) => 0.0 -- ~jrm _ For list-related administrative tasks: http://lists.racket

Re: [racket] Fetching a Web page?

Also, if you want to extract the contents of a web page, definitely check out Neil's fabulous HTMLPrag package: http://planet.racket-lang.org/display.ss?package=htmlprag.plt&owner=neil Dave On Feb 14, 2011, at 10:20 AM, m...@goblin.punk.net wrote: > Is there a procedure to fetch a Web page

Re: [racket] Fetching a Web page?

On Mon, Feb 14, 2011 at 10:20 AM, wrote: > Is there a procedure to fetch a Web page? I'm probably > looking in the wrong places for it. I found the Racket > Networking Libraries, but I'm not familiar with Web sockets. Check out get-pure-port and related functions in the manual. Cheers, Sam __

Re: [racket] Fetching a Web page?

On Mon, Feb 14, 2011 at 1:20 PM, wrote: > Is there a procedure to fetch a Web page?  I'm probably looking in the wrong > places for it.  I found the Racket Networking Libraries, but I'm not familiar > with Web sockets. Hi Mike, You'll can find it here: http://docs.racket-lang.org/net/url

[racket] Fetching a Web page?

Is there a procedure to fetch a Web page? I'm probably looking in the wrong places for it. I found the Racket Networking Libraries, but I'm not familiar with Web sockets. Thanks, Mike _ For list-related administrative tasks: http://lists.rack

Re: [racket] In v5.0.2 how do we change the line number and gutter color?

On Mon, Feb 14, 2011 at 11:18 AM, Jon Rafkind wrote: > On 02/14/2011 10:14 AM, Grant Rettke wrote: >> In v5.0.2 how do we change the line number and gutter color? > > If you have access to the line-numbers% mixin then you should be able to > call `set-line-numbers-color' to change the line numbers

Re: [racket] In v5.0.2 how do we change the line number and gutter color?

On 02/14/2011 10:14 AM, Grant Rettke wrote: > In v5.0.2 how do we change the line number and gutter color? If you have access to the line-numbers% mixin then you should be able to call `set-line-numbers-color' to change the line numbers color. If you are in drracket and want to change the color yo

[racket] In v5.0.2 how do we change the line number and gutter color?

In v5.0.2 how do we change the line number and gutter color? _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

Here's a start, based on discussions w/ Eli, Robby, et al way back when: https://github.com/noelwelsh/racktest I gotta go now. I'll merge changes when I get back online. ;-) N. On Mon, Feb 14, 2011 at 4:28 PM, Matthias Felleisen wrote: > > > On Feb 13, 2011, at 10:15 PM, Neil Van Dyke wrote:

[racket] Ad-hoc polymorphism in Typed Racket

What's the story for ad-hoc polymorphism in Racket? In particular, I'd like to use the dict library. Cheers, N. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] tests/eli-tester feedback (Was: Racket unit testing)

On Feb 13, 2011, at 10:15 PM, Neil Van Dyke wrote: > Going back to that root requirement... I think that unit testing should be so > central to contemporary programming that we should just pick some syntax that > makes sense for practical development both large and small, use it > everywhere,

[racket] Happy Valentine's Day!

On behalf of my students, we'd all like to thank you for the lovely easter egg in today's splash screen. :) Happy Valentine's Day! -- -=-Don Blaheta-=-dblah...@monm.edu-=-=--=- Children seldom misquote you. In fact, they usually repeat word for word what you s

Re: [racket] Racket 5.0.2 and MysterX

Try to delete file "main_rkt.zo" or directory "collects\mysterx\compiled" and run again. Sun, 13 Feb 2011 11:43:34 + письмо от JosИ Lopes : > Hello, > > I just downloaded and installed Racket 5.0.2 but when requiring mysterx > it says > > ..\..\..\Program > Files\Racket\collects\mysterx

Re: [racket] Help require and provide

Use except-in or rename-in N. 2011/2/14 José Lopes : > Hello, can you help me with this problem? > > Suppose I have files A, B and C. > Files A and B provide several functions, including function foo. > File C wants to require both A and B. How can I choose which function foo I > want? > > Regard

[racket] Help require and provide

Hello, can you help me with this problem? Suppose I have files A, B and C. Files A and B provide several functions, including function foo. File C wants to require both A and B. How can I choose which function foo I want? Regards, José -- José António Branquinho de Oliveira Lopes 58612 - MEIC