Re: [racket-dev] Universe and Redex

2011-04-23 Thread Robby Findler
On Sat, Apr 23, 2011 at 8:23 PM, Neil Van Dyke wrote: > David Van Horn wrote at 04/23/2011 09:12 PM: >> >> was to define the language of client to server messages as a Redex >> language and then use Redex's random term generation to stress test our >> server. > > Would be interesting to see how th

Re: [racket-dev] Universe and Redex

2011-04-23 Thread Neil Van Dyke
David Van Horn wrote at 04/23/2011 09:12 PM: was to define the language of client to server messages as a Redex language and then use Redex's random term generation to stress test our server. Would be interesting to see how this work with Redex would be framed within related work. There is a

[racket-dev] Universe and Redex

2011-04-23 Thread David Van Horn
Sam and I have been teaching a first year course on programming and our final project is a distributed, multi-player game similar to this one: http://www.gamedesign.jp/flash/dice/dice.html Students had to write clients, servers, and AI players, and during our final exam period, we're going