:-) That’s not what I meant. I think that I need to figure out how to produce two version of ‘universe’ for the non-teaching world w/o completely forking the repo: — a functional one — an object-oriented one
>From what I can tell, 2htdp/universe + image has some appeal as as simple GUI framework for simple tasks and I should accommodate this (which will also reduce the overhead). ;; - - - But, if it is about managing concurrency in GUIs, you might be interested in Syndicate, which is where research and input from Tony Garnock-Jones has taken this idea: http://syndicate-lang.org — Matthias > On Aug 25, 2017, at 8:46 AM, Laurent <[email protected]> wrote: > > It's about non-teaching, which I suspect will not be in my favour :) > > On Fri, Aug 25, 2017 at 1:31 PM, Matthias Felleisen <[email protected]> > wrote: > >> On Aug 25, 2017, at 7:43 AM, Laurent <[email protected]> wrote: >> >> Hi all, >> >> 2htdp is really neat and very useful, so thank you designers and programmers >> of 2htdp! >> >> Sometimes I wish to place the window/frame on the screen at a particular >> position, but the default sets it to (2, 2) as defined here: >> >> https://github.com/racket/htdp/blob/master/htdp-lib/2htdp/private/world.rkt#L216 >> >> I'd like the user to be able to specify these values, but I'm not confident >> about doing changes in there as there seem to be several layers in between >> big-bang and world%, and a particular DSL. >> >> I suppose a clause must be added around here: >> https://github.com/racket/htdp/blob/master/htdp-lib/2htdp/universe.rkt#L139 >> though I'm not sure what the format for a pair of numbers would be, or if it >> would be better in on-draw instead (or if parameters wouldn't be better for >> this, but 2htdp doesn't seem to use many parameters). >> >> Any advice? > > > Is this about teaching or about non-teaching uses of 2htdp? — Matthias > > > -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
