Re: [racket-users] "bad variable linkage" after restarting handin server under load

2015-11-25 Thread Robby Findler
The stomping on I was worried about would happen at a lower-level as I don't think that, in general, dynamic-require is thread-safe. After all, it loads and runs arbitrary code, altho in this case it appears to be a system level lack of thread safety? I'm still not completely sure, but since you s

Re: [racket-users] "bad variable linkage" after restarting handin server under load

2015-11-25 Thread Robby Findler
I don't know what's going on here, but could it be that two threads are, in parallel, trying to load the same implementation of an unloaded checker and then stomping on each other? The file handin-server/private/reloadable has some dynamic-requires without appropriate syncronization around them, a

Re: [racket-users] Re: Unneeded console window when running a Racket Windows executable

2015-11-22 Thread Robby Findler
Possibly you were printing something out? If you have expressions that produce non-void results at the top of a "#lang racket" program, they will print out, which can trigger creation of the console window. Robby On Sun, Nov 22, 2015 at 4:41 PM, Champignac wrote: > On Sunday, 22 November 2015 16

Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-20 Thread Robby Findler
On Fri, Nov 20, 2015 at 4:38 AM, Josh Grams wrote: > On 2015-11-17 06:43AM, Robby Findler wrote: >>On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams wrote: >>> - DrRacket: is there some way to set a key binding to rename a *variable*? >> >>c:x;m under mac os x. You may

Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-17 Thread Robby Findler
On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams wrote: > I've spent a week or two with 2htdp/universe in preparation for doing a > little intro to Racket talk. And...I have a few little things: > > - DrRacket: is there some way to set a key binding to rename a symbol? > It's annoying that I have to

Re: [racket-users] DrRacket just crashed 3 times in a row in quick succession so far

2015-11-15 Thread Robby Findler
15 PM, Alex Knauth wrote: > >> On Nov 15, 2015, at 6:06 PM, Robby Findler >> wrote: >> >> So it is probably something about the program you are editing, then. >> Can you get a segfault is you run it from the command line (or just >> compile it)? > > No

Re: [racket-users] DrRacket just crashed 3 times in a row in quick succession so far

2015-11-15 Thread Robby Findler
So it is probably something about the program you are editing, then. Can you get a segfault is you run it from the command line (or just compile it)? Robby On Sun, Nov 15, 2015 at 4:57 PM, Alex Knauth wrote: > That seems to keep it from happening. > > >> On Nov 15, 2015, at

Re: [racket-users] DrRacket just crashed 3 times in a row in quick succession so far

2015-11-15 Thread Robby Findler
What if you disable background expansion? Robby On Sun, Nov 15, 2015 at 3:52 PM, Alex Knauth wrote: > I've gotten it several more times now, and it seems to happen in response to > me typing something, but it doesn't happen when I type one character, then > save, then type another character.

Re: [racket-users] syntax-original? always returns #f within syntax transformers?

2015-11-11 Thread Robby Findler
Hi Thomas: thank you for participating in the Racket community and submitting reports that help us improve the docs and the implementation. Love & Peace, Robby On Wed, Nov 11, 2015 at 12:00 PM, Thomas Dickerson wrote: > On Tuesday, October 27, 2015 at 7:24:55 AM UTC-4, Matthew Flatt wrote: >> T

Re: [racket-users] How to get information about where an error occurs, in a stack trace context?

2015-11-08 Thread Robby Findler
How much memory do you have on your machine? 0.25 seconds per keystroke sounds worse than expected. Robby On Sun, Nov 8, 2015 at 8:18 PM, Nota Poin wrote: > On Monday, November 9, 2015 at 1:38:56 AM UTC, Matthias Felleisen wrote: >> Use drracket. > Yeah, I would, but it takes about 30 seconds to

Re: [racket-users] Evaluating whatever expression halfway a debugging session

2015-11-04 Thread Robby Findler
I think it woudl be kind of cool to add abort and call/cc (plus a good set of delimited operators, of course) to ASL or to define ASL+ as including those. (Or maybe ASL-- and take out state?) I can see John's point about the work involved, but it is hard to imagine a better learning environment fo

Re: [racket-users] More concise testing in PLT Redex? (new redex-chk pkg)

2015-11-04 Thread Robby Findler
Very cool! On Wednesday, November 4, 2015, Andrew Kent wrote: > Dear other PLT Redex users, > > Do you have any clever tricks/tools to make testing in PLT Redex > more palletable? I was finding some of my tests had a lot more > boiler-plate text than actual test-relevant code. I would love to >

Re: [racket-users] let/define

