On Sun, Jun 13, 2010 at 1:58 PM, YC wrote:
> I am trying to install planet package in racket, specifically lizorkin/ssax
> (which is on planet) and it returned the error "could not find matching
> package". I went back to an older version (4.2.1) and was able to install
> the package. Looking on
Please see the Guide on eval.
Robby
On Thu, Jun 17, 2010 at 12:01 PM, Valeriya Pudova
wrote:
> Hi
>
> With the Racket 5, this simple code
>
> #lang scheme
> (eval '(+ 1 2))
>
> printout error
>
> compile: unbound identifier (and no #%app syntax transformer is bound) in: +
>
> What is wrong?
>
>
Did you try searching for "turtles" in the documentation?
You'll find a few libraries there. Nothing that I would say is
bulletproof for working with students, but there is something there.
Robby
On Thu, Jun 17, 2010 at 10:19 AM, Frank Gizinski wrote:
> To Whom it might concern,
>
> I have seen
> is the first example.
>
>
>
>
> On Jun 17, 2010, at 1:05 PM, Robby Findler wrote:
>
>> Please see the Guide on eval.
>>
>> Robby
>>
>> On Thu, Jun 17, 2010 at 12:01 PM, Valeriya Pudova
>> wrote:
>>>
>>> Hi
>>>
>&
Why is this an ethical question and not an economic one?
Robby
On Friday, June 18, 2010, Neil Van Dyke wrote:
> Apple has been brutal with iPhone developers, running the platform as a
> ruthless and fickle dictatorship. I believe that this is the general
> perception of iPhone developers.
>
>
f supporting the iPhone
> iron-fisting is harder to resolve.
>
> Robby Findler wrote at 06/18/2010 10:33 AM:
>
> Why is this an ethical question and not an economic one?
>
> Robby
>
> On Friday, June 18, 2010, Neil Van Dyke wrote:
>
>
> Apple has been brut
It isn't clear to me why the functions are doing what they are doing
in some of the details, but I've documented the relevant missing ones
(now pushed, also as below). Here is an example to help you get going.
#lang racket
(require planet/util)
(install-pkg
(get-package-spec "planet"
On Sun, Jun 20, 2010 at 4:19 AM, Laurent wrote:
> That worked, but there is one annoying thing: it recompiled *all* the
> dependencies, including the whole Racket...
> Is there a way to avoid this with this function?
This is a bad interaction between drracket's automatic compilation
setup and the
On Sun, Jun 20, 2010 at 7:51 AM, Robby Findler
wrote:
> On Sun, Jun 20, 2010 at 4:19 AM, Laurent wrote:
>> That worked, but there is one annoying thing: it recompiled *all* the
>> dependencies, including the whole Racket...
>> Is there a way to avoid this with this functi
Sorry for the delay in getting back to you on this (and sorry for the
upcoming not so helpful reply. )
I'm not really familiar with proxy setups and how to simulate them,
but if you wanted to submit a patch that worked for you, I'm pretty
sure that I could verify/adjust enough of it to be conf
, 2010 at 12:29 PM, Laurent wrote:
>
>
> On Sun, Jun 20, 2010 at 18:25, Robby Findler
> wrote:
>>
>> On Sun, Jun 20, 2010 at 7:51 AM, Robby Findler
>> wrote:
>> > On Sun, Jun 20, 2010 at 4:19 AM, Laurent
>> > wrote:
>> >> That worked,
On Sun, Jun 20, 2010 at 7:10 PM, David Van Horn wrote:
> I've tried a few times to model the parallel one-step relation on page 55 in
> the Redex book as a reduction-relation, but I just can't seem to make it
> work. Has anyone else been able to do it?
I don't think that there is a good way to d
59 PM, Norman Gray wrote:
>
> Eli and Robby, hello.
>
> On 2010 Jun 20, at 20:49, Eli Barzilay wrote:
>
>> On Jun 20, Norman Gray wrote:
>>> Robby, hello.
>>>
>>> On 2010 Jun 20, at 17:28, Robby Findler wrote:
>>>
>>>> I'm not rea
I've added struct in as a default to the preference, but it won't show
up in yours unless you add it yourself (or reset your preferences).
Robby
On Sun, Jun 20, 2010 at 9:33 PM, Todd O'Bryan wrote:
> At least it seems to be so in the docs, but isn't in my Definitions
> pane with 5.0.
>
> Todd
>
I haven't followed this thread too closely but if you can tolerate
your "a.ss" file having a "#lang" line at the top that may make your
life overall much easier (the Racket tools all work better when you
are explicit about the language you are programming in).
Robby
___
Actually it does but it is diasabled by default. But the point was
that you would not do it that way but instead use the lang and macro
system to implement your translation.
Robby
On Monday, June 21, 2010, Valeriya Pudova wrote:
> On 21.06.2010 18:32, Robby Findler wrote:
>
> I haven
Pinholes are planned to return, indeed. But they will not return in
the way that they once were there. That is, they will be a more
advanced feature and will only come in if you explicitly start using
them (details forthcoming).
Robby
On Fri, Jun 25, 2010 at 6:51 PM, Paul Ojanen wrote:
> I got t
I don't know of one. Planet has some code that might make a good
starting point (Jacob wrote it).
Robby
On Sun, Jun 27, 2010 at 4:49 PM, Richard Cobbe wrote:
> Is there an alternative to the `command-line' form that supports the use of
> raco-style (svn-style, cvs-style, etc.) command lines, whe
Please see 'for' in the docs. Here's the relevant section of the Guide:
http://docs.racket-lang.org/guide/for.html
Robby
On Sun, Jun 27, 2010 at 8:32 PM, Brad Long wrote:
> Dear racketeers,
>
> What is the reason for not offering a looping construct in racket? For
> example, something like:
>
>
I'm having trouble seeing the bad behavior you see. One thing is that
installing racket doesn't install any planet packages, afaik. Perhaps
you can say more carefully what it was you did exactly?
Robby
On Sun, Jun 27, 2010 at 7:02 PM, synx wrote:
>
> So I was installing racket yesterday and noti
If you use File|Insert image... you end up getting an image-snip<%>
object. It is a wrapper around a bitmap% object that connects to our
editor classes. A bitmap% object is the raw bits plus a little bit of
information about it.
Probably you just want to use 2htdp/image's 'bitmap' function, tho.
(
Yeah, it will take time for us to catch up; the word "racket" has a
lot going on. But for now, at least, "racket plt" finds us. Hopefully
we'll get better over time
Robby
On Tue, Jun 29, 2010 at 8:19 PM, Mitchell Wand wrote:
> I realized I had a machine that I needed to download Racket on, s
Oh, and "racket language" is one I'm pretty sure we'll be able to take
over eventually.
Robby
On Tue, Jun 29, 2010 at 8:38 PM, Robby Findler
wrote:
> Yeah, it will take time for us to catch up; the word "racket" has a
> lot going on. But for now, at lea
Sounds like a good idea to me. (Just send it to racket-lang.org if no
one has a better idea where to point it.)
Robby
On Tue, Jun 29, 2010 at 8:42 PM, Matthias Felleisen
wrote:
>
> Could we at least get drracket.org to do things for us?
>
>
> On Jun 29, 2010, at 9:38 PM, Robb
On Wed, Jun 30, 2010 at 5:04 AM, Noel Welsh wrote:
> Look at Ikarus for example: a
> great compiler but there hasn't been a new release for 2 years.
I think Aziz has been more active than that, but just hasn't been
making formal releases.
Robby
_
You want to create a tool, add in a frame-mixin (both via the tools
interface), and then use the frame:basic<%> mechanism for adding
panels to the frame.
If that's not enough to get you started, I'll write up a little
example tool that does it.
Robby
On Wed, Jun 30, 2010 at 8:30 AM, Stephen De G
I'm regularly using an HP mini-note. The nearly full size keyboard
makes a difference for me, as does the extra screen resolution, but it
is pricy for a netbook.
It can only drive an external display at 640x480, tho. The ubuntu
netbook remix does a nice job with the limited screen real estate, but
Sounds very advanced to me. In all seriousness, answers to those
questions are not the kind of things I would pay money for anyways.
The kinds of questions I pay money for are more like "make this thing
work again; it is broken." (which isn't a question, I know. ...)
Robby
On Wed, Jun 30, 2010 at
Man, politeness is such a racket.
Robby
On Wed, Jun 30, 2010 at 1:40 PM, Matthias Felleisen
wrote:
>
> Well, a polite person would phrase this as "could you fix this ... please?"
>
> On Jun 30, 2010, at 2:37 PM, Robby Findler wrote:
>
>> Sounds very advanced to
Okay guys. Time to move this one to cls. Scheme is a noble endeavor
and if you want to poke it with a stick, do it elsewhere.
Robby
On Thursday, July 1, 2010, Shriram Krishnamurthi wrote:
>> The only thing needed beyond creating the tarball is an
>> info.rkt file.
>
> You underestimate the Schem
Here's the original:
http://people.cis.ksu.edu/~robby/
Robby
2010/7/2 장유현
>
>
> My name is YooHyeon, Jang.
>
> 私の名前はジャンユヒョンです。
>
>
>
> _
> For list-related administrative tasks:
> http://lists.racket-lang.org/listinfo/users
>
__
I don't know if this rules out anything at all, but I am able to
download that from my home machine and my machine at my office without
it failing (I'm in Chicago, my office is in Evanston, IL and the
planet server is in Boston if that matters). I just did this:
wget -c `raco planet url bzlib da
quot;)
> ;("tabs.rkt")
> ))
>
> (define drracket-tool-names '("Cosmonaut"
> ;"Fossil"
> ;"Tabs"
> )
On Sat, Jul 3, 2010 at 6:04 PM, synx wrote:
>
> On 07/02/2010 04:12 AM, Robby Findler wrote:
>> I am able to download that from my home machine and my machine at my office
>> without it failing (I'm in Chicago, my office is in Evanston, IL and the
>> planet server
I agree that a parameter with a default is the right thing and that
the "kill the children" options should come with some warnings and
perhaps a pointer to an OS textbook for more details. The current
favorite seems to be this one:
http://csapp.cs.cmu.edu/
Robby
On Sun, Jul 4, 2010 at 10:43 AM,
That looks like the right idea to me, but I would have made
server-loop be a recursive function whose argument was 'n' and where
the function you pass to handle-event would recur with the new value
of 'n'.
Robby
On Sun, Jul 4, 2010 at 3:52 PM, Danny Yoo wrote:
> I was just reading though John Re
On Mon, Jul 5, 2010 at 8:09 AM, Matthew Flatt wrote:
> At Sun, 4 Jul 2010 21:08:33 -0400, Sam Tobin-Hochstadt wrote:
>> From a best effort perspective, I think sending the signal to the
>> process group is more custodian-like.
>
> I'm not sure I understand this suggestion, either. Do you mean that
Looks like the docs are still in collects/typed-scheme/scribblings/
Robby
On Mon, Jul 5, 2010 at 9:17 AM, Matthias Felleisen wrote:
>
> On Jul 5, 2010, at 7:19 AM, Jose A. Ortega Ruiz wrote:
>
>>
>> Hi,
>>
>> The following (contrived) typed/racket program doesn't typecheck:
>>
>> (define-struct
Yes: use put-pinhole.
But if you can cope without pinholes for a little while, do check out
2htdp/image. It is better in all other ways (and it will get pinholes
eventually).
Robby
On Wed, Jul 7, 2010 at 1:56 PM, Jos Koot wrote:
> I am impressed by ease of use teachpack/htdp/image. I have looke
ole" in the search field of the help desk only gives me:
>
> get-pinhole (method of cache-image-snip%) provided from
> mrlib/cache-image-snip
>
> jOS
>
>> -Original Message-
>> From: robby.find...@gmail.com
>> [mailto:robby.find...@gmail.com] On Beh
On Thu, Jul 8, 2010 at 10:01 AM, Matthias Felleisen
wrote:
> Do we show the GC rules in the Redex book? It would do the same.
Only in part I.
Robby
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
I think Casey's right that we need better support for this in Redex.
Robby
On Thu, Jul 8, 2010 at 10:12 AM, Matthias Felleisen
wrote:
>
>
> On Jul 8, 2010, at 11:06 AM, Robby Findler wrote:
>
>> On Thu, Jul 8, 2010 at 10:01 AM, Matthias Felleisen
>> wrote:
>&
--Original Message-
>> From: robby.find...@gmail.com
>> [mailto:robby.find...@gmail.com] On Behalf Of Robby Findler
>> Sent: 08 July 2010 14:01
>> To: Jos Koot
>> Cc: Robby Findler; us...@lists.racket-lang.org
>> Subject: Re: [racket] teachpack/htdp/image
>>
3/a) [3m]
> Jos
>
>> -Original Message-
>> From: robby.find...@gmail.com
>> [mailto:robby.find...@gmail.com] On Behalf Of Robby Findler
>> Sent: 09 July 2010 11:34
>> To: Jos Koot
>> Cc: us...@lists.racket-lang.org
>> Subject: Re: [racket] te
For those that are not familiar with "undefined behavior" in the
technical sense of language specifications, do check out this
excellent blog post by John Regehr:
http://blog.regehr.org/archives/213
[ not exactly on topic here, I know, but still worthwhile reading for
much of this crowd, I'd gu
Looks like a bug to me.
Robby
On Sat, Jul 10, 2010 at 1:27 PM, Todd O'Bryan wrote:
> When I run:
> ---
> #lang htdp/bsl
> (require 2htdp/image)
>
> (circle 50 "solid" "blue")
> ---
> I get '(instantiate (class ...) ...) rather than
That is the one, but it isn't quite ready yet for your students (as
you're discovering). If you do experiment with it and send us bugs,
however, that's great!
Robby
On Sat, Jul 10, 2010 at 5:42 PM, Todd O'Bryan wrote:
> Is there a #lang line that's equivalent to going through the menu to
> Choos
For people to stumble into it and have a little fun. :)
Robby
On Mon, Jul 12, 2010 at 8:03 AM, Stephen De Gabrielle
wrote:
> I was looking at the Algol 60 code while looking at use of the tool phases,
> and found this (prefix bd: "bd-tool.ss")).
>
> What surprised me was that is pointed to this
On Tue, Jul 13, 2010 at 2:05 PM, Greg Hendershott
wrote:
> Hey wait a second. Aren't Racket pointers a couple bits less than 32?
> Like, say, 30 bits? And that's 1 GB address space? Q.E.D. ... ?
Racket uses the "odd" pointers to represent small integers, but I
don't think that matters much her
t;
> And then the whole DrRacket 5.0 application is killed. (Same with
> DrScheme 4.2.5).
>
> It would be nice if the DrRacket environment could survive, i.e. if
> there was a barrier between the IDE and the program being run.
>
>
> On Tue, Jul 13, 2010 at 3:31 PM, Robby Findle
On Tue, Jul 13, 2010 at 6:39 PM, Greg Hendershott
wrote:
> OK mister smartypants. :)
Indeed! :)
> I set the limit back to 1024 MB.
>
> And ... it crashed again DrRacket again.
That limit is probably high enough to be ineffective as an actual
limit. I don't understand the precise connection betw
I think the tools docs is not the place to find the answer to this
one. You probably just want to make a method of the frame that returns
the menu-item% and then call it. See also define-local-member-name.
Robby
On Fri, Jul 16, 2010 at 11:34 AM, Stephen De Gabrielle
wrote:
> In the same sprit, I
How about putting it at the top-level or a module and just using 'require'?
Robby
On Thu, Jul 15, 2010 at 11:32 AM, Stephen De Gabrielle
wrote:
> Hi,
>
> I'm playing around with writing drracket tools/extensions and I'm
> having a little trouble working out how to share data between tools.
> (Es
ope
> of the mixin itself?
>
>
> S.
>
> On Friday, July 16, 2010, Robby Findler wrote:
>> I think the tools docs is not the place to find the answer to this
>> one. You probably just want to make a method of the frame that returns
>> the menu-item% and then call it. See
There is not right now. There are really only the white-on-black and
vice versa. And, sadly, the way the code is organized there is only a
Boolean preference (ie there is not a table of colors in a single
place).
Robby
On Saturday, July 17, 2010, Byron Gibson wrote:
> Hi all, is it possible to a
It is for performance reasons. Specifically you can avoid creating the
procedure over and over (if you're calling hash-ref over and over).
Robby
On Sunday, July 18, 2010, Jos Koot wrote:
>
>
>
>
>
> (hash-ref
> a-hash a-key a-value)
> In the past
> a-value was required to be a procedure.
> Now i
t;
> On Sun, Jul 18, 2010 at 2:41 AM, Robby Findler
> wrote:
>> There is not right now. There are really only the white-on-black and
>> vice versa. And, sadly, the way the code is organized there is only a
>> Boolean preference (ie there is not a table of colors in a single
&g
On Sun, Jul 18, 2010 at 1:37 PM, Neil Van Dyke wrote:
>> On Saturday, July 17, 2010, Byron Gibson wrote:
>>> Hi all, is it possible to add custom syntax highlighting color schemes
>>> to DrRacket? For example, the popular zenburn theme?
>
> I played with this briefly last night. You can indeed
ack is known, is it not?
> Thanks,
> Jos
>
>> -Original Message-
>> From: Matthew Flatt [mailto:mfl...@cs.utah.edu]
>> Sent: 18 July 2010 22:43
>> To: Jos Koot
>> Cc: 'Robby Findler'; 'plt-scheme'
>> Subject: Re: [racket] hash-ref
>&g
I believe that each syntactic occurrence of the identity function is
created separately, but maybe there is a special case for that one.
(You can always use 'values' if you want them to be identical.)
But I believe that only thunks are treated specially, not functions of
one argument.
Robby
On S
There is no difference between rotating an image around different
points in the image. (Give it a try and see!)
Robby
On Mon, Jul 19, 2010 at 10:54 AM, Mathew Kurian wrote:
> Hi guys,
>
> Hope you all having a great day.
>
> I got a question for you all.
>
> I am trying to rotate an image around
On Mon, Jul 19, 2010 at 3:37 PM, Mathew Kurian wrote:
>
>
>
> Just want to clear up thingsthe how can adjust the pinhole or the
> rotation center?
There is no pinhole. My earlier reply was trying to tell you that this
question does not make sense.
Go get a rectangle (maybe a plate in your ho
Well, the 2htdp/image library does not work like that. If you overlay
and the rotate then your background will be roated. If you rotate and
then overlay the you may place things in different (relative)
positions but you still don't get any different behavior by rotating
around different points.
Ma
I've noticed this bug too, but I think that, in the meantime, you can
just do an "in place" build. That is, create some build directory to
run configure in, but don't pass an install dir and instead let the
make install phase go directly into the plt tree where you're building
from. This works in g
Can you provide a more precise description of what is failing?
Thanks,
Robby
On Mon, Jul 19, 2010 at 7:07 PM, Todd O'Bryan wrote:
> I gave my students a bunch of images created with 2htdp/image to try
> to recreate.
>
> All of the images involving bitmaps appear as black circles on Windows.
>
>
On Mon, Jul 19, 2010 at 8:39 PM, synx wrote:
>> but don't pass an install dir and instead let the
>> make install phase go directly into the plt tree where you're building
>> from. This works in general and is probably easier to deal with than a
>> separate install directory.
>
> I... huh? You mea
Jul 20, 2010 at 12:07 AM, Mathew Kurian wrote:
> @
>
> Robby Findler
>
> : I see what you mean. But in this example given by Paul Ojanen
> (require 2htdp/image)
> (require 2htdp/universe)
>
> (define BACKGROUND (rectangle 100 100 "outline" "white&q
menu--)
>
> In interactions, do
>
>> (image-beside BLAH BLAH)
> pretty picture appears
>
> Select pretty picture. Choose copy. Paste up into Definitions window.
> Instead of pretty picture, black circle appears. (And it's a weird
> circle that covers up parts of the
One, non-optimal way to get the contracts is to evaluate the module
and use object-contract on the exports (non-optimal because dependent
contracts will have ...s in them, etc).
Robby
On Wed, Jul 21, 2010 at 4:26 AM, Matthias Felleisen
wrote:
>
> Thou shall ask and receive. Thanks!
>
> Can I get
You seem to be relying on identity of procedures (which is a bad
idea). Contracts on functions are implemented with wrappers which
breaks that by making fewer things equal but compiler optimizations
can take things the other direction making more things equal than you
might expect.
Overall I think
On Wed, Jul 21, 2010 at 8:33 PM, Jon Rafkind wrote:
> On 07/21/2010 05:26 AM, Robby Findler wrote:
>>
>> One, non-optimal way to get the contracts is to evaluate the module
>> and use object-contract on the exports (non-optimal because dependent
>> contracts
rmining whether
> two objects are the same. And since both test? and test2? are exposed via a
> module, i.e. they are "fixed" once exposed outside of module, whether
> contracted or not - I would have expected eq? would return #t for both cases
> in REPL.
> Am I misundersta
On Thu, Jul 22, 2010 at 3:27 AM, John Sampson wrote:
> I haven't really found my way round the documentation yet. I find that if I
> want to look up "directory-exists?"
> using Google in Mozilla Firefox is the best way.
That is probably not the best thing to do.
Instead, let me recommend that yo
We could make the blame information available. Would that help?
Robby
On Thu, Jul 22, 2010 at 11:33 AM, Stevie Strickland
wrote:
> Yeah, I do know that. We only hang the contracts on things that are wrapped.
> This means that you'll also see the same behavior on contracts that involve
> immu
On Thu, Jul 22, 2010 at 11:47 AM, Stevie Strickland
wrote:
> On Jul 22, 2010, at 12:41 PM, Robby Findler wrote:
>> We could make the blame information available. Would that help?
>
> I'm not sure what you mean by this. Could you elaborate?
An object with a contract could, i
If you define the images at the top-level of your program and then
just refer to the variables, that is what will happen. It may or may
not speed up drawing, however, depending if what is slow is the actual
drawing or not.
Performance debugging is not as easy as writing the program in the
first pl
On Thu, Jul 22, 2010 at 8:21 PM, Mathew Kurian wrote:
> If someone has a bit of spare time, can he/she explain how these images are
> loaded (time, allocation, garbage collection, etc) and then reproduced again
> during the redraws, it would be extremely useful.
That particular aspect of the syst
0 at 9:27 PM, Robby Findler
> wrote:
>>
>> On Thu, Jul 22, 2010 at 8:21 PM, Mathew Kurian
>> wrote:
>> > If someone has a bit of spare time, can he/she explain how these images
>> > are
>> > loaded (time, allocation, garbage collection, etc) and the
The read-decimal-as-inexact parameter allows you to change read's
behavior in this way. Is that what you're looking for?
Robby
On Fri, Jul 23, 2010 at 1:20 AM, Neil Van Dyke wrote:
> This is just a small idea, not something I'd argue for strongly...
>
> How about making numbers formatted with de
t the default, I don't think I would object against Neil's
> proposal.
> Nevertheless a constant such as pi should remain inexact, I think.
> Robby findler already mentioned read-decimal-as-inexact.
> Jos
>
>> -Original Message-
>> From: Stephen Bloch [mailto
On Fri, Jul 23, 2010 at 7:40 AM, Neil Van Dyke wrote:
> Robby Findler wrote at 07/23/2010 08:09 AM:
>>
>> The read-decimal-as-inexact parameter allows you to change read's
>> behavior in this way. Is that what you're looking for?
>
> Yes (with the addition of
I think that is not supported in our toolkit at the moment. You can
draw everything transparently, but the window itself will color in its
background somehow. Matthew Flatt is working on a new version of the
low-level GUI toolkit, and perhaps when that is done, he'll be in a
better position to inte
The short answer: load really has no place. Use require (and provide).
The slightly longer answer: load is simply just reading in expressions
and calling eval on them, one at a time. So you really want to know
what 'eval' does. There is a section on this in the Guide that is a
good starting point
Congrats!
Robby
On Sat, Jul 24, 2010 at 9:55 PM, Wayne Iba wrote:
> Sorry for the (mostly) off-topic post but I couldn't resist sharing this
> photo with you'all.
> --Wayne (we now return you to your regularly scheduled programming)
>
> _
> For li
2010/7/26 Laurent :
>
>
> On Mon, Jul 26, 2010 at 14:43, Matthew Flatt wrote:
>>
>> At Mon, 26 Jul 2010 14:29:57 +0200, Laurent wrote:
>> > The reader cannot read # forms (is this the right term?).
>> > When the interaction window is in constructor mode, for (build-path "a"
>> > "b"), it writes #,
On Mon, Jul 26, 2010 at 8:46 AM, Laurent wrote:
>
>> >> Since there was no right answer, we decided not to pick either of them.
>> >> The lack of a `read'able form is a weak hint to programmers that they
>> >> need to look closely at the question.
>> >
>> > Thanks, I understand.
>> > Maybe we coul
Sorry for the long delay in replying. There isn't a good way to do
what you want (I'd hoped to find time to add one which is the reason
for the delay, but that's looking unlikely I'm sorry to say).
The best thing is probably to queue a low-priority callback from the
place where you're calling relo
On Sat, Jul 31, 2010 at 10:00 AM, Matthias Felleisen
wrote:
>
> Shriram's proposal and a private conversation with Mike suggested the
> following feature requests for the drracket teaching languages:
>
> 1. Could drracket limit the width of programs in the teaching language world
> to 80 columns
On Sat, Jul 31, 2010 at 10:30 AM, Matthias Felleisen
wrote:
>
> On Jul 31, 2010, at 11:19 AM, Robby Findler wrote:
>
>> On Sat, Jul 31, 2010 at 10:00 AM, Matthias Felleisen
>> wrote:
>>>
>>> Shriram's proposal and a private conversation with Mike sugge
Thinking as someone who would be implementing these changes, I can
easily see a whole slew of bug reports coming in of the form "When I
save my file DrRacket moves all the lines around. What's going on?!".
So, while I agree that there is something to be done here vis a vis
indentation help in the P
ny movement whatsoever.
> Students would see movement for a short time. Then they'd follow
> the flow.
>
> -- Matthias
>
>
>
>
>
> On Jul 31, 2010, at 2:25 PM, Robby Findler wrote:
>
>> Thinking as someone who would be implementing these changes, I can
>
On Mon, Aug 2, 2010 at 7:25 AM, Matthias Felleisen wrote:
>
> On Aug 2, 2010, at 7:21 AM, Horace Dynamite wrote:
>
>> I don't understand why instructors can't just explain to students what
>> style they should write in, and shout at them when they unnecessarily
>> break the style. This seems like
One possible source of confusion: begin that appears at the top-level
(of a module or in the REPL) or in a definition context (like the body
of a let expression or lambda expression) is treated specially from
other begins; specifically, it is treated as if the contents of the
begin were separate ex
On Sat, Jan 2, 2021 at 4:34 PM Dominik Pantůček <
dominik.pantu...@trustica.cz> wrote:
> Hello Racketeers (and Robby especially)!
>
> On 22. 12. 20 1:30, Robby Findler wrote:
> > Is Typed Racket able to prove that your use of unsafe accessors is
> > actually safe?
>
I think this boils down to a question about how redex executes judgment
forms. Leaving aside modeless judgment forms (where redex will only check a
derivation for you but won't ever make them up), redex is turning each
judgment form into a (fancy) function from the inputs to sets of the
outputs and
If you open a file that requires scribble/manual with the module browser
(available via the Racket menu item in DrRacket), you'll see that ssl is
needed by the code that opens urls (presumably to do https) which is needed
by the code that handles planet requires (since planet requires may involve
h
I didn’t know about the module browser, thanks! And I guess this chain
> makes sense.
>
> --
> Sent from my phoneamajig
>
> On Jan 4, 2021, at 16:27, Robby Findler wrote:
>
>
>
> If you open a file that requires scribble/manual with the module browser
> (available v
I think a good first question here is "what do you want to happen when you
are running the program from outside DrRacket?". DrRacket is, in a general
sense, designed to reflect extra information about how a program runs when
it can glean that information, but it isn't meant to be the only way that
hy.
>
> I defined *notinenv* as a simple metafunction just for testing:
> (define-metafunction FS
> notinenv : env-ß x -> any
> [(notinenv (((x -> _) ß_1 ...) env-ß ...) x) #f]
> [(notinenv ((ß_1 ...) env-ß ...) x) #t])
>
> Thank you :)
>
> A segunda-feira,
I'm no expert on algebras, but I think the way to work on this is not to
think "what Racket constructs are close that I might coopt to express what
I want?" but instead to think "what do I want my programs to look like" and
then design the language from there, reusing libraries as they seem helpful
1 - 100 of 2622 matches
Mail list logo