Re: [racket-dev] What is the policy on what is included in the core libraries?

2015-02-17 Thread Matthias Felleisen
better. Education vs crutches. Vincent At Tue, 17 Feb 2015 10:39:16 -0500, Matthias Felleisen wrote: I'd add them to Typed Racket. That's what Haskellians are most likely to explore and when they find them, it's a good thing (tm). -- Matthias On Feb 17, 2015, at 2:18 AM

Re: [racket-dev] What is the policy on what is included in the core libraries?

2015-02-17 Thread Matthias Felleisen
I'd add them to Typed Racket. That's what Haskellians are most likely to explore and when they find them, it's a good thing (tm). -- Matthias On Feb 17, 2015, at 2:18 AM, Alexis King lexi.lam...@gmail.com wrote: I was just thinking today that I would, for example, find it useful to have a

Re: [racket-dev] Full transparency

2015-01-21 Thread Matthias Felleisen
Sounds like a straightforward change to the existing macros. Why don't you create a fork and experiment? On Jan 21, 2015, at 1:15 PM, Byron Davies byrondav...@starshine.us wrote: Or, more conservatively, every struct and object in a given package, file, or set of files. On Wed, Jan 21,

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread Matthias Felleisen
On Jan 15, 2015, at 11:13 AM, David Van Horn dvanh...@cs.umd.edu wrote: On 1/15/15, 11:04 AM, Matthias Felleisen wrote: Well that got me all excited. So I tried to get the sample module to pass the verification step -- until I realized how restricted the grammar is! (module f racket

[racket-dev] Racket Winter Release

2015-01-08 Thread Matthias Felleisen
Dear Racket users, Happy New Year. As you may know, we split the Git repo for the core last year. We have been working on re-creating the release process for this new organization. Our plan is to (1) skip our normal Jan/Feb release cycle (2) test-run the release process during this cycle

Re: [racket-dev] The repository is now split

2014-12-04 Thread Matthias Felleisen
Is this the expected behavior: $ git clone git:plt plt2 $ cd plt2/ $ make ... raco setup: --- post-installing collections --- raco setup: --- checking package dependencies --- make install-common-last make fix-paths if [ != ]; then \ if [ = ]; then \

Re: [racket-dev] The repository is now split

2014-12-04 Thread Matthias Felleisen
For those of you who have my level of experience with such things, here is what Sam's phrase I *highly* recommend creating a new clone of the repository, and re-running `make`. means, for your value of the name 'plt2': $ git clone git:plt plt2 $ cd plt2/ $ git submodule init $ git submodule

[racket-dev] Fwd: [ACM-BULLETIN] Today's Topic: ACM Names 2014 Distinguished Members

2014-12-04 Thread Matthias Felleisen
Even the ACM considers our very own Matthew Flatt as a distinguished scientist. -- Matthias Begin forwarded message: From: ACM Bulletin acmbulle...@acm.org Subject: [ACM-BULLETIN] Today's Topic: ACM Names 2014 Distinguished Members Date: December 4, 2014 11:04:44 AM EST To:

Re: [racket-dev] new package system collections and conflicts

2014-12-03 Thread Matthias Felleisen
Thanks for being with with us for so long. I think you misunderstood the word 'charity' here and perhaps Jay could have used a different, a more appropriate word than 'charity', which I now realize can have a negative connotation. Otherwise, I think that the package system design is about

[racket-dev] meeting notes, November 2014

2014-11-20 Thread Matthias Felleisen
Every few months, the principals of the Racket world meet for a day to discuss the state and near (and, occasionally, distant) future of the Racket world. We met this past weekend in Chicago, and here is the list of major points we discussed. 1. We will split the central

[racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Matthias Felleisen
It's quite possible that this is Eli's bug again, but boy this causes headaches: Type Checker: parse error in type; type variable must be used with ... variable: Y in: Y And it points precisely to where Y is followed by ... #lang typed/racket (module+ test (require

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Matthias Felleisen
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: It's quite possible that this is Eli's bug again, but boy this causes headaches: Type Checker: parse error in type; type

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Matthias Felleisen
Attached is the screen shot of the error report. On Nov 18, 2014, at 11:54 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen matth...@ccs.neu.edu

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Matthias Felleisen
the unbound identifier error that is in your screenshot. I just got the error message from your original post. Can you send the exact program that produced the error in the screenshot? Sam On Tue, Nov 18, 2014 at 11:54 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Nov 18, 2014, at 11:34 AM

Re: [racket-dev] parse errors in types, poly-dots cause me headaches

2014-11-18 Thread Matthias Felleisen
variable must be used with ... variable: Y in: Y Which you also got. What changed it from the parse error to the unbound identifier error? Sam On Tue, Nov 18, 2014 at 12:05 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: What I sent is the exact program that produced the attached

Re: [racket-dev] using module system for alternate namespaces

2014-11-03 Thread Matthias Felleisen
On Oct 27, 2014, at 7:00 PM, Dan Liebgold wrote: I have a namespace behind a particular API. I'd love to hook into the module system to control compilation, visibility, etc. of all the definitions and references. Here's an example. 'a' is available in the top level module even though it

Re: [racket-dev] using module system for alternate namespaces

2014-11-03 Thread Matthias Felleisen
On Nov 3, 2014, at 10:10 PM, Dan Liebgold wrote: Jay's idea was to use define to create a module binding from a to a generated or decorated name, provide a (or not), and put the generated name in the hash table. I'm pursuing that approach currently. Yeap, that would be the next idea (now

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-30 Thread Matthias Felleisen
On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: How about this one? (Starting from Matthias's offering and editing the apology from Sam's a bit.) Typed Racket closes a safety hole in the typing for the exception system. The revised type system restricts

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Matthias Felleisen
1. Can we please, pretty please, drop these nows from every single sentence? 2. I think this is close to what we may wish to say. Here is a small edit: * Typed Racket closes a safety hole due to the types for the exception system. The revised type system restricts raise so that only

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Matthias Felleisen
properly - corresponding fashion? Otherwise fine On Oct 29, 2014, at 6:54 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Wed, Oct 29, 2014 at 6:42 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: 1. Can we please, pretty please, drop these nows from every single sentence

[racket-dev] unstable contract lib

2014-10-28 Thread Matthias Felleisen
Just re-built HEAD on my desktop and got a load of missing dependency declarations -- unstable-contract-lib. What happened? -- Matthias raco setup: --- checking package dependencies --- raco setup: found undeclared dependency: raco setup: mode: run raco setup: for package:

Re: [racket-dev] Pre-Release Checklist for v6.1.1, Second Call

2014-10-23 Thread Matthias Felleisen
install -i main-distribution-test -- * Matthias Felleisen matth...@ccs.neu.edu - Teachpacks Tests: check that new teachpacks are addable - Teachpack Docs: check teachpack docs in the bundles - Try teaching-languages

Re: [racket-dev] Pre-Release Checklist for v6.1.1, Second Call

2014-10-23 Thread Matthias Felleisen
, Matthias Felleisen wrote: DrRacket on Mac OS X, 64-bit, Installer Package won't start on double-click. At the command line, I get this error message: [:~] matthias% /Applications/Racket/DrRacket.app/Contents/MacOS/DrRacket /Applications/Racket/share/pkgs/drracket/drracket/private/compiled

Re: [racket-dev] Pre-Release Checklist for v6.1.1, Second Call

2014-10-23 Thread Matthias Felleisen
it, but it is certaily prominent on the pre-release page. I'm not yet sure of the right repair, but I'll work on it. At Thu, 23 Oct 2014 15:11:03 -0400, Matthias Felleisen wrote: Yes, I did and expected this to be the problem. Can't we add a line to the Mac package installer that removes

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

2014-10-20 Thread Matthias Felleisen
DOn't we want to merge this into 6.1.1? On Oct 20, 2014, at 3:44 PM, stamo...@racket-lang.org wrote: stamourv has updated `master' from 538bb75d64 to 9030680e31. http://git.racket-lang.org/plt/538bb75d64..9030680e31 =[ One Commit

Re: [racket-dev] #f instead of path-string? when (require cKanren)

2014-10-04 Thread Matthias Felleisen
Could you use the github issue tracker to submit this? Thanks -- Matthias https://github.com/calvis/cKanren On Oct 2, 2014, at 12:05 PM, A.J. Lepper wrote: Windows 64-bit, Racket v6.1 64-bit If I install cKanren from the package manager then (require cKanren) works fine in Racket.exe

Re: [racket-dev] How to translate DrRacket GUI to another (human) language?

2014-09-05 Thread Matthias Felleisen
A word of caution about *SL error messages. These messages are synthesized from fragments of sentences and then a global rewriter re-arranges them to improve their meaning based on work done by Guillaume Marceau, Kathi Fisler and Shriram (see SIGCSE 2010). The rewriter catches English phrases

Re: [racket-dev] How to translate DrRacket GUI to another (human) language?

2014-09-05 Thread Matthias Felleisen
On Sep 5, 2014, at 11:15 AM, Antti Karttunen antti.karttu...@gmail.com wrote: On Fri, Sep 5, 2014 at 5:16 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: A word of caution about *SL error messages. These messages are synthesized from fragments of sentences and then a global rewriter

Re: [racket-dev] Should `register-finalizer` unwrap impersonators?

2014-08-17 Thread Matthias Felleisen
Could we benefit from an abstract/opaque Finalizer type here? I know we don't have those yet but it may address the general problem. -- Matthias On Aug 16, 2014, at 8:55 AM, Neil Toronto wrote: Short version: the contract system doesn't allow `register-finalizer` to be used in Typed

Re: [racket-dev] Should `register-finalizer` unwrap impersonators?

2014-08-17 Thread Matthias Felleisen
:47 PM, Sam Tobin-Hochstadt wrote: Can you say more about what the API for what you're imagining is? Sam On Sun, Aug 17, 2014 at 3:41 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I am imagining that the type compilation of type Finalizer and such things would be parameterized

Re: [racket-dev] [racket] Performance. Higher-order function

2014-08-10 Thread Matthias Felleisen
[[ Switched mailing list ]] Being in the main repo is different from being in the distribution (and thus automatically installed). I think that OC should be there when you download the full bundle. -- Matthias On Aug 9, 2014, at 3:36 PM, Vincent St-Amour wrote: It used to be. When

Re: [racket-dev] Release Announcement for v6.1

2014-07-29 Thread Matthias Felleisen
On Jul 28, 2014, at 2:33 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: matthias: - add check-random (aec84f4a) check-random is an addition to the preferred unit testing framework in the teaching languages. It enables the testing of students' functions that use random-number generation.

Re: [racket-dev] Surprising behavior of for/fold. Bug?

2014-07-29 Thread Matthias Felleisen
This is syntactically brittle design. Argh. On Jul 29, 2014, at 4:50 PM, J. Ian Johnson i...@ccs.neu.edu wrote: I forgot that aspect of #:when and #:unless. Sorry for the noise. -Ian - Original Message - From: Sam Tobin-Hochstadt sa...@cs.indiana.edu To: J. Ian Johnson

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

2014-07-19 Thread Matthias Felleisen
Ouch, This is precisely the kind of (imperative) change I didn't hope to see. I will look at the file in a moment but I'd hope you can do this with a lambda wrapper instead of a set!. -- Matthias On Jul 19, 2014, at 1:27 AM, gcoo...@racket-lang.org wrote: pkgs/frtime/lang-ext.rkt

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

2014-07-19 Thread Matthias Felleisen
Thanks for the extensive internal documentation. -- Matthias On Jul 19, 2014, at 7:07 PM, gcoo...@racket-lang.org wrote: gcooper has updated `master' from 45306397cc to 2881b60536. http://git.racket-lang.org/plt/45306397cc..2881b60536 =[ One Commit

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

2014-07-14 Thread Matthias Felleisen
Unfortunately, it is impossible to distinguish the two kinds of contracts. Even if we introduced two different linguistic mechanisms, we would simply confuse programmers more. Let's try this experiment for a while and see what happens. On Jul 14, 2014, at 9:46 AM, Sam Tobin-Hochstadt

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-02 Thread Matthias Felleisen
Interestingly enough, I tried to explain this idea to the Imperative Advanced Placement crowd in the 1990s. With functional programming -- control from tail-recursive functions -- is more expressive than programming with limited loops because you can (1) break/resume/continue/foobar your

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-02 Thread Matthias Felleisen
On Jul 2, 2014, at 2:26 PM, Neil Van Dyke wrote: Loop syntax and sugar is fine. And having #:continue and #:break keywords at the top of the form is sufficient warning of surprises ahead, IMHO. I do have a minor ongoing concern that people coming from other languages lately latch onto

Re: [racket-dev] for loops with interleaved escape continuations

2014-07-01 Thread Matthias Felleisen
In principle I like this #:ec idea, but I would feel more comfortable if you explored the whole range of for loops and their interactions with this new feature. -- Matthias On Jun 28, 2014, at 6:54 AM, Jay Kominek wrote: On Fri, Jun 27, 2014 at 8:40 PM, J. Ian Johnson i...@ccs.neu.edu

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

2014-07-01 Thread Matthias Felleisen
On Jun 27, 2014, at 4:47 PM, Robby Findler wrote: This effect is, I believe, one of the main things people mean when they say that Redex's typesetting is ugly (and it is indeed ugly in larger quantities). [[ Just now catching up ]] This is off topic in a sense but right on topic wrt the

[racket-dev] style was Re: 2htdp/image Feature Suggestion

2014-06-30 Thread Matthias Felleisen
Good choice :-) ;; --- I think Robby translated the recommendations of the style guide just right. BTW, I didn't think it mentions named let only let. Indeed, I can't find a recommendation of preferring defined over named let. ;; --- A comment on your commenting style. I tried to read

Re: [racket-dev] 2htdp/image Feature Suggestion

2014-06-21 Thread Matthias Felleisen
Thanks. We will need to figure out how to accommodate keywords in a teachpack. In the meantime, write frame like this: (define (frame-2 img #:frame-color (frame-color 'black) #:background-color (background-color 'transparent) #:frame-offset

[racket-dev] outage

2014-06-16 Thread Matthias Felleisen
NEU CCIS suffered from a major power outage for all day yesterday (until early this morning). Our systems stuff described it with the UPS that feeds the room had failed, could not be restarted, and could not be bypassed. Sorry for any inconveniences -- Matthias

Re: [racket-dev] Machinery for eliding contracts

2014-06-10 Thread Matthias Felleisen
On Jun 9, 2014, at 6:02 PM, Eric Dobson eric.n.dob...@gmail.com wrote: Eric, are you talking about changing the proxy values that wrap HO/mutable contracted values? Yes. I want the proxy values to include information about who agreed to the contract in addition to the contract agreed to.

Re: [racket-dev] Machinery for eliding contracts

2014-06-10 Thread Matthias Felleisen
I was thinking of associating the contract with the type from which it comes and no that's not hash-consing. And if it's slower, too bad. -- Matthias On Jun 10, 2014, at 12:47 PM, Eric Dobson eric.n.dob...@gmail.com wrote: On Tue, Jun 10, 2014 at 6:15 AM, Matthias Felleisen matth

[racket-dev] fresh install ends in

2014-06-10 Thread Matthias Felleisen
raco setup: package declares no dependencies: txexpr raco setup: package declares no dependencies: sugar hash-ref: no value found for key key: racket context...: /Users/matthias/plt/racket/collects/setup/private/pkg-deps.rkt:227:8: for-loop

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Matthias Felleisen
On Jun 9, 2014, at 9:38 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Mon, Jun 9, 2014 at 3:19 AM, Eric Dobson eric.n.dob...@gmail.com wrote: It would be nice if the contract on the input to g could be elided. It seems like this could be done by using something like prop:contracted

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

2014-05-29 Thread Matthias Felleisen
))). Cases like this make me think that we need something stronger than context free rewrite rules over the ast/bytecode. On Wed, May 28, 2014 at 6:36 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Perhaps the right answer is to organize the optimizer as a rewriting engine to which

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

2014-05-28 Thread Matthias Felleisen
Perhaps the right answer is to organize the optimizer as a rewriting engine to which other devs can add rules as they discover them (and their absence in the existing rule set). -- Indeed, one could then even have programmers extend the rule set for a specific program (though then we have to

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

2014-05-08 Thread Matthias Felleisen
(We have maybe/c somewhere, and I think we should use it.) On May 8, 2014, at 4:19 PM, sa...@racket-lang.org wrote: samth has updated `master' from 98ae3d8b2d to e1ab2ffcf4. http://git.racket-lang.org/plt/98ae3d8b2d..e1ab2ffcf4 =[ One Commit

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

2014-05-08 Thread Matthias Felleisen
never change). Robby On Thu, May 8, 2014 at 6:17 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: (We have maybe/c somewhere, and I think we should use it.) On May 8, 2014, at 4:19 PM, sa...@racket-lang.org wrote: samth has updated `master' from 98ae3d8b2d to e1ab2ffcf4. http

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

2014-05-08 Thread Matthias Felleisen
tells you what it is doing, but maybe/c doesn't. It just sends the signal you aren't in the club if you don't know what 'maybe' is. Maybe if there was another name that made that meaning clear I would also be in favor. Robby On Thu, May 8, 2014 at 7:34 PM, Matthias Felleisen matth

Re: [racket-dev] [racket] lab notebook on learning process (was: Re: Macros baffle me)

2014-05-06 Thread Matthias Felleisen
On May 6, 2014, at 2:02 PM, Jens Axel Søgaard jensa...@soegaard.net wrote: How about an extra button, a Run Benchmark button? +ω _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] make-empty-namespace vs make-base-empty-namespace; ie attaching racket/base does other stuff

2014-04-29 Thread Matthias Felleisen
I think improvements would be welcome. Start with a redex model. On Apr 29, 2014, at 3:15 PM, Stephen Chang stch...@ccs.neu.edu wrote: Thanks for the explanation. It all does make sense. I guess I'm still unsatisfied because it still feels like there's a gap between the namespace model

[racket-dev] actionable items, was: comments on comments on learning Racket

2014-04-28 Thread Matthias Felleisen
So far we have had two threads of reactions to my 'comments on comments.' They have produced requests that I consider actionable items though I have counter-proposal to some of them. The list below does not include other actionable items I had on my list that did not get comments. With

Re: [racket-dev] actionable items, was: comments on comments on learning Racket

2014-04-28 Thread Matthias Felleisen
On Apr 28, 2014, at 9:51 AM, Robby Findler ro...@eecs.northwestern.edu wrote: So you are asking to go back to the way it was before we added the not a language language? I don't think we asked simple questions like that. We popped up the dialogue itself, no? _

Re: [racket-dev] actionable items, was: comments on comments on learning Racket

2014-04-28 Thread Matthias Felleisen
I withdraw my support for this item. _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Refactoring Idea

2014-04-28 Thread Matthias Felleisen
This is one of those places where our desire to not include extra-linguistic mechanisms conflicts with our desire to support our programmers. I have had this idea many times, as I am sure have many others and Jens probably had it tons of times over the years. Even a package isn't enough

Re: [racket-dev] actionable items, was: comments on comments on learning Racket

2014-04-28 Thread Matthias Felleisen
Time to move it to a place easy to find? But why a macro? On Apr 28, 2014, at 1:10 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: On 04/28/2014 10:08 AM, Laurent wrote: On Mon, Apr 28, 2014 at 3:47 PM, Matthias Felleisen matth...@ccs.neu.edu mailto:matth...@ccs.neu.edu wrote: [...] Why

[racket-dev] comments on comments on learning Racket

2014-04-26 Thread Matthias Felleisen
I have been re-reading the notes on Artyom.me's site, taking notes. Few question his comments, some suggest reactions that should come from us, others are personal musings. I know this is a bit of a brain dump but I find this person's thoughts worthwhile for us (devs). Notes on Learning

[racket-dev] pi, was: Re: [plt] Push #28592: master branch updated

2014-04-22 Thread Matthias Felleisen
On Apr 22, 2014, at 12:48 PM, ntoro...@racket-lang.org wrote: racket/collects/racket/extflonum.rkt --- OLD/racket/collects/racket/extflonum.rkt +++ NEW/racket/collects/racket/extflonum.rkt @@ -6,10 +6,12 @@ (for-syntax racket/base)) (provide

Re: [racket-dev] pi, was: Re: [plt] Push #28592: master branch updated

2014-04-22 Thread Matthias Felleisen
Kate Bush's song contains more digits of PI than your commit. What does Bagger 288 do for Racket commits? :-) On Apr 22, 2014, at 1:55 PM, Neil Van Dyke n...@neilvandyke.org wrote: Matthias Felleisen wrote at 04/22/2014 01:37 PM: I think we should dedicate this commit to Kate Bush's PI

Re: [racket-dev] Implementation question

2014-04-20 Thread Matthias Felleisen
Here is a more Racket-y version of this: #lang racket (define (ping hostname port-no personalip) (define c (make-custodian)) (define t (parameterize ((current-custodian c)) (thread (lambda () (with-handlers ((exn:fail:network? (lambda

Re: [racket-dev] Regular expression types [was Re: [racket-bug] all/14455: wrong type for hash]

2014-04-20 Thread Matthias Felleisen
This might be one of those areas where we could 'generalize' gradual typing. On Apr 19, 2014, at 7:37 PM, Sam Tobin-Hochstadt wrote: On Sat, Apr 19, 2014 at 7:24 PM, Neil Toronto neil.toro...@gmail.com wrote: Are there type systems that can? It seems like you could specify this type and

Re: [racket-dev] Regular expression types [was Re: [racket-bug] all/14455: wrong type for hash]

2014-04-20 Thread Matthias Felleisen
. For example as one user wanted to do, exactly one vector and bunch of numbers: (Rec T (U (Cons (Vectorof Real) (Listof Real)) (Cons Real T))). On Sun, Apr 20, 2014 at 11:38 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: This might be one of those areas where we could 'generalize' gradual

Re: [racket-dev] Implementation question

2014-04-19 Thread Matthias Felleisen
Let me recommend events instead: #lang racket ;; Nat - Void ;; wait for t seconds before connecting to google.com, then stop (define (do-work t) (thread (lambda () (with-handlers ((exn:fail:network? (lambda (x) (displayln (exn-message x) (sleep t) (define-values

Re: [racket-dev] Catching the undefined value

2014-04-19 Thread Matthias Felleisen
:87:7 On Wed, Apr 16, 2014 at 10:09 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: Ah, too bad: pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl ~~~ --- OLD/pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl +++ NEW

Re: [racket-dev] Catching the undefined value

2014-04-19 Thread Matthias Felleisen
On Apr 19, 2014, at 5:57 PM, Sam Tobin-Hochstadt wrote: On Sat, Apr 19, 2014 at 4:45 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Morally TR ought to report the type of this x as empty set, which would inform you that the else branch is unreachable: (letrec ([x : Integer (if #t 0

Re: [racket-dev] class implementation and make-primitive-class

2014-04-18 Thread Matthias Felleisen
If a function takes 28 arguments, you probably overlooked a dozen or so. -- freely paraphrasing Perlis And you just made the best case for Typed Racket and the documentation argument :-) -- freely paraphrasing my own TR talk On Apr 17, 2014, at 2:49 PM, dfel...@ccs.neu.edu wrote: For a

[racket-dev] Fwd: [racket] canonical index of Racket courses? [was: Summer programs learning Racket for a student]

2014-04-17 Thread Matthias Felleisen
Would someone volunteer please to create and maintain such a page for Racket? Thanks -- Matthias Begin forwarded message: From: j...@math.brown.edu Subject: [racket] canonical index of Racket courses? [was: Summer programs learning Racket for a student] Date: April 16, 2014

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

2014-04-16 Thread Matthias Felleisen
Yuck. On Apr 15, 2014, at 9:20 PM, as...@racket-lang.org wrote: asumu has updated `master' from aa43797b63 to 9aaaf98b32. http://git.racket-lang.org/plt/aa43797b63..9aaaf98b32 =[ One Commit ]= Directory summary: 97.6%

Re: [racket-dev] Catching the undefined value

2014-04-16 Thread Matthias Felleisen
On Apr 15, 2014, at 9:29 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2014-04-15 18:13:31 -0400, claire alvis wrote: The push below includes changes to letrec expressions, internal definitions, units, classes, and certain ill-formed shared expressions so that they no longer leak the

Re: [racket-dev] Catching the undefined value

2014-04-16 Thread Matthias Felleisen
) + (define x 3) + x) + exn:fail:contract:variable?) + +;; :-) On Apr 16, 2014, at 9:02 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Apr 15, 2014, at 9:29 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2014-04-15 18

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