2015-11-02 Thread Robby Findler
Yeah, perhaps I've drunk too much of the koolaid, but I'm not even seeing an alternative interpretation that makes any sense! Does it help to see the arrows in DrRacket? In particular the upward pointing one that points at the 'y' in display's argument? Robby On Mon, Nov 2, 2015 at 6:32 PM, Ale

Re: [racket-users] Redex: call for alpha-equivalence beta testers

2015-10-28 Thread Robby Findler
It was merged. Robby On Wed, Oct 28, 2015 at 10:55 AM, William J. Bowman wrote: > Did Paul's work just get merged into the main Redex package, or did this > just get pushed to the wrong place? > > -- > William J. Bowman > > On Wed, Oct 28, 2015 at 10:25:37AM -0500,

Re: [racket-users] Redex: call for alpha-equivalence beta testers

2015-10-28 Thread Robby Findler
st.rkt:324:3 > > I notice that substitute recently changed to a metafunction--which is > handy--and requires (default-language) be set. According to the > documentation, (default-language) is only set inside metafunction and > judgment-forms, *not* reduction-relations. Perhaps this is

Re: [racket-users] syntax-original? always returns #f within syntax transformers?

2015-10-27 Thread Robby Findler
syntax-original? is querying a private property and that property isn't set on the syntax object argument given to the transformer. (I would have said because of the extra mark that's put on the argument, but that's not happening now, but we get the same behavior anyway.) If you call syntax-local-

Re: [racket-users] DrRacket fill-paragraph?

2015-10-25 Thread Robby Findler
und > to 'reindent-paragraph' which I had not found yet - If only I had searched > 'paragraph'!) and I should be able to work with that and apply my own > keybindings if necessary. > > Thanks for the help and sorry for the noise! > > -Andrew > > On Su

Re: [racket-users] DrRacket fill-paragraph?

2015-10-25 Thread Robby Findler
ile in OS X and > Ubuntu, and it works in OS X, but not Ubuntu). > > On Sun, Oct 25, 2015 at 6:44 PM Robby Findler > wrote: > >> DrRacket has that when editing scribble files but not other ones. Is that >> what you found? >> >> Robby >> >> >&g

Re: [racket-users] DrRacket fill-paragraph?

2015-10-25 Thread Robby Findler
DrRacket has that when editing scribble files but not other ones. Is that what you found? Robby On Sunday, October 25, 2015, Andrew Kent wrote: > I know I've pressed meta-q in DrRacket and gotten the Emacs > 'fill-paragraph' behavior (where it automatically wraps your text at ~70 > characters o

Re: [racket-users] Getting the "require" syntax arrows to work right

2015-10-24 Thread Robby Findler
ningful than I initially thought—just because > it’s a “private” property doesn’t mean macros can’t generate new syntax > objects that are considered to be “original”? > > Anyway, thanks for your quick response! All seems to be well now. > >> On Oct 24, 2015, at 12:29 PM, Robby

Re: [racket-users] Getting the "require" syntax arrows to work right

2015-10-24 Thread Robby Findler
Maybe you need to copy over the properties too? This seems to work: #lang racket/base (require (for-syntax racket/base)) (define-syntax (import stx) (syntax-case stx () [(_ (a b)) #`(require #,(datum->syntax stx (string->symbol (format "~a/~a" (syntax-e

Re: [racket-users] DrRacket indentation adds spaces to empty non-top-level lines?

2015-10-21 Thread Robby Findler
; > On Wed, 21 Oct 2015 15:17:43 -0500, > Robby Findler wrote: >> >> Well, one part of the answer is that DrRacket indents empty lines so >> when type something like "(define (f x)x" the second "x" is in >> a reasonable place. Perhaps it could behave

Re: [racket-users] DrRacket indentation adds spaces to empty non-top-level lines?

2015-10-21 Thread Robby Findler
Well, one part of the answer is that DrRacket indents empty lines so when type something like "(define (f x)x" the second "x" is in a reasonable place. Perhaps it could behave differently, but auto-indent-on-return seems less surprising than auto-indent-when-typing-a-character-on-a-whitespace-line.

Re: [racket-users] Text-compatible collapsing of S-expressions

2015-10-20 Thread Robby Findler
Unfortunately I'm afraid there isn't anything like that currently. Robby On Tue, Oct 20, 2015 at 11:20 AM, JCG wrote: > The DrRacket editor allows me to nicely collapse s-expressions. However, the > format of the file ceases to be useful source text, rendering it useless in > non-current-rac

Re: [racket-users] Slideshow in HD

2015-10-19 Thread Robby Findler
It isn't that it assumes a display size of 1024x768. That's really more of an aspect ratio than anything. When you run the slideshow, it will scale everything to fit (and use big black bars to preserve the aspect ratio). What happens if you just try it out on a big screen? Or are you saying that

