On Feb 17, 2015, at 7:59 PM, Sam Tobin-Hochstadt wrote:
> I expect that the packages that update for Matthias on `make` are
> packages in "main-distribution",
Personally, I have used the 'same' one-line command
going back to csv through svn and now git (_update).
When I write "Speaking as t
On Feb 17, 2015, at 2:12 PM, Sam Tobin-Hochstadt wrote:
> Regardless of that, though, I think we should switch to updating only
> "main-distribution" (and perhaps "main-distribution-tests"). I doubt
> people expect `make` in the Racket source tree to update their
> software somewhere else on the
ther than branching off into its own arena.
>
> On Tuesday, February 17, 2015, Matthias Felleisen
> wrote:
>
> At some point TR will move on, and perhaps the time has come.
>
>
> On Feb 17, 2015, at 12:06 PM, Vincent St-Amour wrote:
>
> > I don't think
tion 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,
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 wrote:
> I was just thinking today that I would, for example, find it useful to have a
> (zip ...) function
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 wrote:
> Or, more conservatively, every struct and object in a given package, file, or
> set of files.
>
> On Wed, Jan 21, 2015 at 11:03 AM, By
Argh, I wanted the other way (negative). I always get the directions confused.
Sorry.
On Jan 15, 2015, at 11:26 AM, David Van Horn wrote:
> On 1/15/15, 11:17 AM, Matthias Felleisen wrote:
>>
>>
>> On Jan 15, 2015, at 11:13 AM, David Van Horn
>> wrote:
&
On Jan 15, 2015, at 11:13 AM, David Van Horn 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!
>&
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
(provide (contract-out [f (real? . -> . integer?)]))
(define (f n)
(/ 1 (- 100 n
I would love to be able to use at lea
Which leaves me with the problem that I can't submit.
On Jan 11, 2015, at 7:57 PM, Matthias Felleisen wrote:
>
> [[ completely off-topic and not that I really care but why does github think
> I started contributing to htdp in 2010:
>
> https://github.com/racket/htdp
[[ completely off-topic and not that I really care but why does github think I
started contributing to htdp in 2010:
https://github.com/racket/htdp/graphs/contributors ]]
On Jan 11, 2015, at 7:55 PM, Matthias Felleisen wrote:
>
>> [:~/plt/extra-pkgs/htdp] matthias% hub remo
5, at 7:54 PM, Sam Tobin-Hochstadt wrote:
> You seem to be using hub from the directory you checked out hub in, not the
> htdp directory.
>
> Sam
>
>
> On Sun, Jan 11, 2015, 7:40 PM Matthias Felleisen wrote:
>
> Sorry I am late to the party but how do I push to the n
Sorry I am late to the party but how do I push to the new repos:
I tried
** Asumu's method:
> [:~/Hub/Hub] matthias% hub remote add -p racket/htdp
> [:~/Hub/Hub] matthias% git push
> error: The requested URL returned error: 403 while accessing
> https://github.com/github/hub.git/info/refs
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 i
Even the ACM considers our very own Matthew Flatt as a distinguished scientist.
-- Matthias
Begin forwarded message:
> From: ACM Bulletin
> Subject: [ACM-BULLETIN] Today's Topic: ACM Names 2014 Distinguished Members
> Date: December 4, 2014 11:04:44 AM EST
> To: acm-bulle...@listser
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 submodul
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 \
>
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 re
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 Racke
able 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
> wrote:
>>
>> What I sent is the
hink.
>
> I don't, however, get 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, Ma
Attached is the screen shot of the error report.
On Nov 18, 2014, at 11:54 AM, Matthias Felleisen wrote:
>
> On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt
> wrote:
>
>> On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
>> wrote:
>>>
>>&
On Nov 18, 2014, at 11:34 AM, Sam Tobin-Hochstadt wrote:
> On Tue, Nov 18, 2014 at 10:45 AM, Matthias Felleisen
> wrote:
>>
>> It's quite possible that this is Eli's bug again, but boy this causes
>> headaches:
>>
>>> Type Checker: parse e
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 rackun
On Nov 17, 2014, at 11:05 PM, j...@racket-lang.org wrote:
> 981a68b Jay McCarthy 2014-11-17 18:59
> :
> | Moving enumerator
> :
> C pkgs/{redex-pkgs/redex-lib/redex/private/enumerator.rkt =>
> data-pkgs/data-lib/data/enumerate.rkt} (96%)
> M .../redex-lib/redex/private/enumerator.rkt|
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 ide
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
On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt 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 raise so
>>
properly -> corresponding fashion?
Otherwise fine
On Oct 29, 2014, at 6:54 PM, Sam Tobin-Hochstadt wrote:
> On Wed, Oct 29, 2014 at 6:42 PM, Matthias Felleisen
> wrote:
>>
>> 1. Can we please, pretty please, drop these "now"s from every single
>> sent
1. Can we please, pretty please, drop these "now"s 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 ins
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:
ad page), so far, and so I forgot about 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 exp
ferent location.
>
> At Thu, 23 Oct 2014 13:24:08 -0400, 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% /Applica
> get the tests, you can do this:
>
> cd ...racket-root...
> ./bin/raco pkg install -i main-distribution-test
>
> --
>
> * Matthias Felleisen
> - Teachpacks Tests: check that new teachpacks are
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.ex
On Sep 5, 2014, at 11:15 AM, Antti Karttunen wrote:
> On Fri, Sep 5, 2014 at 5:16 PM, Matthias Felleisen
> wrote:
>>
>> A word of caution about *SL error messages. These messages are synthesized
>> from fragments of sentences and then a global rewriter re-arranges t
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 a
You need to clean out the cached compiled code and remake those collections.
Remove the compiled directories, and run raco make again. -- Matthias
On Aug 29, 2014, at 5:10 PM, Kevin Forchione wrote:
> H…. something changed between Racket 6.1 and the latest release that is
> producing th
at 3: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
> wrote:
>>
>> I am imagining that the type compilation of type Finalizer and suc
obin-Hochstadt wrote:
> How would that change things here? The issue is about
> finalizer-for-what, and that chaperones/impersonators affect object
> identity.
>
> Sam
>
> On Sun, Aug 17, 2014 at 3:37 PM, Matthias Felleisen
> wrote:
>>
>> Could we benefit from an
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 Rac
[[ 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
This is syntactically brittle design. Argh.
On Jul 29, 2014, at 4:50 PM, "J. Ian Johnson" wrote:
> I forgot that aspect of #:when and #:unless. Sorry for the noise.
> -Ian
> - Original Message -
> From: "Sam Tobin-Hochstadt"
> To: "J. Ian Johnson"
> Cc: "dev"
> Sent: Tuesday, Jul
On Jul 28, 2014, at 2:33 PM, Ryan Culpepper 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. (Thanks to David Van
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 ]==
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
> ~~~
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 wro
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 l
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 'loops
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
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 wrote:
>> One is
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 yo
On Jun 23, 2014, at 12:03 PM, Kevin Forchione wrote:
> I’ve only skimmed the manual so far, but see it doesn’t address one of my
> questions: whether and when to favor functions such as first/rest/empty?,
> etc., over the Lisp-y car/cdr/null?, etc. I have noticed that some of these
> function
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
> 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
>/Users/matthias/
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 wrote:
> On Tue, Jun 10, 2014 at 6:15 AM, Matthias Felleisen
> wrote:
>>
On Jun 9, 2014, at 6:02 PM, Eric Dobson 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 actually r
On Jun 9, 2014, at 9:38 AM, Sam Tobin-Hochstadt wrote:
> On Mon, Jun 9, 2014 at 3:19 AM, Eric Dobson 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
>> but that allowed accessing the pa
This is the most nonsensical sentence I have seen in a long time.
I should keep it around as a bad example.
On Jun 2, 2014, at 8:45 PM, Danny Yoo wrote:
> From the Ars Technica article, second paragraph:
>
> "Swift seems to get rid of Objective C's reliance on defined pointers;
> instead, th
.. announced Swift, its Objective C replacement (?):
http://arstechnica.com/apple/2014/06/apple-shows-off-swift-its-new-programming-language/
https://developer.apple.com/swift/
https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/
figured out the best way to do assertions or invariants and
>> so we should leave such a valuable name for a future
>> contributor/insight and use the more "ugly" name for this one.
>>
>> Even if that name ends up in a different library, I wouldn't want an
&g
-lang.org/plt/9d94ef725e..89dea63995
>>
>> =[ One Commit ]=
>> Directory summary:
>> 84.2% pkgs/racket-pkgs/racket-doc/scribblings/reference/
>> 11.0% racket/collects/racket/contract/private/
>> 4.6% racke
Could we please use the language of assertions here?
We have worked hard to get people to see contracts as special
boundary-associated assertions. And it's not clear whether we
are succeeding. But if we don't use language properly, nobody
will.
On May 30, 2014, at 10:06 PM, ro...@racket-l
the call sites will be a big win.
>>
>> TR cannot do this optimization because it requires inlining. And the
>> current version of racket cannot optimize this either because it
>> becomes
>>
>> (let ((s (vector 1 2 3)))
>> (if (vector? s)
>&g
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 wor
ame 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
es here because this can never change).
>
> Robby
>
> On Thu, May 8, 2014 at 6:17 PM, Matthias Felleisen
> 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:
(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 ]=
On May 6, 2014, at 2:02 PM, Jens Axel Søgaard 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 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" as presented b
Time to move it to a place easy to find? But why a macro?
On Apr 28, 2014, at 1:10 PM, Ryan Culpepper wrote:
> On 04/28/2014 10:08 AM, Laurent wrote:
>> On Mon, Apr 28, 2014 at 3:47 PM, Matthias Felleisen
>> mailto:matth...@ccs.neu.edu>> wrote:
>> [...]
>>
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 becaus
I withdraw my support for this item.
_
Racket Developers list:
http://lists.racket-lang.org/dev
SAM:
> Also, I think that in almost every course using DrRacket, the students
> will need to learn how to choose languages, because they will switch
> from one teaching language to the next. So I think this won't be
> unfriendly.
I am not sure this is true for simple high school courses or anyo
On Apr 28, 2014, at 9:51 AM, Robby Findler 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?
_
Racket Developers list:
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 cred
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 R
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 wrote:
> Matthias Felleisen wrote at 04/22/2014 01:37 PM:
>> I think we should dedicate this commit to Kate Bush'
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))
>
> (
cursive types covers a lot of ground.
>
> 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
> wrote:
>>
>&
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 wrote:
>> Are there type systems that can? It seems like you could specify this type
>> and similar ones using r
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 (x)
On Apr 19, 2014, at 5:57 PM, Sam Tobin-Hochstadt wrote:
> On Sat, Apr 19, 2014 at 4:45 PM, Matthias Felleisen
> wrote:
>>
>> Morally TR ought to report the type of this x as empty set,
>> which would inform you that the else branch is unreachable:
>>
>> (
t;> (letrec ([x x]) x)
>>>> x: undefined;
>>>> cannot use before initialization
>>>> context...:
>>>> C:\Program Files\Racket-6.0.1.4\collects\racket\private\misc.rkt:87:7
>>>>> (letrec ([x 5]) x)
>>>> 5
>>>
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 (
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 c
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
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
> wrote:
>>
>> This one's different, given our disc
> On Wed, Apr 16, 2014 at 6:07 PM, Matthias Felleisen
> 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,
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.
> http://git.racket-lang.
gt; +(err/rt-test (let ()
> + (unsafe-fx+ x 1)
> + (define x 3)
> + x)
> + exn:fail:contract:variable?)
> +
> +;; ;;;;
:-)
On Apr 16, 2014, at 9:02 AM, Matthias Felleisen wrote:
>
> On
On Apr 15, 2014, at 9:29 PM, Asumu Takikawa 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 `undefined' value
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% pkgs/t
+1
On Apr 15, 2014, at 4:32 PM, John Clements 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
>
>
> _
> Ra
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 i
On Feb 21, 2014, at 7:42 AM, Sam Tobin-Hochstadt 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 want to try it out.
_
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? Ca
-- 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 wrote:
> Thanks!
>
> I didn't include the DrRacket one, since I ha
1 - 100 of 798 matches
Mail list logo
