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: 


— Matthias

> On Aug 25, 2017, at 8:46 AM, Laurent <laurent.ors...@gmail.com> 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 <matth...@ccs.neu.edu> 
> wrote:
>> On Aug 25, 2017, at 7:43 AM, Laurent <laurent.ors...@gmail.com> 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 racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to