Re: [racket-users] Error requiring library from PlaneT : tcp-connect forbidden client access

2015-10-16 Thread Robby Findler
ge (again?), the message has gone. Ok, I just got confused by that > message... and why it didn't go away after installing the package manually > via 'raco planet fileinject' > > > -----Original Message- > From: Robby Findler [mailto:ro...@eecs.northwestern.edu ] >

Re: [racket-users] Error requiring library from PlaneT : tcp-connect forbidden client access

2015-10-16 Thread Robby Findler
Are you seeing this error in the red line along the bottom of DrRacket? If so, that is because the online expansion tool prohibits network connections during compilation. (This message should go away after the package is installed, however.) Robby On Fri, Oct 16, 2015 at 8:31 AM, Alexey Cherkaev

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Robby Findler
I love this message. Highlight of my day. :) On Wednesday, October 14, 2015, Neil Van Dyke wrote: > We are conducting a highly scientific poll. > > The question we want to answer is whether people would like for the Racket > standard languages to have symbols that begin with the colon character

Re: [racket-users] Naming for generalization of find-min and find-max?

2015-10-12 Thread Robby Findler
That's a great name. :) Robby On Mon, Oct 12, 2015 at 4:59 PM, Greg Hendershott wrote: > Oh, I love a good bikeshedding thread! ;) > > I think JCG nailed it: > > most > > - It's not excessively numeric. > > - Unlike "best" it's not judge-y or normative. > > - The polarity isn't _too_ weird f

Re: [racket-users] Naming for generalization of find-min and find-max?

2015-10-12 Thread Robby Findler
Ah, sorry Alex. I mean "maximal" in the sense of this wikipedia page (and also how I was taught in math class, so definitely a "mathy" word(!)): https://en.wikipedia.org/wiki/Maximal_element Robby On Sun, Oct 11, 2015 at 9:48 PM, Alex Knauth wrote: > > On Oct 11, 2015, at 10:41 PM, Nadeem Abdul

Re: [racket-users] setting default font face and size for a text%

2015-10-12 Thread Robby Findler
That will work for newly typed text. Other code might changed the style and copying and pasting styled text may change it. You can use after-insert to change the style for those cases. Or maybe you want to allow that. There is also, in the framework, editor:standard-style-list which uses a global

Re: [racket-users] Naming for generalization of find-min and find-max?

2015-10-11 Thread Robby Findler
Find-best is right to me. The "best" under < is the most negative number. Find-maximal is also okay and slightly more accurate. Robby On Sunday, October 11, 2015, Alex Knauth wrote: > Hi, > > Alexis King and I were discussing adding versions of argmin and argmax to > the alexis/collection libra

Re: [racket-users] built with racket web-badge?

2015-10-08 Thread Robby Findler
On Thu, Oct 8, 2015 at 6:05 PM, 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > > Curiously, I think we’re still incorporated as PLT Scheme, Inc. > No, the name is officially "PLT Design Inc." (no comma). Robby -- You received this message because you are subscribed

Re: [racket-users] built with racket web-badge?

2015-10-08 Thread Robby Findler
Oh yeah? Well _I_ promote him to Grand Chief Design Office (GCDO) though the powers bestowed on my by our CEO (little does he care). Robby On Thu, Oct 8, 2015 at 1:04 PM, Matthias Felleisen wrote: > > On Oct 8, 2015, at 12:06 PM, "'John B. Clements' via Racket Users" > wrote: > >> I am not vo

Re: [racket-users] planet questions

