Re: [racket-dev] Wikipedia page

2010-06-08 Thread Matthias Felleisen
On Jun 8, 2010, at 3:28 PM, John Clements wrote: 1) In sentences such as DrScheme is a part of PLT Scheme, I'm guessing this should turn into DrRacket is a part of the Racket project, or something similar. DrRacket is PLT's IDE for the Racket programming language. 2) More generally,

Re: [racket-dev] [plt-edu] Re: TeachScheme! wikipedia page update

2010-06-16 Thread Matthias Felleisen
...@eecs.northwestern.edu wrote: It is unfortunate that the name TeachScheme! requires an immediate explanation. :) Robby On Wed, Jun 16, 2010 at 1:00 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Thanks for reminding me and for getting started. I have made small changes to the page (de

Re: [racket-dev] proposal: `data' collection

2010-06-24 Thread Matthias Felleisen
On Jun 23, 2010, at 5:37 PM, Sam Tobin-Hochstadt wrote: To clarify, I'm proposing that this be a part of the core I agree with this goal and the name. We could call it 'collections' hierarchy as in Java, but I don't think that this is a good name. Ideally, I'd like to call it

Re: [racket-dev] Parallel Build of Collects

2010-07-02 Thread Matthias Felleisen
Why don't you use make parallel setup the standard? On Jul 2, 2010, at 4:44 PM, Kevin Tew wrote: raco setup -u will build collects in parallel, using all the cores your machine has. rack setup -u -j X ie (-j 2) can be used to throttle parallel build to only use X cores. Parallel

Re: [racket-dev] internal-definition parsing

2010-07-08 Thread Matthias Felleisen
On Jul 7, 2010, at 5:55 PM, Eli Barzilay wrote: Some examples that show how useful this is: * In the lazy language you want the implicit begin to force all expressions except for the last one. * I've redefined the implicit begin (in an ugly way) for my course language to force

Re: [racket-dev] proposal: `data' collection

2010-07-08 Thread Matthias Felleisen
This sounds like we should give up on stratification. On Jul 7, 2010, at 5:21 PM, Eli Barzilay wrote: On Jul 6, Petey Aldous wrote: That would be interesting and it would not be terribly difficult to instrument setup-plt to do it. There's no reason to do that -- the data is all there

Re: [racket-dev] internal-definition parsing

2010-07-08 Thread Matthias Felleisen
On Jul 8, 2010, at 12:09 PM, Jay McCarthy wrote: #%module-begin as the top level controlling macro is a distinguishing feature. Requires and provides can only be there and you know there's only one application. These could be an argument to the #%...-begin macro: are-you-top-level? :: (U

Re: [racket-dev] How to run the BSL test suite?

2010-07-14 Thread Matthias Felleisen
See top of lang/private/teachprims.rkt for note on testing. I tend to run them with load. On Jul 14, 2010, at 11:24 AM, Guillaume Marceau wrote: If I execute Racket.exe -f racket/htdp.rktl I get the error: racket/beg-adv.rktl:2:1: htdp-syntax-test: this function is not defined in:

Re: [racket-dev] self-documenting feature

2010-07-19 Thread Matthias Felleisen
And which is which :-) On Jul 19, 2010, at 1:24 PM, Shriram Krishnamurthi wrote: Do ask the person who asked whether Python has coverage now. -- Matthias Aspirin vs vitamins. Shriram _ For list-related administrative tasks:

Re: [racket-dev] self-documenting feature

2010-07-19 Thread Matthias Felleisen
That's totally different from what Shriram described. On Jul 19, 2010, at 1:53 PM, Guillaume Marceau wrote: During There is good support from the interviews for having dynamic documentation in DrRacket would help quite a bit. Two out of the four students I interview requested the feature.

Re: [racket-dev] multiple key-press

2010-07-22 Thread Matthias Felleisen
I have considered this issue. I decided that these kinds of kids should be introduced to Universe programs as opposed to World programs. That's way cooler than silly one-keyboard games. -- Matthias On Jul 22, 2010, at 9:29 AM, Jay McCarthy wrote: As far as I know, at the lowest level

Re: [racket-dev] multiple key-press

