On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay e...@barzilay.org wrote:
On Aug 2, Matthias Felleisen wrote:
On Aug 2, 2010, at 6:11 AM, Eli Barzilay wrote:
And for the (near) future -- figure out what's happenning in the
teaching languages. I get the impression that things are moving
At Mon, 2 Aug 2010 04:42:41 -0600, Jay McCarthy wrote:
These are the commits:
Those are from July 22, one week after the branch for 5.0.1, so they
would not normally be considered candidates for the 5.0.1 release.
_
For list-related
I'm not talking about behavior, I'm talking about the intended
semantics of observations in the language.
Shriram
On Mon, Aug 2, 2010 at 9:47 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Mon, Aug 2, 2010 at 9:40 AM, Shriram Krishnamurthi s...@cs.brown.edu
wrote:
If I export map (w/out
On Aug 2, 2010, at 9:39 AM, Shriram Krishnamurthi wrote:
1. doesn't have a counterpart for *untyped* code;
...
Overall, the status of representation-hiding in Typed Racket seems rather
weird.
These two lines together explain it all. TR is about moving code from the
untyped world into
Sam, this is an interesting question and you should look into it because the
answer isn't obvious:
(module A typed/racket (provide map))
passes map from 'somewhere' through A to two contexts: typed and untyped
modules. Given that all provides slap on contracts in TR -- that's what the
On Aug 2, 2010, at 10:43 AM, Sam Tobin-Hochstadt wrote:
This is the same code as above. Did you mean something different?
See my message. I had fixed it. Cap t in first line!
_
For list-related administrative tasks:
On Mon, Aug 2, 2010 at 9:58 AM, Shriram Krishnamurthi s...@cs.brown.edu wrote:
1'. That seems unlikely given that if I instead add insert to the
above (#lang racket) source file and run Check Syntax, I get the same
error -- so it is indeed a static error. (Well, maybe not static,
there are
Arjun just pointed out to me that the inability to contract base
values can lead to much harder-to-understand problems in higher-order
contexts. (Not surprising, but I hadn't thought that that would make
it much worse.)
On Mon, Aug 2, 2010 at 11:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
We should try to make sure that only commit messages from commits in
the release branch are considered for the release notes process. Do we
a script that does it or does someone pick through them manually?
Jay
On Mon, Aug 2, 2010 at 1:14 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Eli:
Pardon me for mentioning ML. Yes, Jim Morris suggested ADTs without using the
name and the Clu people in their paper on infinitely high-level languages
(yeap!) introduced the terms. That doesn't change a thing about the content of
my statement.
On Aug 2, 2010, at 11:38 AM, Shriram
On Mon, Aug 2, 2010 at 1:09 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
The `racket/gui' re-implementation is starting to come into focus.
DrRacket mostly works, although lots and lots of problems remain.
It looks very nice on my machine. One question: the open/save file
dialogs on Gtk are
At Mon, 2 Aug 2010 19:12:40 -0400, Sam Tobin-Hochstadt wrote:
On Mon, Aug 2, 2010 at 7:08 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
One question: the open/save file
dialogs on Gtk are using the old GRacket dialogs, rather than the
Gtk-native ones. Is this planned to change in the
I may have missed a post on this topic, but has anyone built an LLVM back-end
for mzc?
-- Paul
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
On Aug 2, 2010, at 8:38 PM, Paul Steckler wrote:
I may have missed a post on this topic, but has anyone built an LLVM back-end
for mzc?
Eli and an undergraduate (Alex Friedman) started on this a few years ago
and got reasonably far. They could compile a bunch of small stuff, and the
LLVM
On Tue, Aug 3, 2010 at 10:41 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Eli and an undergraduate (Alex Friedman) started on this a few years ago
and got reasonably far. They could compile a bunch of small stuff, and the
LLVM developer was highly responsive to requests back then (still
15 matches
Mail list logo