2014-04-16 Thread Matthias Felleisen
Can we make sure that some warning appears on the entire page so that nobody loses track of this? A linked margin note every 10 lines would be fine. On Apr 16, 2014, at 2:59 PM, as...@racket-lang.org wrote: asumu has updated `master' from d212fc7eba to d6a3d27e54.

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

2014-04-16 Thread Matthias Felleisen
, Apr 16, 2014 at 6:07 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Can we make sure that some warning appears on the entire page so that nobody loses track of this? A linked margin note every 10 lines would be fine. On Apr 16, 2014, at 2:59 PM, as...@racket-lang.org wrote: asumu

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

2014-04-16 Thread Matthias Felleisen
) in 6.0.1 to stop working later. The situtation with `unstable` is in fact more unstable, since the interface may change or disappear entirely. Sam On Wed, Apr 16, 2014 at 6:12 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: This one's different, given our discussion while you were

Re: [racket-dev] Thank you DrDr, thank you!

2014-04-15 Thread Matthias Felleisen
+1 On Apr 15, 2014, at 4:32 PM, John Clements cleme...@brinckerhoff.org wrote: This is a short thank-you note; thanks to DrDr, I caught a bug in the interaction of the test-engine and the stepper two weeks ago, rather than at release time. Thanks! CI is awesome. John

Re: [racket-dev] Changing the default error display handler to use

2014-03-14 Thread Matthias Felleisen
I wonder whether we could collect the information on these parameters and nail down their interaction constraints somehow. (This could be a research project.) On Mar 13, 2014, at 9:34 PM, Matthew Flatt wrote: At Wed, 12 Mar 2014 18:05:03 -0700, Eric Dobson wrote: A common issue I have is

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

2014-02-21 Thread Matthias Felleisen
On Feb 21, 2014, at 7:42 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Since Asumu didn't mention it, the first paper about this is here: http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf Yeah, but don't read this. We will share a draft paper that looks more practical if you

Re: [racket-dev] xlsx file parser

2014-01-31 Thread Matthias Felleisen
Place it on http://pkgs.racket-lang.org/#(!main-distribution)(!main-tests) which is the new package server. It's particularly easy if you developed on Github. On Jan 30, 2014, at 10:38 PM, Chen Xiao wrote: Hi, guys: I wrote a office xlsx file parser. I wonder where place it? Can

Re: [racket-dev] release notes draft

2014-01-13 Thread Matthias Felleisen
I would omit 'now' (that's the whole point of a release announcement) and I'd avoid the dangling comparison with the Typed Racket compilation improved by 50% on some typed programs; see http:// ... On Jan 13, 2014, at 11:43 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Looks

Re: [racket-dev] release notes draft

2014-01-13 Thread Matthias Felleisen
Use 'compiler performance' Avoid 'faster' without 'than' On Jan 13, 2014, at 12:05 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I don't like the use of compilation here, but I'm happy to drop now. Sam On Mon, Jan 13, 2014 at 12:02 PM, Matthias Felleisen matth...@ccs.neu.edu

Re: [racket-dev] release notes draft

2014-01-13 Thread Matthias Felleisen
writing it? Robby On Mon, Jan 13, 2014 at 11:06 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: Use 'compiler performance' Avoid 'faster' without 'than' On Jan 13, 2014, at 12:05 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I don't like the use of compilation

Re: [racket-dev] release notes draft

2014-01-13 Thread Matthias Felleisen
: I'll wait for an actual new bullet here, if one of Sam/Matthias doesn't mind writing it? Robby On Mon, Jan 13, 2014 at 11:06 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: Use 'compiler performance' Avoid 'faster' without 'than' On Jan 13, 2014, at 12:05 PM, Sam Tobin

Re: [racket-dev] release notes draft

2014-01-13 Thread Matthias Felleisen
-- please no 'now's (every bullet in Vincent's wording includes it) -- didn't we say at some point we want to keep things short and point to longer on-line announcements? On Jan 13, 2014, at 5:04 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks! I didn't include the

Re: [racket-dev] release notes draft

2014-01-12 Thread Matthias Felleisen
It would be nice if the docs url were functional. -- Matthias On Jan 11, 2014, at 9:27 PM, Robby Findler wrote: Below is the latest release notes draft. Comments? Robby Racket has a new package system, including a catalog of already available packages. Please visit

[racket-dev] downtime

2013-12-28 Thread Matthias Felleisen
As some of you may have noticed, we experienced a day of downtime this week. It was due to a brief power outage and a slight misconfiguration of the server. Eli will filter the mail queues so that messages about the outage are kept to a minimum. -- Matthias

Re: [racket-dev] release notes

2013-12-20 Thread Matthias Felleisen
* 2htdp/batch-io includes functions for reading html/xml from files and URLs as X-expressions plus some conveniences for designing web-oriented graph traversals. On Dec 20, 2013, at 8:26 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed some HISTORY.txt and documentation

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

2013-12-11 Thread Matthias Felleisen
On Dec 11, 2013, at 2:36 PM, Neil Toronto wrote: numeric primitives implemented in Typed Racket are faster than the same primitives implemented in C. Halleluja! _ Racket Developers list: http://lists.racket-lang.org/dev

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

2013-11-28 Thread Matthias Felleisen
Am I naive or isn't any download of any package opening the door to such tricks? On Nov 27, 2013, at 8:46 PM, Jay McCarthy wrote: On Wed, Nov 27, 2013 at 6:27 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Wed, Nov 27, 2013 at 7:21 PM, Jay McCarthy j...@racket-lang.org

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

2013-11-26 Thread Matthias Felleisen
+1 for Robby. On Nov 26, 2013, at 12:05 PM, Robby Findler ro...@eecs.northwestern.edu wrote: This isn't the semantics of the limits. It is about the way that calling the evaluator interacts with threads. Changing this program (from Eli's email) - ,r racket/sandbox - (define e

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

2013-10-16 Thread Matthias Felleisen
+1 Cabals not withstanding. On Oct 16, 2013, at 1:40 AM, Stephen Chang stch...@ccs.neu.edu wrote: I just discovered this behavior accidentally. It caught me off guard and feels unintuitive. And the negative of accidentally running it doesnt seem to outweigh having to type an extra

Re: [racket-dev] get-x method on key event always returns zero?

2013-10-09 Thread Matthias Felleisen
world uses get-x like this: (define/public (deal-with-mouse %) (if (not on-mouse) ;; No mouse handler = discard mouse events (so snip are not selected ;; in the pasteboard, for example (class % (super-new)

Re: [racket-dev] Generics updates

2013-10-04 Thread Matthias Felleisen
On Oct 2, 2013, at 4:41 PM, Sam Tobin-Hochstadt wrote: I think I prefer separate unrelated data structures, +1 We need to look at other languages and what devs say about intermingling and/or separating applicative and stateful data types. Java and Scala seem to provide particularly bad

[racket-dev] release

2013-10-03 Thread Matthias Felleisen
Tuesday was the beginning of the next release cycle. As you noticed, we did not send out a start-of-release message. Instead we have decided to postpone the beginning of the release cycle until approximately 10/24 so that we can get ready for the 6.0 release based on packages. Depending

Re: [racket-dev] Pinging BYU people!! (was: DOS attack on planet?)

2013-09-22 Thread Matthias Felleisen
Eli: Apologies for this exchange. Someone who volunteers his time to monitor our machines and fix them up doesn't deserve any kind of yelling and other crap that showed up in this thread. Your help is very much appreciated not to speak of the tons of work from the past. Again, apologies

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

2013-09-11 Thread Matthias Felleisen
We discussed this idea early on -- based on work by Casey and Robby and our own reasoning -- and I am pretty sure it was on your list. If it is not there, we should bring it in quickly. This should improve performance quite a bit. -- Matthias On Sep 10, 2013, at 4:59 AM, Sam Tobin-Hochstadt

Re: [racket-dev] generic binding forms

2013-08-26 Thread Matthias Felleisen
What are the performance implications of this design? Specifically how do overlapping uses fare in the two systems? Microbenchmarks okay for now. -- Matthias On Aug 26, 2013, at 12:54 AM, Stephen Chang wrote: Hi dev, I've noticed that Racket has a lot of convenient binding forms but

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Matthias Felleisen
I can see why an eq-set and an eqv-set can't be union-ed without additional information about the desired result type. But if we had two different implementation of the eq-set API we could easily define unions as derived code; that's the point of OO. On Aug 22, 2013, at 12:14 PM, Carl

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Matthias Felleisen
On Aug 22, 2013, at 2:31 PM, Carl Eastlund wrote: Here's what I propose to do now: - rename set? to generic-set?; this predicate recognizes the new all-inclusive generic set type - rename set-immutable? to set?; this predicate recognizes the pre-existing immutable hash set type -

  1   2   3   4   5   6   7   >