2015-10-08 Thread Robby Findler
On Thu, Oct 8, 2015 at 9:18 AM, Matthew Flatt wrote: > At Wed, 7 Oct 2015 17:35:44 -0700 (PDT), Anurag Mendhekar wrote: >> Having just submitted my first contribution to Planet > > [Note: We use the name "Planet" for an older package system. I see that > you uploaded a package in the new system; a

Re: [racket-users] Standardizing the threading macro and organizing packages

2015-10-08 Thread Robby Findler
In addition to agreeing with you and Sam here Alexis, I would like to point out another thing that has worked well for Racket in design situations such as these: benevolent despotism. That is, the person in charge of the design is expected to fully and deeply understand what they have designed and

Re: [racket-users] planet questions

2015-10-08 Thread Robby Findler
Also, I would suggest that you use the package system, not planet for new packages. Planet is a system we plan to continue to maintain, but the package system is the future (and the present, really). You can read more about how to get started here: http://docs.racket-lang.org/pkg/index.html Robby

Re: [racket-users] (atanh -2) -> +nan.0

2015-10-07 Thread Robby Findler
They are the same number, no? -> (= (make-rectangular -2 0) -2) #t -> (complex? -2) #t Robby On Wed, Oct 7, 2015 at 10:07 AM, Tony Garnock-Jones wrote: > On 10/07/2015 10:19 AM, Brian Adkins wrote: >> If I instead call: (atanh (number->float-complex -2)) I do get a >> complex result. > > I wa

Re: [racket-users] DrRacket plugins: getting language of current editor

2015-10-04 Thread Robby Findler
Yes that is how you get it. But I think that maybe instead you should use the save-port method of the editor. That's how you get what drr puts into the files it saves. You should get the metadata and the "only wxme format when there are images" behavior. Robby On Sunday, October 4, 2015, Paolo G

[racket-users] Re: Redex: call for alpha-equivalence beta testers

2015-09-25 Thread Robby Findler
On Friday, September 25, 2015, Paul Stansifer wrote: > Thanks for trying it out! It's exciting to have a user! The broken example > is now fixed on GitHub. > > On Thursday, September 24, 2015 at 5:07:22 PM UTC-4, William J. Bowman > wrote: > > ... > > > > 1. It was not obvious to me that /binding

Re: [racket-users] Redex, traces and Graphviz

2015-09-23 Thread Robby Findler
Yes, but only in a fairly complex way. Your rendering function would have to call out to graphviz, get the results back as a png, use read-bitmap to get the png back into Racket, create an image snip and then insert that into the editor, using the more complex version of the `pp` argument. Here's

Re: [racket-users] Generating preorders

2015-09-22 Thread Robby Findler
Also: for building enumerations, check out the data/enumerate library. On Tuesday, September 22, 2015, Vincent St-Amour < stamo...@eecs.northwestern.edu> wrote: > Hi Erich, > > I haven't looked at your code in detail, but found a few potentially > relevant bits of info on Wikipedia. > > First, it

Re: [racket-users] Racket poster

2015-09-20 Thread Robby Findler
On Sun, Sep 20, 2015 at 5:52 PM, Neil Van Dyke wrote: > Matthias Felleisen wrote on 09/20/2015 05:46 PM: >> >> Can we please stay away from politics and leaning on politics? >> I am sure everyone has different connotations with these kinds >> of symbols. >> > > I have a similar aversion to the Gra

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-19 Thread Robby Findler
>> This benchmark suggests about a 10x speed difference when the symbols are >> different: http://pasterack.org/pastes/94877 >> >> Sam >> >> >> On Thu, Sep 17, 2015, 9:52 PM Robby Findler >> wrote: >>> >>> FWIW, if you use equal? in thos

[racket-users] Redex: call for alpha-equivalence beta testers

2015-09-19 Thread Robby Findler
Paul Stansifer has been implementing the ideas from his dissertation work in Redex and is now ready to share them with the world. Thanks to Paul, Redex languages now understand binding structure, meaning that if you write a substitution function that just blindly substitutes, it will actually prop

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-18 Thread Robby Findler
On Thu, Sep 17, 2015 at 11:35 PM, Anthony Carrico wrote: > On 09/17/2015 11:03 PM, Anthony Carrico wrote: >> Really what I'm trying to say is that the language implementation >> wants the freedom to adjust your program without having to be >> constrained by eq tests that you might do. One example

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-18 Thread Robby Findler
On Thu, Sep 17, 2015 at 11:24 PM, Anthony Carrico wrote: > But, here is an update: > > #lang typed/racket > > (require typed/rackunit) > (define foo (mcons 1 1)) > (eq? foo foo) > (check-eq? foo foo) > > And this is still broken. This might be a bug. I'll defer to the TR maintainers on that. >>

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Robby Findler
gh. > > Sam > > > On Thu, Sep 17, 2015, 10:13 PM Robby Findler > wrote: >> >> Sounds like something I would try to fix if I had time to really focus >> on the eq? semantic question :( >> >> On Thu, Sep 17, 2015 at 9:01 PM, Sam Tobin-Hochstadt >

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Robby Findler
but can be when using memq or similar. > This benchmark suggests about a 10x speed difference when the symbols are > different: http://pasterack.org/pastes/94877 > > Sam > > > On Thu, Sep 17, 2015, 9:52 PM Robby Findler > wrote: >> >> FWIW, if you use equal? in thos

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Robby Findler
heavily for symbols in everyday application code. > > Robby Findler wrote on 09/17/2015 09:27 PM: >> >> eq? on symbols is a special part of the specification and that seems >> benign to me, all things considered. The "giant hash in the sky" that >> makes sure th

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Robby Findler
eq? on symbols is a special part of the specification and that seems benign to me, all things considered. The "giant hash in the sky" that makes sure that works isn't exactly trouble free, but we seem to have it under control. Robby On Thu, Sep 17, 2015 at 8:25 PM, Neil Van Dyke

Re: [racket-users] Re: typed/racket + rackunit = trouble

2015-09-17 Thread Robby Findler
I think that we need to work harder to deemphasize eq?, and warn people that, when eq? returns #f, really you learned nothing (like you need to pretend you just didn't even call eq?). If it returns #t, then you learn something, of course. Robby On Thu, Sep 17, 2015 at 8:03 PM, Sam Tobin-Hochstadt

Re: [racket-users] Tool for typesetting PLT Redex models

2015-09-16 Thread Robby Findler
Very nice! Robby On Wed, Sep 16, 2015 at 12:29 PM, Andrew Kent wrote: > Good afternoon! > > I threw together a little bit of syntax that I find makes typesetting redex > models much more convenient. > > The package, typeset-rewriter, is located here: > https://github.com/andmkent/typeset-rewr

Re: [racket-users] Should compose be so slow?

2015-09-15 Thread Robby Findler
I think that what's happening here is that the optimizer can see that the composition you wrote out is really (lamdba (x) (+ (+ (+ x 1) 2) 3)), but it cannot see through the use of compose. In general you can use raco decompile to look at what the optimizer has done (which is how I know it didn't

Re: [racket-users] Startup times

2015-09-14 Thread Robby Findler
If you run "raco make -v cmdline2.rkt" you will see output if .zo compilation is happening. Robby On Mon, Sep 14, 2015 at 8:16 PM, John Carmack wrote: > No strace on Android, unfortunately. > > > > From: Marc Burns [mailto:m4bu...@uwaterloo.ca] > Sent: Monday, September 14, 2015 8:10 PM > To: J

Re: [racket-users] Procedure to save racket file as text file

2015-09-13 Thread Robby Findler
There are multiple different options depending on what you want to do with the data in the files. If you just want to discard any graphical information and then use the file with other tools, then this function will do that: #lang racket (require wxme) (provide (contract-out [textify (-> path-

Re: [racket-users] reload package within drracket without restarting

2015-09-08 Thread Robby Findler
Unfortunately not. Robby On Sun, Sep 6, 2015 at 3:16 PM, Martin DeMello wrote: > Hi, > > I'm working on the drracket-vim-tool, so I'm using a copy installed from my > local directory. Is there a better way to reflect changes than quitting and > restarting drracket? > > martin > > -- > You receiv

Re: [racket-users] Overriding sexp highlighting in drracket

2015-09-06 Thread Robby Findler
ides > on-paint and draws its own cursor. The insertion point does not appear to be > changed; the cursor display is just changed from a line between char@pos and > char@pos+1 to a box covering char@pos+1 > > https://github.com/takikawa/drracket-vim-tool/blob/master/private/text.

Re: [racket-users] Overriding sexp highlighting in drracket

2015-09-06 Thread Robby Findler
(add1 pos))] > > and I was trying to do the same for highlighting the sexp when the cursor is > over the closing ), but I can't figure it out. > > martin > > On Sun, Sep 6, 2015 at 5:00 PM, Robby Findler > wrote: >> >> I am not quite following wha

