Re: [racket-dev] racket/match is broken

2011-10-08 Thread Matthias Felleisen
On Oct 5, 2011, at 10:48 PM, Jay McCarthy wrote: > Okay. I think it is strange, but feel free to do that and revert my > change. Apologies for the confusion. I think you shouldn't apologize here. I am unhappy that match doesn't guarantee order of matching in a list. The entire reason I use list

Re: [racket-dev] racket/match is broken

2011-10-08 Thread Matthias Felleisen
On Oct 8, 2011, at 12:29 PM, Robby Findler wrote: > On Sat, Oct 8, 2011 at 11:17 AM, Matthias Felleisen > wrote: >> >> On Oct 5, 2011, at 10:48 PM, Jay McCarthy wrote: >> >>> Okay. I think it is strange, but feel free to do that and revert my >>> ch

Re: [racket-dev] racket/match is broken

2011-10-08 Thread Matthias Felleisen
On Oct 8, 2011, at 12:42 PM, Robby Findler wrote: >> >> I doubt that this applies but I am willing to look at >> counter-examples. > > One has been discussed in this thread. I think Sam promised to look > into seeing how well it applies to our implementation. Sorry, I skipped some messages.

Re: [racket-dev] racket/match is broken

2011-10-08 Thread Matthias Felleisen
On Oct 8, 2011, at 1:43 PM, Robby Findler wrote: I assume you mean the context (define number? (let ((old number?)) (lambda (any) (displayln `(I am testing ,any)) (old any > This expression: > > (match x > [`(lambda (,x) ,e) ...] > [(? number?) ...] > [`(,e1 ,e2)

[racket-dev] 5.2.0.1: displayln appears to write to console from where drracket was launched

2011-10-19 Thread Matthias Felleisen
I am running the silly program below (no meaning), and on occasion I see the output of the *** line in the console from where I launched drracket. 5.2.0.1 from 10/16 #lang racket (require (for-syntax syntax/parse)) (define-for-syntax (postfix stx word stem) (datum->syntax stx (string->sym

Re: [racket-dev] 5.2.0.1: displayln appears to write to console from where drracket was launched

2011-10-19 Thread Matthias Felleisen
Yeap, I have live CS running all the time. Interesting effect. On Oct 19, 2011, at 5:02 PM, Robby Findler wrote: > Probably when you were running check syntax? (Or maybe when it was > being run for you?) > > Robby > > On Wed, Oct 19, 2011 at 4:01 PM, Matthias Felleisen >

Re: [racket-dev] 5.2.0.1: displayln appears to write to console from where drracket was launched

2011-10-19 Thread Matthias Felleisen
it, I just let it go to drracket's stdout. Probably > reasonable to consider this a bug. > > Robby > > On Wed, Oct 19, 2011 at 4:06 PM, Matthias Felleisen > wrote: >> >> Yeap, I have live CS running all the time. Interesting effect. >> >> >>

Re: [racket-dev] 5.2.0.1: displayln appears to write to console from where drracket was launched

2011-10-19 Thread Matthias Felleisen
might have had too much coffee :-) On Oct 19, 2011, at 5:13 PM, Robby Findler wrote: > With a REPL? That's a lot more than I had been thinking about. I'm not > sure how to do it, either. > > Robby > > On Wed, Oct 19, 2011 at 4:12 PM, Matthias Felleisen > w

Re: [racket-dev] 5.2.0.1: displayln appears to write to console from where drracket was launched

2011-10-19 Thread Matthias Felleisen
e it to perhaps inspect what live CS really 'thinks.' > Probably if it is possible, it is easy. :) Possibly worth a small paper somewhere. And I am sure Ryan would/should help. > > Robby > > On Wed, Oct 19, 2011 at 4:17 PM, Matthias Felleisen > wrote: >

Re: [racket-dev] 5.2.0.1: displayln appears to write to console from where drracket was launched

2011-10-20 Thread Matthias Felleisen
On Oct 20, 2011, at 8:21 AM, Robby Findler wrote: > I also believe that we don't support these programs well as it is. I didn't program with closures until I experienced them in Scheme 84 in 1984. Perhaps people haven't programmed in syntax REPLs because there aren't any. But then again, perha

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

2011-11-02 Thread Matthias Felleisen
On Nov 2, 2011, at 11:21 AM, Sam Tobin-Hochstadt wrote: > On Wed, Nov 2, 2011 at 11:06 AM, Eli Barzilay wrote: > >> * The new db library offers a high-level, functional interface to >> popular relational database systems, including PostgreSQL, MySQL, >> and SQLite, as well as other systems vi

Re: [racket-dev] [racket] match and debug in Advanced Student

2011-11-09 Thread Matthias Felleisen
Yes, and I move very deliberately -- Matthias On Nov 9, 2011, at 9:01 AM, Robby Findler wrote: > I believe Matthias is supposed to be the one who holds the keys to the > design of the teaching languages (but teachpacks can always be used to > add this stuff, if you have the time). > > On Wed,

[racket-dev] Fwd: [PRL] Interesting information about Java's new function syntax, and approach to parallelism

2011-11-20 Thread Matthias Felleisen
When I read this, I see Guy Steele at work behind the scenes, I see that they still didn't get his 'growing a language' talk, and I see a macro called for/map-reduce with futures in the background for certain collections and programmers who prefer "(for" over these funny arrows in their Java co

Re: [racket-dev] [racket] Disable/Enable Tests

2011-11-28 Thread Matthias Felleisen
Why does this have to be a menu? Why not add a macro to the test-engine code so that students can write (disable-tests) On Nov 28, 2011, at 2:30 AM, Michael Sperber wrote: > > Robby Findler writes: > >> [ moved to dev ] >> >> Apparently this broke somewhere in between v5.0 (June 2010)

Re: [racket-dev] [racket] Disable/Enable Tests

2011-11-28 Thread Matthias Felleisen
On Nov 28, 2011, at 8:39 AM, Kathy Gray wrote: > I don't recall our original reasoning, but I envision that with such a macro > students will think they are only disabling the tests "below" the "call" and > become confused. This isn't to say we shouldn't switch to a macro I propose 1. to re

Re: [racket-dev] [racket] Disable/Enable Tests

2011-11-28 Thread Matthias Felleisen
I can see adding both disable-tests-above and disable-tests-below. On Nov 28, 2011, at 3:44 PM, Vincent St-Amour wrote: > At Mon, 28 Nov 2011 11:54:06 -0500, > Matthias Felleisen wrote: >> I propose >> >> 1. to remove the menu and its functionality >> 2. to a

Re: [racket-dev] [racket] Disable/Enable Tests

2011-11-29 Thread Matthias Felleisen
wrote: > Those two seem like they can combine in strange ways. > > Robby > > On Mon, Nov 28, 2011 at 9:08 PM, Matthias Felleisen > wrote: >> >> I can see adding both disable-tests-above and disable-tests-below. >> >> >> On Nov 28, 2011, at 3:4

Re: [racket-dev] [racket] Disable/Enable Tests

2011-11-29 Thread Matthias Felleisen
s something to focus in on test cases that test > specific functions or something like that). > > Robby > > On Tue, Nov 29, 2011 at 7:03 AM, Matthias Felleisen > wrote: >> >> I see two sequences: >> >> -below ;; disables up to >> >>

Re: [racket-dev] Missing pregexp syntax in Racket

2011-11-29 Thread Matthias Felleisen
On Nov 29, 2011, at 3:41 PM, Norman Gray wrote: > > What Neil said _and_ what Shivers said! > > Implementing Shivers-style SREs would be a much bigger win than any alternate > pregexp syntax with differently funky backslash rules from everything else. So, any volunteers? _

Re: [racket-dev] Icons issues

2011-12-07 Thread Matthias Felleisen
Please bring back the nightly build. On Dec 7, 2011, at 5:41 PM, Robby Findler wrote: > I asked for someone to do something to give us more time two days ago. > > Robby > > On Wed, Dec 7, 2011 at 4:36 PM, Ryan Culpepper wrote: >> On 12/05/2011 12:35 PM, Eli Barzilay wrote: >>> >>> The icon

Re: [racket-dev] [racket-bug] all/12434: match fails to signal type error?

2011-12-09 Thread Matthias Felleisen
On Dec 9, 2011, at 3:32 PM, Jay McCarthy wrote: > but clearly some of us want to write quasi-ML in TR, but we can't without > hacks like this. ML's match plays a very different role in the process of type inference. We would have to change the language in HUGE way. If you really want quasi-

Re: [racket-dev] [racket] Multiple return values

2011-12-16 Thread Matthias Felleisen
[re-directed to Dev] On Dec 16, 2011, at 9:47 AM, Matthew Flatt wrote: > If I had it all to do over again, I'd probably get rid of multiple > values and just have tuples. The compiler and run-time system would > cooperate to match tuple results with tuple receives to avoid > allocation much of

Re: [racket-dev] [racket] Multiple return values

2011-12-16 Thread Matthias Felleisen
wrote: > Matthias Felleisen writes: > >> My hunch is that I forgot my meta-meta-lessons from the 1980s. Back then >> the standard argument for lazy programming was that 'the regular lambda >> calculus is uniform and easy to use and you never have to think about

Re: [racket-dev] [racket] Multiple return values

2011-12-16 Thread Matthias Felleisen
On Dec 16, 2011, at 12:16 PM, Jim Wise wrote: > Matthias Felleisen writes: > >> I have not read Bob's blog, but Bob and I arrived at this >> conclusion at about the same time and we discussed it extensively >> during my sabbatical at CMU in 93/94. -- I am not

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread Matthias Felleisen
Asumu, thanks for the effort. I like the width of the Ruby and Clojure pages -- space on each side is good. I really like the highlighting of the sample code on the Ruby page. I prefer our organization of sample code, and I wish we could run some of these in Danny's compiler. I like the heig

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread Matthias Felleisen
On Dec 20, 2011, at 8:08 AM, Sam Tobin-Hochstadt wrote: > On Tue, Dec 20, 2011 at 8:02 AM, Matthias Felleisen > wrote: >> >> I do NOT like pages that have text below my laptop screen 'fold'. >> My eyes do glaze over. And I am off the page quickly. > >

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread Matthias Felleisen
It's disgusting, like all newspapers. On Dec 20, 2011, at 10:14 AM, Sam Tobin-Hochstadt wrote: > How do you feel about the website of the FAZ, in that case? ;) > > On Tue, Dec 20, 2011 at 10:07 AM, Matthias Felleisen > wrote: >> On Dec 20, 2011, at 8:08 AM, Sa

Re: [racket-dev] Racket home page proposal

2011-12-21 Thread Matthias Felleisen
I agree that we need to go beyond 'Racket is a programming language' as cute as it may be. I am surprised Eli objected to your proposed sentence, because it is a good, solid one-sentence description. Then again, I suspect all of us know that Racket is a chameleon and we are therefore disincli

Re: [racket-dev] problem with require and frtime

2012-01-19 Thread Matthias Felleisen
Greg, how difficult would it be to migrate frtime to #lang racket? -- Matthias On Jan 19, 2012, at 8:13 AM, Matthew Flatt wrote: > The `frtime' language exports an `=' that isn't the same as `=' in > `racket', so that's why the pattern doesn't match. (This seems like a > further weakness of th

Re: [racket-dev] floor-log/base, ceiling-log/base, from Neil Toronto's recent commit

2012-02-02 Thread Matthias Felleisen
Thank you for this neat example. It is good for ho contracts and, if you don't mind, I may use it with attribution of course, in HtDP/2e. -- Matthias On Feb 1, 2012, at 7:58 PM, John Boyle wrote: > I happened to observe this commit from today by Neil Toronto: > > http://git.racket-lang.org/p

Re: [racket-dev] "bookmarks" in drracket?

2012-02-03 Thread Matthias Felleisen
I like the idea of bookmarks a lot, but a visual representation is needed. On Feb 3, 2012, at 2:06 AM, Stephen Chang wrote: > When using Dr Racket, I use the right-click "Jump to definition of" a > lot but I frequently find that I also want an easy way to get back to > the code I was previous

Re: [racket-dev] "bookmarks" in drracket?

2012-02-03 Thread Matthias Felleisen
I would think that browser-like buttons are enough, and match the stack philosophy. I also think that stacks are fine. If working with bookmarks suggest we want something else, we should explore this as a second step. Finally, I would hate to see these things saved in preference files.

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-06 Thread Matthias Felleisen
I have just read a dissertation with something like this. The type setting used all bold for one language and plain font for the other. Hard to read but you could figure it out. The grammar, however, used annotated nonterminals. The experience suggests that doing this plainly is a bad experien

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-06 Thread Matthias Felleisen
d want to typeset "L1.e" as a bold e and "L2.e" as an > italic e, then you could probably still do that by setting up the > appropriate rewriters (I think). > > Robby > > On Mon, Feb 6, 2012 at 8:53 AM, Matthias Felleisen > wrote: >> >> I h

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-07 Thread Matthias Felleisen
You're raising an issue that already exists, right? Say we have only this: > (define-language L1 >(a ... somestuff ...)) > > (define-metafunction L1 > f : a -> a > [(f a) ...somestuff...]) > > (define-language L2 >(a ... somedifferentstuff ...)) > > (define-metafunction

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-07 Thread Matthias Felleisen
On Feb 7, 2012, at 11:21 AM, Sam Tobin-Hochstadt wrote: > > In most papers that I see, nothing other than context would > disambiguate them, and that would be plenty. > > For example, take the following paper: > http://dl.acm.org/citation.cfm?doid=1596550.1596592 > > That paper has a large num

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-07 Thread Matthias Felleisen
On Feb 7, 2012, at 1:28 PM, Robby Findler wrote: > One other design question: would having the same non-terminal name in > both languages be allowed Yes, absolutely, it's critical. _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-07 Thread Matthias Felleisen
On Feb 7, 2012, at 1:54 PM, Robby Findler wrote: > On Tue, Feb 7, 2012 at 12:50 PM, Matthias Felleisen > wrote: >> >> On Feb 7, 2012, at 1:28 PM, Robby Findler wrote: >> >>> One other design question: would having the same non-terminal name in >>>

Re: [racket-dev] Abstract classes

2012-02-07 Thread Matthias Felleisen
On Feb 7, 2012, at 1:17 PM, Robby Findler wrote: > I don't see too much value in the former if it is just a hint. > Seems useful to have that information in the documentation, tho. The implementation of the template hook pattern is a good example of abstract methods. A programmer who wishes to

[racket-dev] infinite loop in setup

2012-02-09 Thread Matthias Felleisen
[just got back] Trying to build from scratch, killed process after about 50mins at > raco setup: 1 rendering: racklog/racklog.scrbl > raco setup: 0 rendering: rackunit/scribblings/rackunit.scrbl > raco setup: 1 rendering: scribblings/raco/raco.scrbl > raco setup: 0 rendering: readline/readlin

Re: [racket-dev] infinite loop in setup

2012-02-09 Thread Matthias Felleisen
restarted with -j 1 and it finished in, oh less than 20 mins. strange!!! On Feb 9, 2012, at 9:30 PM, Eli Barzilay wrote: > Just now, Matthias Felleisen wrote: >> >> [just got back] >> >> Trying to build from scratch, killed process after about 50mins at >>

Re: [racket-dev] very unhelpful beginner language error message, possible fix proposed

2012-02-10 Thread Matthias Felleisen
Yes, and it was submitted in some form as a bug before. Why don't you modify teach.rkt and see whether you like the result better. Then submit. On Feb 10, 2012, at 5:43 PM, Danny Yoo wrote: >> >> "Ho Ho!" thought I. "Beginner Student Racket will give a much better error >> message." Actu

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-11 Thread Matthias Felleisen
Thanks, this looks just like what we have needed for a while. -- Matthias On Feb 11, 2012, at 4:26 AM, Robby Findler wrote: > Hi Stephen: I've added define-union-language to Redex now. For the > example below, you'd write this: > > > #lang racket > (require redex) > > (define-language L1 >

[racket-dev] web pages

2012-02-11 Thread Matthias Felleisen
[catching up with emails] Asumu, did you drop the ball on your new web page design or is still in the works? -- Matthias _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] new logo

2012-02-11 Thread Matthias Felleisen
John and Neil, we seem to have lost momentum on this discussion. For the record, I like the idea of changing our logo a bit. I like the direction in which is evolving, though I will admit that losing the lambda completely. Have you guys considered a small change that makes the 'r' more lamb

Re: [racket-dev] new logo

2012-02-11 Thread Matthias Felleisen
On Feb 11, 2012, at 1:27 PM, John Clements wrote: > Would it be productive to choose one randomly on startup? > > Also, in case it's not obvious, a rotated and flipped version of the logo > does recall the lambda pretty clearly: > > > > Re-rendering the image with the lighting in the right

Re: [racket-dev] new logo [and 1 more messages]

2012-02-11 Thread Matthias Felleisen
ooking at the r logo. The resulting lambda (the one you > attached) is far enough from a proper one that it is not immediately > recognizable, way less when flipped and rotated. (BTW, the first > thing that I see in the flipped+rotated image is a "τ".) > > > An hou

Re: [racket-dev] Google Summer of Code

2012-02-13 Thread Matthias Felleisen
Go do it. Both Asumu and John have sent similar signals. Take the initiative. Do! On Feb 13, 2012, at 8:02 AM, Sam Tobin-Hochstadt wrote: > Google continues to run the summer of code project, and in recent > years, they've significantly expanded the set of open-source projects > they accept.

[racket-dev] meta discussion: "standing" and participating in discussions

2012-02-13 Thread Matthias Felleisen
The discussion on logo and a few others recent exchanges have repeatedly brought fourth messages with lines such as these: > I've no real standing here -- this is an observation from the sidelines As the oldest PLTer on this list, let me clarify something here: if you have bothered to s

Re: [racket-dev] new logo

2012-02-13 Thread Matthias Felleisen
I do actually like the combination of lambda and r, though I am sure the color scheme could benefit from some variation. On Feb 13, 2012, at 10:25 AM, Norman Gray wrote: > > On 2012 Feb 13, at 14:54, Philippe Meunier wrote: > >> For some reason it slightly reminds me of a symbol for some re

[racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Matthias Felleisen
On Feb 15, 2012, at 4:30 AM, Pierpaolo Bernardi wrote: > (for company firewall reasons I cannot use the bug report facility. > Please bear with me). Perhaps we should have an option in DrRacket that collects the bug report information but then places it in a mail buffer for the programmer. --

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread Matthias Felleisen
On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote: > On 2012-02-14 09:58:12 -0800, John Clements wrote: >> I sent an e-mail to Asumu about a week ago that sneakily tried to get him to >> take responsibility, and it sounds like he might be on it. If not, I'll take >> the lead. Asumu? > > I'm

Re: [racket-dev] reporting bugs from behind firewalls

2012-02-15 Thread Matthias Felleisen
You misunderstood. I don't want the poor dr to open any port or communicate with the outside. I want an option like in PDF previewers that says "send this info out via a mail client" and puts all the info into Mail. On Feb 15, 2012, at 8:29 AM, Eli Barzilay wrote: >

Re: [racket-dev] Google Summer of Code

2012-02-15 Thread Matthias Felleisen
On Feb 15, 2012, at 8:33 AM, David Van Horn wrote: > On 2/15/12 8:27 AM, Matthias Felleisen wrote: >> >> On Feb 14, 2012, at 10:26 PM, Asumu Takikawa wrote: >> >>> On 2012-02-14 09:58:12 -0800, John Clements wrote: >>>> I sent an e-mail to Asumu about

Re: [racket-dev] new logo

2012-02-15 Thread Matthias Felleisen
On Feb 15, 2012, at 10:13 AM, Eli Barzilay wrote: >> A >> logo exists primarily to make a good impression on outsiders. >> Filling it with too much meaning works actively against this. I second this too. And I actually do like Eli's direction. But it does need color. __

Re: [racket-dev] new logo

2012-02-15 Thread Matthias Felleisen
http://dl.dropbox.com/u/219506/racket-logo/circle-bluewhite.png Thanks You! I would love it if Neil and John put their mind to the above and turned into something they like. _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-18 Thread Matthias Felleisen
I'm lovin it (isn't that what they say now?) You restored my hair, better than it ever was :-) Let's send out a 1000 of them to colleges around the country. On Feb 18, 2012, at 10:56 AM, Neil Toronto wrote: > Jay had a cool idea to make propagan--er, promotional posters. The attached > SVG

[racket-dev] Fwd: [PRL] Julia: new language for scientific computing

2012-02-18 Thread Matthias Felleisen
Begin forwarded message: > From: Asumu Takikawa > Date: February 18, 2012 10:58:14 AM EST > To: PRL > Subject: [PRL] Julia: new language for scientific computing > > http://julialang.org/blog/2012/02/why-we-created-julia/ > > Heavily inspired by Lisp, but aimed at scientific computation. It

Re: [racket-dev] new logo

2012-02-19 Thread Matthias Felleisen
I for one like both designs a lot. On Feb 19, 2012, at 12:09 AM, Neil Toronto wrote: > On 02/18/2012 08:49 PM, Eli Barzilay wrote: >> An hour ago, Neil Toronto wrote: >> That's why after several attempts to connect the paren to the rest of >> the "R" I went back to Michael's original thing and

Re: [racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-19 Thread Matthias Felleisen
On Feb 18, 2012, at 11:14 AM, Sam Tobin-Hochstadt wrote: > On Sat, Feb 18, 2012 at 11:10 AM, Robby Findler > wrote: >> How about: >> >> Not enough languages in your life? >> Download Racket and add a few hundred more. > > I like this a lot. The above means "Racket is one of many languages,

Re: [racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-19 Thread Matthias Felleisen
On Feb 19, 2012, at 12:42 PM, Matthias Felleisen wrote: >> Or, with the Matthias theme: >> I want YOU to build your own language [1] > > > Much much better. We should re-work PLAI/EOPL to exploit this, turn into a Guide to the Metahitchiker's Guide.

Re: [racket-dev] Possible promotional poster (with apologies to Matthias)

2012-02-19 Thread Matthias Felleisen
On Feb 19, 2012, at 12:44 PM, Matthias Felleisen wrote: > > On Feb 19, 2012, at 12:42 PM, Matthias Felleisen wrote: > >>> Or, with the Matthias theme: >>> I want YOU to build your own language [1] >> >> >> Much much better. > > > We

Re: [racket-dev] An Improvement to for/set

2012-02-19 Thread Matthias Felleisen
for/set sounds and looks more uniform with the rest of the loops, no? union you can throw in as a function or for/fold. On Feb 17, 2012, at 1:30 PM, J. Ian Johnson wrote: > I would prefer a simpler for/union: > > (define-syntax (for/union stx) > (syntax-case stx () >[(_ clauses . body)

Re: [racket-dev] OS X 10.8 includes new restrictions on running apps

2012-02-22 Thread Matthias Felleisen
On Feb 22, 2012, at 6:42 PM, Brian Mastenbrook wrote: > "In the middle setting, you can also install applications from identified > developers. This code isn’t reviewed or sandboxed, but it is code-signed to > eliminate the possibility of tampering after the fact. Since Apple Developer > IDs t

Re: [racket-dev] [racket-bug] all/12601: function name inconsistency

2012-02-25 Thread Matthias Felleisen
We should admit the inconsistency of ! named procedures. Even I stumbled over the set!-values vs set-values! issue last week. I don't use this enough to recall the name. On Feb 24, 2012, at 11:42 PM, Sam Tobin-Hochstadt wrote: > On Fri, Feb 24, 2012 at 11:41 PM, Nick Shelley wrote: >>> I

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

2012-02-28 Thread Matthias Felleisen
On Feb 28, 2012, at 7:45 AM, ry...@racket-lang.org wrote: > This change cuts real time of "raco setup -D" almost in half > | on a 4-core machine Nice. Now I need two more cores. _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] submodules

2012-03-08 Thread Matthias Felleisen
Nice -- just what I wished for last spring. -- Matthias On Mar 8, 2012, at 3:39 PM, Jay McCarthy wrote: > One more thing, I anticipate that the 'main' module in my "test.rkt" > will be "raco test" and I would extend it to allow you to give a > directory that it will require (if present) all th

[racket-dev] odd error message in race setup

2012-03-08 Thread Matthias Felleisen
I compiled Git head a couple of hours ago and in the middle of my race setup run I found these: > raco setup: 1 running: readline/readline.scrbl > raco setup: 1 running: redex/redex.scrbl > raco setup: 0 running: scribblings/reference/reference.scrbl > The authenticity of host 'localhost (::1)'

Re: [racket-dev] submodules

2012-03-10 Thread Matthias Felleisen
Two minor notes: 1. .. is a valid binding *SL 2. I would much prefer 'section' over 'slice'. Think of projects as books, modules as chapters, which consist of sections, and we may even have a need for paragraphs one day. _ Racket Developers list: http://lists.r

Re: [racket-dev] submodules

2012-03-11 Thread Matthias Felleisen
On Mar 10, 2012, at 6:26 PM, Eli Barzilay wrote: > I first > thought that the whole point of allowing a sub-`module' would be to > have some otherwise-inaccessible private code in it (as the fictitious > author of that `my-code' module thinks). I second this impression, as I have done in previ

Re: [racket-dev] Submodules & dependencies

2012-03-12 Thread Matthias Felleisen
Yes, dependencies abound if we include tests and doc in the same module. At the same time it is good practice to have things together. Can't this problem be solved with module-flattening tools? From what I can tell, these test and doc modules could be dropped leaving the running residual, whi

Re: [racket-dev] Submodules & dependencies

2012-03-12 Thread Matthias Felleisen
ng docs and tests shouldn't leave the functional part in bad shape > > Jay > > On Mon, Mar 12, 2012 at 8:58 AM, Matthias Felleisen > wrote: >> >> Yes, dependencies abound if we include tests and doc in the same module. At >> the same time it is good practic

Re: [racket-dev] Submodules & dependencies

2012-03-12 Thread Matthias Felleisen
> distribution scripts to do that. > > At the source level, it's not really possible because of macros that > generate code in a submodule. > > My personal taste is that it is bad to ship .rkt that doesn't compile, > but I'd also like a future where we do

Re: [racket-dev] Submodules & dependencies

2012-03-12 Thread Matthias Felleisen
but nevermind that detail), split apart the submodules that > come from a single module. You just cannot tell, without expanding > everything, which of the imports end up being used where (at least I > think that's the idea). > > Robby > > On Mon, Mar 12, 2012 at 1:47 PM,

Re: [racket-dev] Submodules & dependencies

2012-03-12 Thread Matthias Felleisen
e .rkt code that doesn't actually run. > > Robby > > On Mon, Mar 12, 2012 at 1:59 PM, Matthias Felleisen > wrote: >> >> I know that. But we could consider the pruning step as part of compilation. >> >> >> On Mar 12, 2012, at 2:57 PM, Robb

Re: [racket-dev] Submodules & dependencies

2012-03-12 Thread Matthias Felleisen
r that causes the macro >> expander to drop `test' submodules before it even attempts to expand >> them --- roughly like not using `-g' with `gcc'. >> >> Meanwhile, the after-the-fact pruning tool could be called `raco >> strip'. >> >> A

Re: [racket-dev] style guide on blank lines

2012-03-13 Thread Matthias Felleisen
1. I think the 'unnecessary' gives you some wiggle room here. 2. I occasionally leave a 'necessary' blank line in code but prefix it with ";;" to signal that I left it blank intentionally. 3. I would write the code below, and I would consider it fine w/o blank lines, though yes, I'd add purp

Re: [racket-dev] style guide on blank lines

2012-03-13 Thread Matthias Felleisen
thing else helps, consider using (potentially) empty comment lines. ;; --- As soon as I have my racket back, I'll type set and release. Thanks -- Matthias On Mar 13, 2012, at 1:54 PM, John Clements wrote: > > On Mar 13, 2012, at 8:37 AM, Matthias Felleisen wrote: > &g

Re: [racket-dev] style guide on blank lines

2012-03-13 Thread Matthias Felleisen
:-((( -- Matthias, deeply depressed On Mar 13, 2012, at 2:25 PM, John Clements wrote: > > On Mar 13, 2012, at 11:10 AM, Matthias Felleisen wrote: > >> >> >> Okay. I am adding >> >> Don't pollute your code with spaces at the end of lines

Re: [racket-dev] style guide on blank lines

2012-03-13 Thread Matthias Felleisen
released On Mar 13, 2012, at 2:10 PM, Matthias Felleisen wrote: > > > Okay. I am adding > > Don't pollute your code with spaces at the end of lines. > > If you find yourself breaking long blocks of code with blank lines to aid > readability, conside

Re: [racket-dev] request for triangle in slideshow/pict

2012-03-22 Thread Matthias Felleisen
very useful On Mar 22, 2012, at 3:26 PM, Stephen Chang wrote: > Would anyone find it useful to have a triangle primitive in > slideshow/pict? How easy would it be to add one? > _ > Racket Developers list: > http://lists.racket-lang.org/dev _

[racket-dev] today's DrRacket problem

2012-03-26 Thread Matthias Felleisen
and test these Easter eggs, software obeys only one law: what can go wrong will go wrong eventually. We definitely should have been more careful. Once again, we regret any problems we caused you today -- Matthias Felleisen, for PLT _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] consistency in names and signatures

2012-03-27 Thread Matthias Felleisen
Bug report 12652 reminded me of a topic that I brought up a while back, that I tried to incorporate into the Style Guide, and that I forgot to re-introduce here. Background: a lot of people think that consistency in naming, signature/contract, and functionality (for methods and functions) is

Re: [racket-dev] consistency in names and signatures

2012-03-27 Thread Matthias Felleisen
On Mar 27, 2012, at 8:40 PM, Neil Van Dyke wrote: > we should consider otherwise simplifying some of these identifiers. That's very high on my list of goals for another, related experiment I have in mind. I know that this would remove the title of 'world champion in longest identifier names'

Re: [racket-dev] consistency in names and signatures

2012-03-28 Thread Matthias Felleisen
This post is minimally related to the topic of this thread. If you continue discussing this idea, please move it elsewhere. (I happen to agree with Eli's perspective here, which is why I started this particular thread. Racket makes it particularly convenient to avoid contracts here and Typed

[racket-dev] Fwd: [racket] Are There More String Functions?

2012-04-17 Thread Matthias Felleisen
I saw no response to this question and no commit that includes the cross-link. Anything? Begin forwarded message: > From: Asumu Takikawa > Subject: Re: [racket] Are There More String Functions? > Date: April 12, 2012 5:47:26 PM EDT > To: Cristian Esquivias > Cc: us...@racket-lang.or

Re: [racket-dev] Are There More String Functions?

2012-04-18 Thread Matthias Felleisen
On Apr 18, 2012, at 3:12 PM, Eli Barzilay wrote: > `string-normalize-spaces', which takes a string and a regexp for the > spaces, and turns all spaces into single ones. Same principles as > above. This one is getting a `#:trim?' keyword that says whether > spaces at the edges should be drop

Re: [racket-dev] Fwd: [racket] Are There More String Functions?

2012-04-19 Thread Matthias Felleisen
complicated for beginners. > > Laurent > > > I think `racket/string' should provide the useful string functions, > rather than refer users to srfis. The only srfi/13 function I ever > use is `string-trim-both' -- any objection to adding that to > `racket/string&#

Re: [racket-dev] `string-split'

2012-04-19 Thread Matthias Felleisen
I think Laurent pointed out in his initial message that beginners may be intimidated by regexps. I agree. Plus someone who isn't fluent with regexp may be more comfortable with string-split. Last but not least, a program documents itself more clearly with string-split vs regexp. On Apr 19,

[racket-dev] skip release

2012-04-23 Thread Matthias Felleisen
We (release management) are thinking of skipping this release and wanted to see if anyone minded first. Below is a possible message we would send to justify this to the external folk. Dear Racketeers, as we are preparing the v5.3 release, we notice unexplored corners of new and revised fea

Re: [racket-dev] conditional scribble documents

2012-04-25 Thread Matthias Felleisen
For HtDP/2e, I use plain old conditionals and variables. I used to set an environment variable when I ran a shell script. Then I converted everything to Racket and set variables according to shell arguments: $ ./xhtml draft creates the draft version of HtDP/2e by setting a *draft variable

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Matthias Felleisen
On Apr 27, 2012, at 1:48 PM, Asumu Takikawa wrote: > * Composability: opaque class contracts are not composable since each >one requires the entire specification. This shouldn't be a problem >since the individual class/c clauses can be composed/reused (e.g., ->m >contracts). [[If y

Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-27 Thread Matthias Felleisen
On Apr 27, 2012, at 5:55 PM, Asumu Takikawa wrote: > You can write that, but the following isn't very useful: > (and/c (class/c #:opaque [m (->m number? number?)]) > (class/c #:opaque [n (->m number? number?)])) > > Since the two class contracts both reject classes that the other would

Re: [racket-dev] current-*-port

2012-05-03 Thread Matthias Felleisen
I don't think Eli is proposing an elimination of the old names but supplementing the code base with new ones. I am in favor -- Matthias _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] current-*-port

2012-05-04 Thread Matthias Felleisen
On May 3, 2012, at 11:03 PM, Neil Van Dyke wrote: > Matthias Felleisen wrote at 05/03/2012 10:57 PM: >> I don't think Eli is proposing an elimination of the old names but >> supplementing the code base with new ones. >> >> I am in favor -- Matthias > >

Re: [racket-dev] current-*-port

2012-05-04 Thread Matthias Felleisen
On May 4, 2012, at 10:34 AM, Laurent wrote: > As sad as I am to say this, "arr[x] = 3" is read quicker by the eye than > "(vector-set! my-integer-array the-current-iterator the-number-three)" I started saying this in 1988, when I requested from a Scheme implementor that arrays should be treat

Re: [racket-dev] current-*-port

2012-05-04 Thread Matthias Felleisen
I know I know. I can't script in anything but Racket. And I have written such scripts and better still I teach such directory traversals to freshmen :-) On May 4, 2012, at 11:11 AM, Laurent wrote: > > > On Fri, May 4, 2012 at 5:04 PM, Neil Van Dyke wrote: > Matthia

Re: [racket-dev] Set Equality with Cyclic Structure is not as Expected

2012-05-08 Thread Matthias Felleisen
Looks like a bug. Why don't you file a bug report? On May 7, 2012, at 6:33 PM, Daniel King wrote: > Hi, > > The following code snippet is a bit confusing to me. Sets with cyclic > structure > are not equal? even though they meet my intuitive definition of equal. I'm > curious exactly where m

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

2012-05-09 Thread Matthias Felleisen
Ryan, thanks for writing this library. I completely understand why you wanted it. I have used the name ++ in the past. I find the many options a bit confusing, so I do understand some of Eli's concerns. But it is always more productive to start from something concrete to discuss than to di

Re: [racket-dev] Very quick poll re `string-trim'

2012-05-11 Thread Matthias Felleisen
The question you need to ask is whether you want string-trim to be usable by someone who is not familiar with our syntax (or any syntax) of regexp, which is an embedded sublanguage with a definitely complex and somewhat obscure syntax. -- Matthias On May 11, 2012, at 9:56 AM, Eli Barzilay w

<    1   2   3   4   5   6   7   8   >