2010-07-22 Thread Matthias Felleisen
On Jul 22, 2010, at 9:38 AM, Shriram Krishnamurthi wrote: I have considered this issue. I decided that these kinds of kids should be introduced to Universe programs as opposed to World programs. That's way cooler than silly one-keyboard games. Doom is silly? Duke Nukem 3D is silly?

Re: [racket-dev] multiple key-press

2010-07-23 Thread Matthias Felleisen
Thanks for all the ideas. Just to clarify: this spring I modified the API of Universe to accommodate this form of 'multiple' keypresses. I have to work out examples and probably add one more handler to get this 'right' (for beginners). (The person who posted isn't really a beginner in the

[racket-dev] haskell's 'hell of a lot of libraries', planet

2010-07-27 Thread Matthias Felleisen
If this hasn't come up yet here, please do take a look at http://donsbot.wordpress.com/2010/05/31/there-are-a-hell-of-a-lot-of-haskell-libraries-now-what-are-we-going-to-do-about-it/ I am sure we will face this kind of problem one day and we might be able to prepare ourselves a bit.

Re: [racket-dev] haskell's 'hell of a lot of libraries', planet

2010-07-27 Thread Matthias Felleisen
if others are interested. Cheers, yc On Tue, Jul 27, 2010 at 2:45 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: If this hasn't come up yet here, please do take a look at http://donsbot.wordpress.com/2010/05/31/there-are-a-hell-of-a-lot-of-haskell-libraries-now-what-are-we-going

Re: [racket-dev] Release Announcement for v5.0.1

2010-07-28 Thread Matthias Felleisen
On Jul 27, 2010, at 11:26 PM, David Van Horn wrote: * The core type system of Typed Racket has been substantially revised. In particular, Typed Racket can now follow significantly more sophisticated reasoning about the relationships between predicates. Additionally, Typed Racket

Re: [racket-dev] haskell's 'hell of a lot of libraries', planet

2010-07-28 Thread Matthias Felleisen
untrusted code to do that and there's the can of worms related to system dependencies. Jay On Tue, Jul 27, 2010 at 3:45 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: If this hasn't come up yet here, please do take a look at http://donsbot.wordpress.com/2010/05/31/there-are-a-hell

Re: [racket-dev] haskell's 'hell of a lot of libraries', planet

2010-07-28 Thread Matthias Felleisen
On Jul 28, 2010, at 12:26 AM, YC wrote: Other package systems separate the installation step from the import step Indeed, this is the key design decision separating us from the rest of the world, and it is not clear whether it was a good decision. On Jul 27, 2010, at 11:57 PM, Jay McCarthy

Re: [racket-dev] haskell's 'hell of a lot of libraries', planet

2010-07-28 Thread Matthias Felleisen
On Jul 28, 2010, at 10:03 AM, Dave Gurnell wrote: Racket's main distribution is big and takes time to compile and install. I'd personally be in favour of a leaner core distribution with more code in external packages, so I can choose what I download when I'm only interested in a single

Re: [racket-dev] multiple key-press

2010-07-30 Thread Matthias Felleisen
I have finally taken the time to design a controller for an object that allows the use of multiple arrow keys. Two insights: it is doable and it is a truly insightful exercise on state machines. Most of the 'bullet' points at the top of the program came about because I designed and explored.

Re: [racket-dev] multiple key-press

2010-07-30 Thread Matthias Felleisen
On Friday, July 30, 2010, Matthias Felleisen matth...@ccs.neu.edu wrote: I have finally taken the time to design a controller for an object that allows the use of multiple arrow keys. Two insights: it is doable and it is a truly insightful exercise on state machines. Most of the 'bullet

Re: [racket-dev] Typed Racket and ADTs

2010-08-02 Thread Matthias Felleisen
On Aug 2, 2010, at 9:39 AM, Shriram Krishnamurthi wrote: 1. doesn't have a counterpart for *untyped* code; ... Overall, the status of representation-hiding in Typed Racket seems rather weird. These two lines together explain it all. TR is about moving code from the untyped world into

Re: [racket-dev] Typed Racket and eq?

2010-08-02 Thread Matthias Felleisen
Sam, this is an interesting question and you should look into it because the answer isn't obvious: (module A typed/racket (provide map)) passes map from 'somewhere' through A to two contexts: typed and untyped modules. Given that all provides slap on contracts in TR -- that's what the

Re: [racket-dev] Typed Racket interaction

2010-08-02 Thread Matthias Felleisen
On Aug 2, 2010, at 10:43 AM, Sam Tobin-Hochstadt wrote: This is the same code as above. Did you mean something different? See my message. I had fixed it. Cap t in first line! _ For list-related administrative tasks:

Re: [racket-dev] Typed Racket and ADTs

2010-08-02 Thread Matthias Felleisen
Pardon me for mentioning ML. Yes, Jim Morris suggested ADTs without using the name and the Clu people in their paper on infinitely high-level languages (yeap!) introduced the terms. That doesn't change a thing about the content of my statement. On Aug 2, 2010, at 11:38 AM, Shriram

Re: [racket-dev] LLVM

2010-08-02 Thread Matthias Felleisen
On Aug 2, 2010, at 8:38 PM, Paul Steckler wrote: I may have missed a post on this topic, but has anyone built an LLVM back-end for mzc? Eli and an undergraduate (Alex Friedman) started on this a few years ago and got reasonably far. They could compile a bunch of small stuff, and the LLVM

Re: [racket-dev] Release Announcement for v5.0.1 -- final version

2010-08-03 Thread Matthias Felleisen
On Aug 3, 2010, at 3:08 AM, Michael Sperber wrote: Matthias Felleisen matth...@ccs.neu.edu writes: works in Beginner. It turns out however that even the German docs are broken. I should have explored more when Mike merged this in. Then again, I doubt we will have many Americans reading

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Matthias Felleisen
There's code and there's code. I don't think slideshow is at the level of Racket or Typed Racket or DrRacket. If it went away, I'd have no trouble changing the ten or twenty files in my world that use it. Sure, I'd lose a few days but if I lost Racket, I'd lose a year and more. -- Matthias

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Matthias Felleisen
I, with Paul's help, worked the entire Web server through MrSpidey and eliminated all but those checks that Herman-Meunier later showed how to eliminate with their ICFP paper. That's far more than testing in some sense even if it doesn't show that it serves. Paul set up automatic stress

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Matthias Felleisen
Yes. I started using the phrase I have bug reports, therefore I exist at Rice. I think Jay should add this phrase right next to the other quote. On Aug 19, 2010, at 10:03 AM, Robby Findler wrote: Guys: we need one more thing to go into the beginning of these guidelines. Specifically, we

Re: [racket-dev] gc vs assignment

2010-08-24 Thread Matthias Felleisen
) is written to. After the first access per page, additional mutations on that page have no extra cost, until the gc collects again. Mutating objects living in the nursery has no gc overhead. Kevin On 08/24/2010 08:18 AM, Matthias Felleisen wrote: Yes, I was taught the same thing in 1984. That's