Re: [racket-users] Overriding sexp highlighting in drracket

2015-09-06 Thread Robby Findler
I am not quite following what you want to do. Can you give an example interaction? Robby On Sunday, September 6, 2015, Martin DeMello wrote: > I'm trying to override the automatic backward-sexp highlighting in > drracket to highlight the sexp based on the ) after the cursor rather than > before

Re: [racket-users] Re: Official Docker images for Racket

2015-09-03 Thread Robby Findler
This a fantastic! Thank you for the access to old versions of Racket. Robby On Thu, Sep 3, 2015 at 6:29 PM, Jack Firth wrote: >> Perhaps you could provide your Dockerfile etc. on Github so others could >> look into it and maybe give some hints. > > I've got them up at https://github.com/jackfirt

Re: [racket-users] can # structures be made transparent?

2015-09-02 Thread Robby Findler
rote: > >> On Sep 2, 2015, at 4:06 PM, Robby Findler >> wrote: >> >> I was worrying because the internal representation may change (again) so >> exposing the real constructor doesn't seem wise. But making a printer print >> what you want (or using sel

Re: [racket-users] can # structures be made transparent?

2015-09-02 Thread Robby Findler
ia Racket Users < racket-users@googlegroups.com> wrote: > > > On Sep 2, 2015, at 3:59 PM, Robby Findler > wrote: > > > > It makes sense to me to make a printer that uses URL->string. > > Actually, I kind of don’t want that... > > Here’s my use case: &

Re: [racket-users] can # structures be made transparent?

