Predicates in general would be really awesome. I think the testing
infrastructure for Sperber's book (DMDA) has something like this.
Making it lightweight is what matters most, whether through a new
match form or a more general predicate form.
Shriram
On Mon, Nov 19, 2012 at 8:25 PM, David Van
We use test in PLAI, and I suggested it in that context (eg,
unification, where you don't care about the gensym'ed names of logic
variables), which is probably why it got called that.
On Mon, Nov 19, 2012 at 8:01 PM, Robby Findler
wrote:
> Yeah, that is very nice! (It should begin with "check" no
I viewed it on my phone (ie, slow) on a 2G connection (ie, even slower).
I suggest trying to simulate the experience because the layers draw one by
one. About half way through, the person looks like Lothar from the Mandrake
comics.
I will not dwell on similarities to the final picture.
--
Pardon
> It would be a whole lot nicer to insert> (disable-tests)> and>
> (enable-tests)> in the code, or perhaps to wrap a bunch of lines of code in>
> (with-tests-disabled ...)> or> (with-tests-enabled ...)
The Tracer does essentially this in reverse: by default you use the
Tracer language and "nothi
Yeah, I caught that in the patch, thanks.
I think it's the lesser of two evils for me right now (to export car
as first, etc), and the price here is indeed very low. But thanks for
the reminder, so I'm alert to it.
_
For list-related administrativ
Thanks for the help with the patch. But because I'm providing my own
language, I think there's a cleaner solution.
I anyway planned to release a new version of the course language in
the morning that turned on shared printing, so this would mesh nicely.
Shriram
__
Since I'm anyway providing my own custom language, can I provide car
as first and cdr as rest? Can you think of any unexpected
consequences offhand that would prevent that?
(The only one I can think of so far is that second and friends don't
work either, so I have to provide first, second, ... te
Ryan, I noticed this seems to be a problem in full Racket as well: try
#lang racket
(define web-colors
(shared ([W (cons "white" G)]
[G (cons "grey" W)])
W))
(rest web-colors)
Robby privately wrote to say it should be regarded as a bug.
Shriram
___
According to my class notes from last year, the following examples
worked just fine in ASL:
(define web-colors
(shared ([W (cons "white" G)]
[G (cons "grey" W)])
W))
; Will fail with error:
; (length web-colors)
(check-expect (equal? web-colors (rest web-colors)) false)
(check-e
Wait, now I realize I misunderstood Sam's proposal. Doesn't this just
make all structs into lists? Like back to the bad old days of 1995?
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
I'm afraid omit-defined-values didn't work. I'm not entirely sure how
to carry through Jay's proposal, and I also need something that will
work inside the local context of ASL (which imposes some
restrictions). Joe Politz suggested I just go with SET! instead --
roughly,
-->
(begin
(define-str
On Mon, Oct 10, 2011 at 8:13 AM, Jay McCarthy wrote:
> And if it isn't clear, since it is looking at foo's static binding,
> your macro is only binding the values from define-struct, not the
> syntaxes.
Jay, can you elaborate? What is doing the looking -- the match struct
clause? What does it m
What exactly does the struct form of match (in the ASL language) use
to identify the structure? The following works fine:
(define-struct foo (a b))
(match (make-foo 1 2)
[(struct foo (x y))
(+ x y)])
But I have a macro over define-struct for which I get the error
match: foo does not ref
What they import is orthogonal to the syntax for importing.
> How about this experiment: everyone teach in plain Racket for a while
> and see whether teaching language restrictions are really needed.
That would be a good experiment. My own suspicion is that getting rid
of implicit begin will pro
In the language I use in my class, I offer
require:
only-in except-in prefix-in rename-in combine-in planet
provide:
all-defined-out all-from-out rename-out except-out
prefix-out struct-out combine-out protect-out
and my students use most of these. I am not aware of a student ev
1. We don't have such an organization. Several companies are trying
to become this.
2. As I pointed out, ACM's classification has little to do with modern
CS. I struggle to find useful classifiers for many of my papers. So
it's largely useless for many things I do. If it's value-add was
classi
With a classification system that really hopes that the past twenty
years never happened. Real useful. (And I guess it's the ACM's power
to make it look like they never did!)
Shriram
On Fri, Sep 30, 2011 at 2:22 PM, Matthias Felleisen
wrote:
>
> ACM conference also classify your paper so
> tha
In addition to what Jay said, when the datatype evolves, it's harder
for someone reading the code to tell whether the "else" was meant to
cover only one other case (and now there's two, and someone forgot to
update the function) or truly all the other cases.
When you have crisp predicates, I see n
I introduced templates today. Almost as if on cue, one student asked
whether he could use else instead of (cons? l). I told them I was
going to make a MORAL judgment about why it was EVIL, and spent ten
minutes talking about all that.
As class ended, one of my students came up and said,
"So wh
> Just to clarify (a) is a kind of a cheap way out:
I agree. But (b) sounds like a lot of design and re-implementation
work; it would be unfortunate if that held up doing anything about
(a).
Shriram
_
For list-related administrative tasks:
http
Can't comment on option (b), but option (a) is what I was thinking of.
Isn't the "tricky UI question" already present, because a language
info can set some of the very same things in the details pane? I
didn't see this particular option introducing a new problem that was
not already there.
One t
A different line of reasoning is this. DrRacket gives the impression
that coverage is a property of the language selected for a buffer.
That's why if I have two tabs, one in *SL and another in #lang racket,
one has coverage and other does not, without my having to ever touch
the Details panel. An
It would be nice if I could turn on coverage highlighting from code in
my language's run-time configuration, without the user having to
(remember to) click anything at all. My #lang already sets things
like pconvert options (which too they could have set by clicking,
except I did it for them). I'
This is for a #lang-language.
Is there a reason this can't be done programatically, like other
things in the language dialog? I understand it may not be possible in
the current release, but if there's no reason it can't, can you add it
for future releases? It feels like it is reasonable to consi
Is there a way for a custom language to get the coverage coloring
found in student languages? That is, is there something like how
(run-tests) (display-results)
does the textual equivalent of the check-expect GUI?
Thanks,
Shriram
_
For list-rela
Do you know about CPANTS? I just heard about it. The idea, as I
understand it, translated to our terms, is essentially this:
- every PLaneT package comes with a test suite
- when the package is downloaded, the test suite runs
- if the test suite fails, the user is informed right away (to perhaps
> Did you see section 1.4 of the planet docs?
Yes, I did. It referred me to section 2 for the search order. The
rest of it is about referring to explicit version numbers, whereas my
message was about what happens if you leave off version numbers.
I guess I could boil down my basic question to,
In the planet documentation, I don't see a spec of the semantics of
versioning. (If it's there, can someone please point me to it?)
My understanding is this; can someone confirm or correct it? (The
#lang part probably isn't relevant, but since that's how I need to use
it, I'm being maximally spe
ing I think we'll
> change before planet 2.0.
>
> Robby
>
> On Tue, Sep 6, 2011 at 8:20 AM, Shriram Krishnamurthi
> wrote:
>> [This is intentionally stream-of-consciousness...]
>>
>> The planet home page doesn't say anything about how to report
[This is intentionally stream-of-consciousness...]
The planet home page doesn't say anything about how to report bugs
(the word "bug" really only appears in package descriptions, and
"error" doesn't at all). The same is true of individual packages. So
it's really not clear what one should do.
T
Something in the interaction between PLaneT and Chrome is unwieldy.
PLaneT asks you to pick a username and password; odds are you don't
want to pick your email address as your username to avoid having it be
public (and because it's unwieldy). But if you ask Chrome to remember
usernames and passwo
Some bands make a racket.
On Mon, Sep 5, 2011 at 10:57 AM, Noel Welsh wrote:
> Band sounds more rock'n'roll, which is what we're aiming for.
>
> Party on,
> N.
>
> On Mon, Sep 5, 2011 at 12:19 PM, Paulo J. Matos wrote:
>> On 03/09/11 19:01, Neil Van Dyke wrote:
>>>
Finally, Racket is suppor
The docs at
http://docs.racket-lang.org/drracket/drracket-files.html?q=crash#(part._drracket-autosave-files)
are all about the autosave of files that have already been associated
with disk. What about those that haven't? There is no reference to
the Documents/mredauto.* files, which thankfully
Robby, two comments on that Apple UI guideline document:
1. It makes a distinction between Close and Close All.
2. It never mentions the word "tab" (in the sense in which we're using
it). Its unit of interaction appears to be the window, not the tab.
In that sense, it doesn't appear to offer a
?
>
> On Thu, Aug 25, 2011 at 8:03 PM, Shriram Krishnamurthi
> wrote:
>> Yes, Robby, that would be great. The default should be to close as
>> little as possible, not as much as possible.
>>
>> On Windows 7:
>>
>> In Firefox, File | _C_ is indeed close
scores in the menu items? That is,
> if the underscore moved from close to close tab would that help you at all?
>
> Robby
>
> On Thursday, August 25, 2011, Shriram Krishnamurthi wrote:
>> Robby, this is something I've brought up before, too. It may be the
>> defau
I'm confused. Why aren't $1, etc. also identifiers?
> (define $1 1)
> (define 50-cent (/ $1 2))
> 50-cent ;; which, as you know, is pronounced "fiffy"
0.5
Or are you asking, "Since I'm going to steal part of the identifier
namespace anyway, would you prefer..."? (If so I'd say just take both
a
Robby, this is something I've brought up before, too. It may be the
default on the Mac, but it's certainly strange behavior on other
platforms. I often find DrRacket disappearing on me and wondering
why, then realizing...uh oh, close means something different.
On Thu, Aug 25, 2011 at 1:30 PM, Ro
On firefox.com I was surprised to see that what I had always assumed
was an image was actually just CSS magic. Why not just copy it?
> What I did for that is to change the color when focus moves in.
Yes, but the grey means I'm unlikely to move my cursor over it in the
first place. Why grey it o
Thanks for this.
I really like the rounded-edge "Download" buttons that most software
systems now have. It seems odd to not have one for DrRacket. (I
brought this up some years ago when these weren't quite so prevalent;
now they're ubiquitous.)
The grey of the Platform line makes it look like i
Doesn't the same problem exist for other tools, such as the Tracer?
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
> 1. Racket's awesome cross-platform drawing library.
Robby, is this what you were trying to sell Danny on to support in WeScheme?
Shriram
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
Windows done; specs below in case someone w/ a significantly different
machine wants to try it out too:
Windows 7 Home Premium
1.2 GHz ULV Intel Core i5-430UM
4 GB DDR3 RAM
SATA hard drive (5400 RPM)
Output is here:
http://www.cs.brown.edu/~sk/tmp/neil-toronto.tgz
The package looks amazing, btw
> (1) My hunch is that most of our downloaders -- especially
> technically unsavy (what's the right word here?) people --
> download one and only one thing from us.
And I suspect this is precisely why FF makes Windows the default (as
Guillaume has shown us). Everyone who's not on Windows is acute
Eli has asked us to wait. Please do so. He will reply in more detail
when he gets to a proper computer.
On Thu, Aug 11, 2011 at 3:36 PM, Guillaume Marceau wrote:
>
>
> On Thu, Aug 11, 2011 at 3:03 PM, Guillaume Marceau
> wrote:
>> Or we can trust that the Mozilla Foundation's user interface de
We also have an extensive audience on the users list and in our
individual departments. So it would be easy to circulate a draft Web
page (no fancy download or even formatting) that simply says, "I'm
guessing you are using a ... -- is this correct?" and get lots of
people to test (and get more det
I suspect your related work section missed a few. (-:
On Fri, Aug 5, 2011 at 10:06 AM, Matthias Felleisen
wrote:
>
> It was my Diplomarbeit finished in 1983, so that makes it 28 years now.
>
>
>
> On Aug 5, 2011, at 12:17 AM, Shriram Krishnamurthi wrote:
>
>> This ide
Noel is absolutely right.
We live in an era where Search Just Works. I do dozens of Google
searches on most days. To go from there to Help Desk is an incredibly
jarring experience. I have to load new instructions into my head:
"stick to one word", "stem!", etc., that I haven't had to use on
sea
This idea is proposed roughly every 2-3 years for at least 30 years.
I am not aware of anyone having made this idea "fly".
Shriram
On Fri, Aug 5, 2011 at 12:13 AM, Robby Findler
wrote:
> I too tried it (ages ago) and ended up roughly where Eli is, but I
> didn't want to judge since I wasn't actu
Correct, no colors.
On Mon, Aug 1, 2011 at 11:57 AM, Sam Tobin-Hochstadt wrote:
> On Mon, Aug 1, 2011 at 11:48 AM, Eli Barzilay wrote:
>
>
>> * Simplified error messages in student languages, and use colors to
>> add visual information (see the teachpack manual for guidelines on
>> writing tea
Precisely.
On Tue, Jul 12, 2011 at 6:10 AM, Stephen Bloch wrote:
>
> On Jul 11, 2011, at 6:32 PM, Matthias Felleisen wrote:
>
> I'd much prefer eliminating such function calls.
>
> What harm do they do? You can't call any library function with the wrong
> number of arguments, and you can't defin
Whoa, whoa there. They're there for a reason. I can't remember why,
but I am pretty certain I have actually used such a function. Please
don't go around chopping and changing the language a few days before
the deadline.
On Mon, Jul 11, 2011 at 7:21 PM, Guillaume Marceau wrote:
> On Mon, Jul 11
Also, would any Boston people be willing to host out-of-town students?
On Sun, Jun 26, 2011 at 12:36 PM, John Clements
wrote:
> Are there any group-ish plans for RacketCon lodging? A campsite, say... :)
>
> John
>
>
> _
> For list-related administr
Danny, the real reason to not mess with the name in the github repo
name is that you WANT people who are looking for the original language
to find your version of it.
Shriram
On Fri, Jun 10, 2011 at 7:06 PM, Robby Findler
wrote:
> On Fri, Jun 10, 2011 at 5:52 PM, Danny Yoo wrote:
>> On Fri, Jun
While having a copy of Shrunk and Whiteout thrown at us, no less.
On Thu, Jun 9, 2011 at 6:43 AM, Robby Findler
wrote:
> Man, I recall a slightly different sentiment when you edit papers we
> co-author. :)
>
> Robby
>
> On Wed, Jun 8, 2011 at 8:50 PM, Matthias Felleisen
> wrote:
>>
>> "Take fro
> I agree that simplifying the error messages is a good idea and will be
> extremely helpful, but is there a good reason not to *teach* students
> the students much of this vocabulary?
We will also be producing some kind of cheat-sheet for both teachers
and students to refer to.
In part, simplify
> Oh, I'm all in favor of skipping "identifier". But using the word
> "variable" both for global variables (i.e. constants) and for
> function parameters strikes me as asking for confusion.
Okay. We have no evidence one way or the other. It could be
something we try to investigate. Given our
> * Start the message with the name of the construct whose constraint is
> being violated, followed by a colon.
>
> Should give a quick example to clarify that `error' does that when
> given a symbol. I can see people following this blindly and
> getting
> -> (error 'foo
Where there is subtyping, "same" and "different" are not so clear.
set-foo-bar!, foo-bar, and foo? are all "different" things at the
level of "mutator", "selector", and "predicate", but they are the same
thing one level of abstraction up, where they are all "functions" or
"operators".
So we are no
ms for the things made by 'define' and the things made by
>> 'lambda'? This is very bikesheddy, but I dislike your choice.
>>
>> Jay
>>
>> 2011/6/3 Shriram Krishnamurthi :
>> > Guillaume, Kathi and I have created a set of guidelines for writ
I think even one sentence in the docs about the implications of these
statements there would be a great idea. To someone who doesn't
already know Scheme, the distinction between "one value" and the
alternative is entirely unclear because they don't know what
alternatives there are to one argument/
Sam, are you referring to this text?
The any/c contract is similar to any, in that it makes no demands on
a value. Unlike any, any/c indicates a single value, and it is
suitable for use as an argument contract.
This would seem to suggest that any is actually more general, because
any/c seem
My understanding is that Eli has all these things for his PL course,
right? So it's just a matter of making them more widely accessible?
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
> I see no reason to change `letrec'. Fixing internal definitions is the
> goal; I didn't see (until Robby's suggestion) that fixing internal
> definitions doesn't necessarily require a change to `letrec'.
This will also have the salutary effect of encouraging the use of
internal definitions, whic
In DrRacket 5.1 on Windows 7, hitting Alt-Space reproducibly produces
this output:
system-menu in frame%: unimplemented; args were '()
=== context ===
C:\Program Files
(x86)\Racket\5.1\collects\racket\private\more-scheme.rkt:265:2:
call-with-exception-handler
C:\Program Files
(x86)\Racket\5.1\co
Justin is right other than the Java part. Eli is right with the
amendment of -1 for the suggestion that Java has good parts worth
borrowing. (-:
On Wed, May 4, 2011 at 7:51 PM, Eli Barzilay wrote:
> 20 minutes ago, Justin Zamora wrote:
>> On Sun, May 1, 2011 at 3:20 AM, D Herring wrote:
>> > Yo
> Which also raises an idea: now that TR is getting going, maybe we
> should have another step on this scripts-to-programs slope that is
> _lower_ than Racket. A language where we really only have one single
> datatype and "everything just works" on it, hashes being the obvious
> one (altho we prob
Will the syntax be infix or prefix? Will the semantics be fixednum or bignum?
On Wed, Mar 23, 2011 at 7:00 AM, Matthias Felleisen
wrote:
>
> can you turn these captcha expressions into small arithmetic expressions
> that people know they need to compute and the spammers don't see?
>
>
> On Mar 2
Make sure you include a chapter on types!
On Sun, Jan 23, 2011 at 9:10 PM, Robby Findler
wrote:
> Want to write it? ;)
>
> On Sunday, January 23, 2011, Matthias Felleisen wrote:
>>
>> POPL 2012 will probably sport a paper on Scratch then ...
>>
>> On
http://byob.berkeley.edu/Church.pdf
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
See
http://bugs.racket-lang.org/query/?cmd=view&pr=11049
Shriram
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
Effectively impossible. It's all in the domain.
On Sat, Dec 11, 2010 at 1:47 PM, Matthias Felleisen
wrote:
>
>
> How difficult is it to implement one as a Planet lib that avoids tracking?
>
>
>
> On Dec 11, 2010, at 1:41 PM, Neil Van Dyke wrote:
>
>> One issue to consider with Recaptcha is that
The Program by Design Web site is now live:
http://www.programbydesign.org/
Would you please update links you have to old sites (like
www.teach-scheme.org) to point to the above URL instead? (The old URL
will continue to work, but only for legacy links.)
Shriram
Along the lines of useless email with silly content, I should give
props to Dave Herman, who took one look at P4P and asked why I didn't
instead call it "Bracket".
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
Someone should write to Danvy and ask him what the heck HE was doing
sleeping on the job. How could a paper on a topic like this not get a
proper Schemer as a reviewer and, if so, why didn't they, uh, read the
paper?
On Wed, Nov 17, 2010 at 12:41 AM, John Clements
wrote:
> Well, he's generous ab
If you knew his background, you would not expect him to at all be a
native speaker of ().
(Further OT amusement: He, Stephanie, and Tim Sheard had a paper at
last week's FOSER workshop entitled "Language-Based Verification Will
Change the World". Apparently, dependent types are both necessary and
Good point. I never thought of it this way, but this is another
argument in favor of dynamic scope. [tongue in cheek]
Shriram
On Tue, Nov 16, 2010 at 5:25 PM, Sam Tobin-Hochstadt wrote:
> On Tue, Nov 16, 2010 at 5:22 PM, Shriram Krishnamurthi
> wrote:
>> You know, it's
Yep, that's exactly what was happening with the thing they ran at
Brown. It was that system by that guy in Nice -- Erik Galliseo or
something like that.
Shriram
On Tue, Nov 16, 2010 at 5:21 PM, Robby Findler
wrote:
> On Tue, Nov 16, 2010 at 4:19 PM, Eli Barzilay wrote:
>> 5 minutes ago, John C
You know, it's not inconceivable such a thing could happen if you had
a PURELY syntactic *interpreter*.
I remember when I got to Brown, they were using one of those weirdo
Scheme interpreters, and had come to conclusions about the semantics
of Scheme on the basis of its behavior. Things like you
Though also cycle back to us. I'm curious to hear what he has to say.
Shriram
On Tue, Nov 16, 2010 at 5:13 PM, Robby Findler
wrote:
> That expression at the end is somehow turning a procedure back into
> its quoted form. I have no idea if a Scheme that did that would be R5
> or not, but Racket
We spent 15 years trying to shake the name "Lisp", and today I feel
proud to be a Lisp programmer.
S.
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
> I'm in the pit of despair... er, grading first-year exams, and I'm
> looking at code that has terrible paren-placement issues. I don't
> take points off for this on exams, but I can only imagine how long
> it takes these poor kids to get their code to run.
Don't imagine. Record transcripts of
We've brought this up on this list before -- forms like provide export
their sub-keywords as macros. I believe this is why the following
module compiles:
#lang racket
(require scribble/base)
(define (defn t) (bold t))
(provide all-defined-out)
Someone just spent 30 minutes wrestling with this.
Is there any way for shared to check for whether a name was originally
assigned to an LHS and, if so, to re-use it? If I define
(define cities (shared ([PVD (make-city ... (list BOS ORD))] [BOS ...]
[ORD ...]) PVD))
and it prints as
(shared ((-0- (make-city "Providence" (list -3- -7-)))
bind it to that myself ...). I imagine that this kind of confusion is, or
> is related to, the reason.
>
> -Everett
>
> On 09/06/2010 11:31 AM, Shriram Krishnamurthi wrote:
>>
>> Is there a reason =? isn't bound? I see (in Guillaume's logs)
>> student
Is there a reason =? isn't bound? I see (in Guillaume's logs)
students actually getting errors because they tried to use it.
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
Can you tell us (om the list) what the true type is? I'm sure I'm not
the only one curious as to precisely what it is and how you would
write it w/ the exception. Thanks.
Shriram
On Sun, Sep 5, 2010 at 8:57 AM, Sam Tobin-Hochstadt wrote:
> On Sun, Sep 5, 2010 at 3:06 AM, Hari Prashanth wrote:
http://docs.racket-lang.org/drracket/extending-drracket.html?q=teachpack#(part._teachpacks)
-
As an example, the following teachpack provides a lazy cons
implementation. To test it, be sure to save it in a file named
"lazycons.ss".
...
Then, in this program:
...
the list all-nums is bound
... which was my original question. But thanks.
On Sat, Aug 28, 2010 at 9:36 PM, Robby Findler
wrote:
> I guess you don't have the print handler set up right.
>
> On Sat, Aug 28, 2010 at 8:23 PM, Shriram Krishnamurthi
> wrote:
>> The value I was returning is wha
not sure how to replicate it though. (I tried for a bit so I could
>> make #lang frtime work.)
>>
>> Jay
>>
>> On Thu, Aug 26, 2010 at 11:55 AM, Shriram Krishnamurthi
>> wrote:
>>> What is the #lang magic that makes
>>>
On Sat, Aug 28, 2010 at 3:38 PM, Robby Findler
wrote:
> This works fine in #lang racket, eg:
>
> #lang racket
> (define-struct s (a b))
> (provide (struct-out s))
>
> I think that ASL's define-struct is not racket's tho, so you'd
> probably have to read the docs carefully to understand what's
> di
What is the relationship between define-struct and struct in Racket
5.0.1? By define-struct I mean the construct provided in ASL. In my
custom language I have
(define-struct tv (tag value))
(provide (struct-out tv))
and I get the error
struct-out: no import for structure-type identifier in: st
The language chooser details panel looks like the attachment. It
looks like there are five Output Styles and Fraction Style combined,
rather than two distinct blocks of 3 and 2. A little spacing might
make it a bit easier to read.
<>_
For list-rel
> I can think of many different ways to make the stepper<->definition
> correspondence manifest. As John said, I once suggested that the code
> should be reduced in-place, in the definition window. Shriram doesn't
> like that idea (but he has never bothered to say why.)
That's right, I didn't.
pl a lot more. Since the stepper is
intended to help with that debugging process, non-integration with
that is also a problem.
Shriram
On Thu, Aug 26, 2010 at 8:40 PM, John Clements
wrote:
>
> On Aug 26, 2010, at 5:23 PM, Shriram Krishnamurthi wrote:
>
>> I know Guillaume proposed to
, Aug 26, 2010 at 8:27 PM, Robby Findler
wrote:
> It seems to me it would be nice to contemplate a design that
> integrates test suites and the stepper (also in light of Mike's
> signatures).
>
> Robby
>
> On Thu, Aug 26, 2010 at 7:23 PM, Shriram Krishnamurthi
> wrote:
&g
I know Guillaume proposed to do it in the context of the editor. I'm
unconvinced that that's the right way to go. At any rate, integrating
into an existing bit of infrastructure (def'ns or inter's) is going to
be much more complex than an "off-line" prototype that people can
critique. So we shou
ht not like it.
>
> Robby
>
> On Thursday, August 26, 2010, Shriram Krishnamurthi wrote:
>> Understood. But I think this is what Robby is saying is very
>> difficult to implement correctly, and he's suggesting we put it in a
>> different window at least for now so t
What is the #lang magic that makes
> (get-image-from-web "http://racket-lang.org/logo.png";)
(instantiate (class ...) ...)
show the image rather than just its constructor?
Shriram
_
For list-related administrative tasks:
http://lists.racket-lan
at 1:21 PM, Matthias Felleisen
wrote:
>
> On Aug 26, 2010, at 11:59 AM, Shriram Krishnamurthi wrote:
>
>> Anyone else have comments/suggestions?
>
> Robby's idea of allowing students to choose how a RUN actually worked
> occurred to me too but I had a different be
1 - 100 of 182 matches
Mail list logo