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
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
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,
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
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
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 \
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
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:
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
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
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
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
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
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
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
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
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
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
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
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
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:
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
, 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
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
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
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
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
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
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
: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
[[ 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
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.
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
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
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
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
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
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
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
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
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
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
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.
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
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
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
))). 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
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
(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
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
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
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
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
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
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?
_
I withdraw my support for this item.
_
Racket Developers list:
http://lists.racket-lang.org/dev
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
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
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
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
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
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
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
.
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
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
: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
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
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
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
)
+ (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
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.
, 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
)
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
+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
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
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
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
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
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
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
:
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
-- 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
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
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
* 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
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
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
+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
+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
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)
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
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
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
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
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
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
-
On Aug 19, 2013, at 5:39 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote:
3. It puts more info on the first page.
To my surprise, I like it.
4. The font size is larger, which I think makes it much more readable.
Speaking as an old person who has arrived in the age of reading
Eli is right in that I did not intend this directory to be a real test. It is
definitely misnamed. But it's no big deal so let's leave it as is.
[[ As I have written privately, I just do not understand the split of htdp into
three different packages but so be it. ]]
-- Matthias
On Aug
Truth in advertising:
big-bang skips frames in certain circumstances -- when handlers take too long
-- so if the GC kicks in when a handler runs, it is possible that the eventual
result is a skip.
Robby: do you think Jack's program would benefit from a forced gc before
big-bang runs? (I
All I get are stalls many seconds (minute) into running the game if I run it
from drracket. The command line version doesn't stutter at all. So no, running
a GC right ahead of big-bang isn't going to solve that problem.
Jack, I have taken the liberty to rewrite your game in a more Rackety
1 - 100 of 602 matches
Mail list logo