2015-09-02 Thread Robby Findler
It makes sense to me to make a printer that uses URL->string. On Wednesday, September 2, 2015, 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > It appears to me that the # structure (as e.g. from net/url) is > opaque. Is there any good reason for this? It’s kind of a pai

Re: [racket-users] How to check a place-channel for a message without blocking?

2015-08-31 Thread Robby Findler
Oh, and I should point out that I forgot about sync/timeout. If you pass 0 as the timeout, you can get the behavior you were asking for. Sorry about that. Robby On Mon, Aug 31, 2015 at 7:51 PM, wrote: > On Monday, August 31, 2015 at 4:58:01 PM UTC-7, Robby Findler wrote: >> Y

Re: [racket-users] How to check a place-channel for a message without blocking?

2015-08-31 Thread Robby Findler
Yes, right! I agree that for a simple thing like just checking availability of a message it feels like a lot. But when you get more complex syncronization patterns it scales up very nicely. Robby On Mon, Aug 31, 2015 at 6:54 PM, wrote: > On Monday, August 31, 2015 at 4:21:37 PM UTC-7, Ro

Re: [racket-users] How to check a place-channel for a message without blocking?

2015-08-31 Thread Robby Findler
The usual way to do this is by building your own syncronization pattern using an extra thread. There are situations where that isn't efficient enough, but it often works great. Threads in racket aren't heavy weight and using this "CML style" of programming is very flexible and naturally leads to ve

Re: [racket-users] side-condition's in PLT Redex... tread carefully

2015-08-28 Thread Robby Findler
+1 On Friday, August 28, 2015, Matthias Felleisen wrote: > > Yes, the inconsistency is frustrating. We are keeping it for backwards > compatibility but it should be overcome with the addition of a different > form of s-e in the future. Lucky you, we drilled ‘exampling’ and ‘testing’ > at the sum

Re: [racket-users] Re: DrRacket Scribbles OK, but can't build docs with raco

2015-08-24 Thread Robby Findler
I think you need to remove the local-require in the definition of to-file in continued-fractions.rkt. This counts as a real require for dependency purposes; it just makes the imports scoped locally. dynamic-require is the way to get a require that happens only at runtime (but in this case, if you d

Re: [racket-users] `divides?` from math/number-theory slow?

2015-08-24 Thread Robby Findler
Also, I think you'll generally find that TR performs better than plain Racket when you don't have to interoperate with Racket (i.e., no contracts). Robby On Mon, Aug 24, 2015 at 1:20 PM, Vincent St-Amour wrote: > On Mon, 24 Aug 2015 11:24:33 -0400, > Rickard Andersson wrote: >> >> With regards t

Re: [racket-users] `divides?` from math/number-theory slow?

2015-08-24 Thread Robby Findler
(if (3 . t:divides? . x) x 0))) On Mon, Aug 24, 2015 at 8:18 AM, Robby Findler wrote: > It looks to me like the slowdown isn't entirely explained by contract > checking, or perhaps TR isn't generating the contracts I would have > guessed. With the program bel

Re: [racket-users] `divides?` from math/number-theory slow?

2015-08-24 Thread Robby Findler
It looks to me like the slowdown isn't entirely explained by contract checking, or perhaps TR isn't generating the contracts I would have guessed. With the program below, I see this output cpu time: 1228 real time: 1228 gc time: 133 cpu time: 658 real time: 658 gc time: 18 cpu time: 80 real time:

Re: [racket-users] composing unquote-rewriters in redex?

2015-08-23 Thread Robby Findler
Would it work to have your code expand into uses of with-unquote-rewriter that chained things together? Alternatively, I wouldn't mind if something like that were folded into Redex itself and with-unquote-rewriters left as part of the public API for backwards compatibility reasons. And one other

Re: [racket-users] contract error raised in 6.0, but not in 6.1 and 6.2?

2015-08-20 Thread Robby Findler
Thanks! That was a bug. I've pushed a fix. Robby On Wed, Aug 19, 2015 at 5:52 PM, Matthew Butterick wrote: > Below, I think `(func 42)` should raise exn:fail:contract, because `(func > 42)` returns a number and the output contract for `func` specifies a boolean. > > And in 6.0 it does raise thi

Re: [racket-users] Redex typesetting

2015-08-18 Thread Robby Findler
(add users@ back) On Tue, Aug 18, 2015 at 3:40 PM, Robby Findler wrote: > On Tue, Aug 18, 2015 at 3:33 PM, Paul van der Walt > wrote: >> >> On 2015-08-18 at 22:02, quoth Robby Findler: >>> What happens when you run this program? Do you see the white brackets >>

Re: [racket-users] Unexpected behaviour using (render-metafunctions...)