Re: [racket-dev] gc vs assignment

2010-08-24 Thread Matthias Felleisen
So at this point, we don't really know what the relative costs are. -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] gc vs assignment

2010-08-24 Thread Matthias Felleisen
On Aug 24, 2010, at 7:13 PM, Matthew Flatt wrote: When the GC is well-tuned, it's difficult to slow a program down by using mutation --- especially relative to all the other ways you can slow a program down. This is good enough for me to correct my old belief about mutation and GCing.

Re: [racket-dev] stepper UI question

2010-08-26 Thread Matthias Felleisen
On Aug 26, 2010, at 11:59 AM, Shriram Krishnamurthi wrote: Anyone else have comments/suggestions? Robby's idea of allowing students to choose how a RUN actually worked occurred to me too but I had a different behavior in mind. Instead of opening a separate window, I'd much rather see a

Re: [racket-dev] bug czar wanted

2010-09-03 Thread Matthias Felleisen
Just in case you're wondering, there are no volunteers yet. On Sep 3, 2010, at 3:24 PM, Matthias Felleisen wrote: We are looking for a volunteer for the 'bug czar' position. The person's responsibility is -- to read bug reports as they come in -- to guess who is responsible

[racket-dev] Ryan, the bug czar

2010-09-07 Thread Matthias Felleisen
I am pleased to introduce Ryan as our new bug czar. Thanks to everyone else who volunteered. -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

[racket-dev] drracket fails N times during start up