2015-08-18 Thread Robby Findler
Thanks. I've pushed a fix to this. If you don't want to use a git-based build, you can use the keyword #:filename, to work around the bug. Robby On Tue, Aug 18, 2015 at 2:41 PM, Paul van der Walt wrote: > Hello again, > > I have a minor issue, i want to render a collection of metafunctions > i

Re: [racket-users] Redex typesetting

2015-08-18 Thread Robby Findler
as% [parent f] [paint-callback draw])) (send f show #t) On Tue, Aug 18, 2015 at 2:37 PM, Paul van der Walt wrote: > Hi Robby, > > On 2015-08-18 at 19:29, quoth Robby Findler: >>> c) can i make the Unicode approach work? It seems like The Right Thing >>>To Do.

Re: [racket-users] Redex typesetting

2015-08-18 Thread Robby Findler
On Tue, Aug 18, 2015 at 11:52 AM, Paul van der Walt wrote: > Hey Matthew, > > On 2015-08-18 at 18:16, quoth Matthew Flatt: >> The change was probably the switch from using "homemade" white-brackets >> to using the white-bracket Unicode character. > > OK, two questions: > > a) this fixes PDF genera

Re: [racket-users] Comparing (delimited) continuations in Racket

2015-08-14 Thread Robby Findler
> (1) how grey is your cat? The color of a television, tuned to a dead channel. Robby -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@

Re: [racket-users] Comparing (delimited) continuations in Racket

2015-08-14 Thread Robby Findler
For that you would have to write a (straightforward) compiler that transformed a fully expanded Racket program into another program (in that same language), inserting with-continuation-mark expressions around every subexpression. Run the transformed program. Then, at the point that you wish to comp

Re: [racket-users] Comparing (delimited) continuations in Racket

2015-08-14 Thread Robby Findler
I suppose it depends on exactly what equivalence relation you have in mind on the continuations. My best guess for a fruitful path forward would be to do something like the "hack" that you suggest below, using continuation marks to record the information you need until later to compute the equivale

Re: [racket-users] Export indentation preferences in a package's info.rkt?

2015-08-12 Thread Robby Findler
I agree this would be nice but I think the right way to approach it would be to have metadata cached (via some more generic library supporting such metadata) with exported libraries in a file near the .zo and .dep files. Then drracket can figure out what is imported and then read those files for th

Re: [racket-users] continuing after a user break