2010-09-09 Thread Matthias Felleisen
I built drrackt from scratch tonight around 7:30. When I started it up, I got the following N error message. Error in phase 2 for tool #path:/Users/matthias/plt/collects/frtime/tool/frtime-tool.ss; FrTime Language /Users/matthias/plt/collects/drracket/private/tools-drs.rkt: FrTime Language

Re: [racket-dev] Racket documentation

2010-09-21 Thread Matthias Felleisen
On Sep 21, 2010, at 4:58 PM, Eli Barzilay wrote: And a side-comment -- having an on-line documentation is probably going to make lots of people who follow the repository happy, since compiling it is where the biggest chunk of time is spent. No, no. See my comment. The improvements to the

Re: [racket-dev] Racket documentation

2010-09-22 Thread Matthias Felleisen
Don't talk it to death with long emails. Help people to get this started. -- Matthias On Sep 22, 2010, at 4:30 PM, Eli Barzilay wrote: On Sep 22, Neil Van Dyke wrote: Eli Barzilay wrote at 09/22/2010 01:18 AM: The punchline is that your desire to use a local copy is in direct

Re: [racket-dev] Racket documentation

2010-09-25 Thread Matthias Felleisen
I agree with ELi here. On Sep 25, 2010, at 1:21 PM, Eli Barzilay wrote: An hour ago, Everett Morse wrote: Comments on the below discussion and possible implementation ideas. User-contributed comments should be annotations to the documentation. They could then be fetched using JS (Ajax)

Re: [racket-dev] #true and #false

2010-10-10 Thread Matthias Felleisen
1. I consider concise readability as superior to short unreadability. In this spirit, #true and #false are an improvement. I understand that more perfect people than myself will never conflate #t with #f, but since it happened to Matthew, I am happy not be alone. (And that happened before I

Re: [racket-dev] `cond' / `when' / `unless' / etc bodies

2010-10-10 Thread Matthias Felleisen
On Oct 10, 2010, at 2:43 PM, Robby Findler wrote: I too am in favor of when, unless, and cond being definition contexts. +1. I routinely wrap cond/when in let () for just that purpose. _ For list-related administrative tasks:

Re: [racket-dev] teaching languages error message

2010-10-14 Thread Matthias Felleisen
My changes in response to pr11xyz. I ran the language test suite. I had no clue that language changes can affect drrracket test suites. Sorry. Done. On Oct 14, 2010, at 9:48 AM, Robby Findler wrote: The teaching language error message wording changed slightly, breaking some of the

Re: [racket-dev] teaching languages error message

2010-10-14 Thread Matthias Felleisen
On Thu, Oct 14, 2010 at 9:58 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: My changes in response to pr11xyz. I ran the language test suite. I had no clue that language changes can affect drrracket test suites. Sorry. Done. On Oct 14, 2010, at 9:48 AM, Robby Findler wrote

Re: [racket-dev] teaching languages error message

2010-10-14 Thread Matthias Felleisen
On Oct 14, 2010, at 2:35 PM, Robby Findler wrote: On Thu, Oct 14, 2010 at 1:33 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 14, 2010, at 11:06 AM, Robby Findler wrote: No problem. That's what drdr is for! :) But I'll go ahead and add you to the relevant test suites

Re: [racket-dev] teaching languages error message