2015-08-03 Thread Robby Findler
It does seem useful. It would require some thought because the exception handler cannot escape until there is no possibility of resuming which seems like it would have UI implications. This would also cause some REPL interactions to behave differently when they are in the break-resumable context (n

Re: [racket-users] Pict circle radius

2015-07-25 Thread Robby Findler
Yeah, it's confusing. :( Robby On Sat, Jul 25, 2015 at 10:22 PM, Jack Firth wrote: > Indeed it turns out I was missing something embarrassingly obvious. I was > looking at the docs for the 2htdp/image functions, but using the pict > functions. -- You received this message because you are sub

Re: [racket-users] Pict circle radius

2015-07-25 Thread Robby Findler
Where do you see that documentation? This seems to say "diameter": http://docs.racket-lang.org/pict/Basic_Pict_Constructors.html?q=circle#%28def._%28%28lib._pict%2Fmain..rkt%29._circle%29%29 Robby On Sat, Jul 25, 2015 at 9:49 PM, Jack Firth wrote: > So the documentation says that (circle 100) p

Re: [racket-users] What limits would you put on racket?

2015-07-24 Thread Robby Findler
Just in case, you might want to check out Racket's places and futures constructs. On Friday, July 24, 2015, Dmitry Igrishin wrote: > > > 2015-07-24 2:48 GMT+03:00 Neil Van Dyke >: > >> On Racket, CL, limits, programmers... >> >> I've found that most stuff can be done in Racket, and, though I ha

Re: [racket-users] sub-range-binders

2015-07-15 Thread Robby Findler
> #lang racket > (struct foo (bar)) > (define x (foo 2)) > (foo-bar x) > > I can use the rename tool to rename bar to baz and get: > > #lang racket > (struct foo (bar)) > (define x (foo 2)) > (foo-bar x) > > > > > ~Leif Andersen > > On Wed, Ju

Re: [racket-users] sub-range-binders

2015-07-15 Thread Robby Findler
No, I don't think that this can be made to work with the current sub-range-binders. The way DrRacket thinks about this is that those are two different binders (symb and symb?), and you are renaming either one of them or the other one. It can't connect them the way you are seeming to want to connect

Re: [racket-users] TeX- and LaTeX-inspired keybindings

2015-07-14 Thread Robby Findler
It isn't set up for that but if you want to add a few that's fine. Robby On Tuesday, July 14, 2015, Prabhakar Ragde wrote: > Is there a simple way to extend the list of these and/or provide synonyms? > (DrRacket documentation, section 3.3.8.) I would like to, for example, be > able to type \and

Re: [racket-users] API function naming

2015-07-03 Thread Robby Findler
We clearly need keyboards like this: http://9gag.com/gag/5551148/the-entire-chinese-keyboard On Fri, Jul 3, 2015 at 1:43 PM, Stephen Chang wrote: >> The prefixes are based on this file: >> https://github.com/racket/gui/blob/master/tex-table/tex-table.rkt >> >> Maybe there are missing ones you're

Re: [racket-users] API function naming

2015-07-03 Thread Robby Findler
On Fri, Jul 3, 2015 at 12:52 PM, Stephen Chang wrote: > I've been going this route more, especially because DrRacket supports > autocompletion of (what it deems) unique latex prefixes. The prefixes are based on this file: https://github.com/racket/gui/blob/master/tex-table/tex-table.rkt Maybe th

Re: [racket-users] API function naming

2015-07-03 Thread Robby Findler
You also have unicode available to you. IDE support can help with this -- I think the cmd-\ for lambda has worked pretty well. Robby On Fri, Jul 3, 2015 at 12:36 PM, Stephen Chang wrote: >> What symbols have the least historic baggage? > > I've gone through this exercise a few times, and each ti

Re: [racket-users] Room for descriptions

2015-07-03 Thread Robby Findler
That sounds like it would be a very nice change. The option you want is in the view menu. Robby On Friday, July 3, 2015, Jens Axel Søgaard wrote: > Hi All, > > During the installation of DrRacket on a new laptop I realized > that the preferences dialog could need some kind of info > on each av

Re: [racket-users] DrRacket stubbornly indents code as if it were Racket

2015-06-30 Thread Robby Findler
Hi Yuhao: The Scribble indentation mode is currently implemented by adding a keymap that overrides the tab key. You can find the implementation here of the callback itself here: https://github.com/racket/gui/blob/master/gui-lib/scribble/private/indentation.rkt and the code that communicates with

Re: [racket-users] Re: Defining contracts sanely

2015-06-27 Thread Robby Findler
On Sat, Jun 27, 2015 at 6:20 PM, Aidan Gauland wrote: > On 23/06/15 00:00, Robby Findler wrote: >> On Mon, Jun 22, 2015 at 2:43 AM, Aidan Gauland: >>>> If this does what you want, it’s fine, but the define/contract is probably >>>> unnecessary, and >>&

Re: [racket-users] try a new macro expander

2015-06-23 Thread Robby Findler
Excited! On Tue, Jun 23, 2015 at 10:30 AM, Neil Toronto wrote: > On 06/22/2015 08:25 AM, Matthew Flatt wrote: >> >> At Thu, 21 May 2015 07:15:14 -0600, Matthew Flatt wrote: >>> >>> Otherwise, be prepared for me to come back in a few >>> weeks and lobby for moving to a new macro expander. >> >> >>

Re: [racket-users] no plot zooming on local build--update procedure wrong?

2015-06-22 Thread Robby Findler
Yes, sorry about that everyone. Poor planning on my part. Robby On Monday, June 22, 2015, Neil Toronto wrote: > Robby has just pushed an evil hack that makes plots and pict3ds > interactive again. > > In the future, there will be a transition to a different "interactive > values" API, but it'll

Re: [racket-users] Re: Defining contracts sanely

2015-06-22 Thread Robby Findler
On Mon, Jun 22, 2015 at 2:43 AM, Aidan Gauland wrote: >> If this does what you want, it’s fine, but the define/contract is probably >> unnecessary, and >> (define fish-freshness/c >> (flat-named-contract ‘fish-freshness/c >> (lambda (x) >> (not (eq? ….) >> Should do what you want.

Re: [racket-users] Memory indicator weird behaviour

2015-06-21 Thread Robby Findler
On Sun, Jun 21, 2015 at 5:34 PM, Bahman Movaqar wrote: > So I was experimenting with Racket 6.2, and I noted the memory indicator was > ~216MB. I pressed the "garbage collect" button and the memory jumped up to > ~440MB. > > Strange. Is it only because the memory indicator hadn't been updated

Re: [racket-users] Re: Converting a heterogenous list into a string

2015-06-21 Thread Robby Findler
If you can't do that, here's another way approach to the problem: #lang racket (define my-list '("a" 1 "b" 2.5 "c" #t "d" "hi")) (define sp (open-output-string)) (for ([k (in-list my-list)] [v (in-list (cdr my-list))] [i (in-naturals)]) (when (even? i) (fprintf sp "[~a=~a]" k v))

<    3   4   5   6   7   8   9   10   11   12   >