2010-10-14 Thread Matthias Felleisen
I will factor out the error message generation for 2htdp/*sl. Perhaps I can combine it with htdp/error. You should then be able to simplify the drracket tests. _ For list-related administrative tasks:

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-20 Thread Matthias Felleisen
Are they typed? On Oct 20, 2010, at 10:39 AM, Doug Williams wrote: I downloaded the pre-release version this morning - 10/20 (I believe it was a build from 10/16). The plot package and plot extensions in the science collection all work as expected. But, I am getting different numeric

[racket-dev] F1 on latest release

2010-10-20 Thread Matthias Felleisen
F1 doesn't work on a recent git: browser-run: process execute failed: '(#path:/usr/bin/osascript -e open location

Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Matthias Felleisen
On Oct 27, 2010, at 11:12 PM, Robby Findler wrote: Also, don't forget that we moved the signatures to ASL (and improved various aspects of the implementation). And be sure to tell them that it is all un(English)documented. Do we really want to encourage the current syntax for heaven's

[racket-dev] land of lisp, music video/comic/book

2010-10-28 Thread Matthias Felleisen
http://landoflisp.com/?ref=nf Enjoy -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] adding preferences

2010-11-02 Thread Matthias Felleisen
And everybody else sees that you learned this from the __implementation__ rather than the __documentation__ :-) On Nov 2, 2010, at 1:11 AM, Jon Rafkind wrote: nevermind, I see preferences:add-to-general-checkbox-panel in drracket/private/main.rkt On 11/01/2010 10:27 PM, Jon Rafkind

Re: [racket-dev] Simple loop checking in beginner?

2010-11-10 Thread Matthias Felleisen
On Nov 10, 2010, at 10:40 AM, namekuseijin wrote: On Wed, Nov 10, 2010 at 12:13 AM, John Clements cleme...@brinckerhoff.org wrote: ;; NOW I'M A STUDENT: ;; only-long-strings : (listof string) - (listof string) ;; return a list containing the strings longer than 2 chars (define/noloop

Re: [racket-dev] Simple loop checking in beginner?

2010-11-10 Thread Matthias Felleisen
A factor of 2.+. (We could provide a type system, take away recursion, and replace it with a structural induction form. It would be impossible to write infinite loops.) On Nov 10, 2010, at 12:41 PM, John Clements wrote: On Nov 10, 2010, at 6:50 AM, Matthias Felleisen wrote: Your

Re: [racket-dev] Something wrong with check-within

2010-11-11 Thread Matthias Felleisen
submitted as bug report On Nov 11, 2010, at 7:54 PM, David Van Horn wrote: On 11/11/10 7:34 PM, Nadeem Abdul Hamid wrote: The check-within in the follow program (in BSL/ISL) seems to hang. I see DrRacket (5.0.1, 5.0.99) loop on this: _

[racket-dev] facebook campaign for Bootstrap

2010-11-15 Thread Matthias Felleisen
/pages/1000-people-for-kids-programming-videogames-with-algebra/174472965903551] -- Matthias Begin forwarded message: From: Emmanuel Schanzer schan...@bootstrapworld.org Date: November 14, 2010 10:02:12 AM EST To: Matthias Felleisen matth...@ccs.neu.edu Subject: Facebook Campaign for Bootstrap

[racket-dev] error in gr2

2010-11-17 Thread Matthias Felleisen
/Users/matthias/plt/collects/mred/private/wx/common/freeze.rkt:9:0 internal-error /Users/matthias/plt/collects/mred/private/wx/common/freeze.rkt:36:0 constrained-reply /Users/matthias/plt/collects/mred/private/wx/cocoa/window.rkt:151:2

Re: [racket-dev] Modules with images can not be mashalled?!

2010-11-18 Thread Matthias Felleisen
I can confirm this behavior and I consider it a bug. I have submitted a bug (#11448) in your name so that you hear back when we get around to fixing it. In the meantime, I propose you use the work arounds that you have figured out. Sorry for any inconvenience -- Matthias On Nov 18,

Re: [racket-dev] [racket] Plea for neologism

2010-11-24 Thread Matthias Felleisen
Is A[e_1 e_2] = A[e_1] meta A[e_2] compositional? How about A[e_1 e_2]env = A[e_1]env meta A[e_2]env or A[e_1 e_2]env k = A[e_1]env (\x_1. A[e_2]env (\x_2. k (x_1 meta x_2))) or A[e_1 e_2]env k s = A[e_1]env (\x_1s_1. A[e_2]env (\x_2 s_2. k (x_1 meta x_2) s_?) s_1 etc

[racket-dev] master read error

2010-11-26 Thread Matthias Felleisen
I ran a built from scratch and got this: MASTER READ ERROR - reading from worker: read-char: input port is closed KILLING WORKER 1 #worker _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

[racket-dev] console output

2010-11-26 Thread Matthias Felleisen
This shows up in my console when I load insert large letters for the first time. It did not show up with the gracket1. (process:56316): Pango-WARNING **: couldn't load font Snell Roundhand Medium Not-Rotated 24, falling back to Sans Medium Not-Rotated 24, expect ugly output.

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-11-27 Thread Matthias Felleisen
On Nov 27, 2010, at 4:31 AM, Neil Van Dyke wrote: this does not require plugging together components using units and signatures; sometimes those tools are indispensable, but they're also cumbersome Have you tried the new ones? They work smoothly for most of the time, almost like modules

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-11-30 Thread Matthias Felleisen
On Nov 30, 2010, at 9:01 AM, Eli Barzilay wrote: (The above errors were all over the old pages for years without being discovered...) Berkeley would have asked if they are really errors then :-) _ For list-related administrative tasks:

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-11-30 Thread Matthias Felleisen
On Nov 30, 2010, at 9:58 AM, Robby Findler wrote: That said, massive backwards incompatibility as Jay is proposing seems wrong. + a lot _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] [racket] Exploratory programming?

2010-12-01 Thread Matthias Felleisen
In Safari this error doesn't show up. On Dec 1, 2010, at 9:52 PM, Eli Barzilay wrote: Four hours ago, engin...@alum.mit.edu wrote: 2. Search Manuals breaks the browser's Back button. Here's a simple example. a. Open http://docs.racket-lang.org/ b. Type modulus in the search manuals

Re: [racket-dev] code base metrics

2010-12-01 Thread Matthias Felleisen
-definitions.txt On 11/29/2010 03:34 PM, Matthias Felleisen wrote: That makes sense. For now, I am fine with this very first-order approximation. Thanks On Nov 29, 2010, at 5:32 PM, Jon Rafkind wrote: There is one thing defined at phase 0, module-begin. The module exports a bunch of stuff

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-12-05 Thread Matthias Felleisen
Jay, coercions aka casts in our world are compound words with - in between them. Why do you need a new name? (There is an inconsistency in their behavior. To wit Welcome to Racket v5.0.99.4. (integer-char 1000) integer-char: expects argument of type exact integer in [0,#x10],

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-12-06 Thread Matthias Felleisen
stuff to inputs and outputs. Jay On Mon, Dec 6, 2010 at 8:19 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: The string-number primitive is probably closer to what Jay wants to do. The only contract I can think of for string-number is ;; Number - Boolean (define (string-number

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-12-06 Thread Matthias Felleisen
The interoperability comment just hit me. What we might be discovering is basically Jacob's thesis in practice. It isn't so much contracts+X that we're looking at to implement interoperability, but contracts = interop-stuff + blame-mechnism + possibly-more. Jay is trying to reuse the first

Re: [racket-dev] Behavioral subtyping for editor% and its implementing classes

2010-12-07 Thread Matthias Felleisen
If we take it out of editor%, we should not encounter any problems whatsoever. It is possible that additional implements-interface checks will succeed, but I am doubtful. Other than that I can't think of any problems. Should Asumu try and just run the whole test suite and if it works you

Re: [racket-dev] full tree text search

2010-12-08 Thread Matthias Felleisen
So how do you use it? I entered code: and I got a huge stack trace. On Dec 8, 2010, at 8:26 PM, Jon Rafkind wrote: I whipped up a webservice that provides full text search on the racket tree. Its written in java using lucene+jetty. It doesn't have a lot of bells and whistles right now

Re: [racket-dev] spam planet bug reports

2010-12-11 Thread Matthias Felleisen
How difficult is it to implement one as a Planet lib that avoids tracking? On Dec 11, 2010, at 1:41 PM, Neil Van Dyke wrote: One issue to consider with Recaptcha is that it's incidentally a Web bug that helps track people around the Internet. If you don't already have Web bugs in your

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-14 Thread Matthias Felleisen
, 2010 at 5:13 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: All of this discussion suggests that we start developing RacketII, a language that is a true break from Scheme. Our backward compatibility constraints are just overwhelming our knowledge of what we know is 'bad' with Racket

[racket-dev] drracket and rectangles

2011-01-03 Thread Matthias Felleisen
I decided to report on the few occasions when I switch from DrRacket to Emacs to accomplish something Racket-related. Just now I changed (connect* S round-n round-n-ne round-ne) (connect* SW round-ne round-ne-se round-se) (connect* NW round-se round-se-s round-s)

Re: [racket-dev] prs

2011-01-05 Thread Matthias Felleisen
Most of the time I do get email when Ryan assigns me a bug On Jan 5, 2011, at 5:43 PM, Eli Barzilay wrote: I didn't know that it doesn't send out emails to the responsible if it was set by changing the category... It does sound like a problem if it doesn't do that. I'll try to play with

[racket-dev] ??? what does this mean?

2011-01-06 Thread Matthias Felleisen
I am getting this: . . instantiate: superclass already initialized by class initialization for class: admin% 1. There is a single new expression in the buffer 2. There is no superclassing Any hints before I try to create a bug report?

Re: [racket-dev] ??? what does this mean?

2011-01-06 Thread Matthias Felleisen
: instantiate: superclass already initialized by class initialization for class: unsaved-editor2155:3:7 but I don't know how you're making admin% do that. Robby On Thu, Jan 6, 2011 at 5:40 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I am getting this: . . instantiate

[racket-dev] errors

2011-01-06 Thread Matthias Felleisen
Since we are releasing soon, I thought I'd remind everyone that we are getting these strange internal error messages from drracket when the mouse moves over the leftmargin/control panel in some way; on-move in window%: expected argument of type exact integer in [-1, 1]; given

Re: [racket-dev] Temporal Contracts and Match Automata

2011-01-08 Thread Matthias Felleisen
In principle I'd love to see this kind of functionality in the core. I will read the 'guide' (aka your submission) and let's work on my 'turn' example to see how it fits. -- Matthias On Jan 7, 2011, at 8:17 PM, Jay McCarthy wrote: I've recently prepared an extension to the contract

[racket-dev] strange output on console

2011-01-12 Thread Matthias Felleisen
This showed up in the console from where I launched drracket: file #f produces eof from read-language port-next-location (#f #f 36) str ;; Xexpr - [Listof (Cons Nat Nat)] The string is a part of my program. _ For list-related

Re: [racket-dev] Blame and re-provided bindings

2011-01-14 Thread Matthias Felleisen
Two complaints in one day about the wording of these clauses. Let's do something about the English. I have another one, unrelated: I don't like the 'self-blame'. I have encountered this now a couple of times, and I think we should use the Eiffel terminology of promised required

Re: [racket-dev] Blame and re-provided bindings

2011-01-15 Thread Matthias Felleisen
I think the bottom line is that we should stick to the explicit notion of re-exporting and this 'feels' right given the general eq? problem. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Blame and re-provided bindings

2011-01-15 Thread Matthias Felleisen
On Sat, Jan 15, 2011 at 11:14 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: I think the bottom line is that we should stick to the explicit notion of re-exporting and this 'feels' right given the general eq? problem. _ For list-related

Re: [racket-dev] Blame and re-provided bindings

2011-01-15 Thread Matthias Felleisen
I am totally with you. (I don't understand how you can satisfy Carl's scenario and keep it inexpensive but all the power to you.) On Jan 15, 2011, at 12:42 PM, Stevie Strickland wrote: On Jan 15, 2011, at 12:32 PM, Robby Findler wrote: But I don't think we should think of it as 'changing

Re: [racket-dev] Blame and re-provided bindings

2011-01-15 Thread Matthias Felleisen
On Jan 15, 2011, at 1:12 PM, Robby Findler wrote: do you think this change I'm suggesting (act as if the contract were written a second time) is the right behavior 1. My personal preference is to ask programmers to re-provide identifiers with explicit contracts that are ideally stated and

Re: [racket-dev] Blame and re-provided bindings

2011-01-15 Thread Matthias Felleisen
On Jan 15, 2011, at 1:26 PM, Stevie Strickland wrote: I assumed that Matthias meant that he'd like to see the _positive_ blame shifted to the re-exporting module, which would cause the issue. yes. _ For list-related administrative tasks:

Re: [racket-dev] Blame and re-provided bindings

2011-01-15 Thread Matthias Felleisen
On Jan 15, 2011, at 1:25 PM, Robby Findler wrote: 1. My personal preference is to ask programmers to re-provide identifiers with explicit contracts that are ideally stated and specified in a separate 'contracts.rkt' file per collects/project basis. I.e., the current world is my

Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Matthias Felleisen
On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland sstri...@ccs.neu.edu wrote: On Jan 15, 2011, at 12:19 PM, Robby Findler wrote: I think that we are just throwing up stumbling blocks. It is really a design choice (does a reprovide carry over

Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Matthias Felleisen
But Casey says the _client_ broke the contract. It's irrelevant where things come from when the client breaks the contracts. On Jan 16, 2011, at 11:06 PM, Carl Eastlund wrote: On Sun, Jan 16, 2011 at 11:03 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jan 15, 2011, at 5:05 PM

Re: [racket-dev] Blame and re-provided bindings

2011-01-17 Thread Matthias Felleisen
On Jan 17, 2011, at 9:00 AM, Robby Findler wrote: The redex module does an all-from-out provide on what it gets from redex/reduction-semantics and redex/pict, making it the negative party on the contracts. When a redex client breaks one of the contracts, redex gets blamed instead of the

Re: [racket-dev] Blame and re-provided bindings

2011-01-17 Thread Matthias Felleisen
On Jan 17, 2011, at 10:10 AM, Robby Findler wrote: On Mon, Jan 17, 2011 at 8:55 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Jan 17, 2011 at 9:41 AM, Robby Findler ro...@eecs.northwestern.edu wrote: So far as I understand it, we have: Stevie opposed, Matthias neutral, Robby

Re: [racket-dev] Blame and re-provided bindings

2011-01-17 Thread Matthias Felleisen
On Jan 17, 2011, at 10:53 AM, Robby Findler wrote: Let me summarize what was important in Casey's message that relates to this. He has these files: redex/gui.rkt redex/reduction-semantics.rkt redex/main.rkt The first two export subsets of the Redex library (in order to make it

Re: [racket-dev] [racket] A puzzle

2011-01-20 Thread Matthias Felleisen
Anyone up for a dissertation? Multi-stepping debugging is, eh, pushing it. On Jan 19, 2011, at 2:43 PM, Doug Orleans wrote: The following program was a puzzle in the 2011 MIT Mystery Hunt held last weekend. (I'm not linking directly to the site because they posted a solution and I

Re: [racket-dev] server availability

2011-01-21 Thread Matthias Felleisen
On Jan 21, 2011, at 1:33 PM, Brian Mastenbrook wrote: Keeping a system up to date can be tricky; for set it and forget it systems I tend to use the LTS version of Ubuntu with unattended-upgrades and Ksplice for kernel security patches. There's no guarantee that you won't be affected by a

[racket-dev] saved bug reports

2011-01-21 Thread Matthias Felleisen
I wanted to say thank you for adding 'saved bug reports' -- it was so helpful while Eli's machine was 'away' -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Church numerals in Scratch

2011-01-23 Thread Matthias Felleisen
POPL 2012 will probably sport a paper on Scratch then ... On Jan 23, 2011, at 8:28 PM, Shriram Krishnamurthi wrote: http://byob.berkeley.edu/Church.pdf _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

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

2011-01-31 Thread Matthias Felleisen
Interesting point. With types, this issue just goes away. (No matter what, I argue that Lazy should be totally compatible in contracts/types/argument order with Racket. Nothing else makes sense.) On Jan 30, 2011, at 3:28 PM, Eli Barzilay wrote: The lazy `take' has another reason to

[racket-dev] drracket hangs on me randomly as of today

2011-02-08 Thread Matthias Felleisen
I don't know how to replicate this of course, but as of today, it has become unresponsive to actions three times already. One of them could have been a release candidate but I was unable to even see the version info. _ For list-related

Re: [racket-dev] drracket hangs on me randomly as of today

2011-02-08 Thread Matthias Felleisen
exception. Robby On Tue, Feb 8, 2011 at 1:39 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I don't know how to replicate this of course, but as of today, it has become unresponsive to actions three times already. One of them could have been a release candidate but I was unable

Re: [racket-dev] drracket hangs on me randomly as of today

2011-02-08 Thread Matthias Felleisen
deleted prefs, recompiled, and it's working now. STRANGE. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

[racket-dev] call for ideas

2011-02-08 Thread Matthias Felleisen
Dear Developers, we need ideas and input. We have decided to reorganize the systems maintenance tasks over the next few months. Part of the goal is to modernize, and part of the goal is to give Eli more time for real projects. Our first stage should involve outsourcing various services, where

  1   2   3   4   5   6   7   >