Re: [racket-users] distributed computation support for handin-server?

2018-10-24 Thread Tom Gillespie
That is inviting the students with a more hackerish mentality to find ... alternative ways of scoring points. Probably better to not even entice them with the possibility, given the bureaucratic headaches that it could cause. Tom On Wed, Oct 24, 2018 at 11:11 PM 'John Clements' via Racket Users <

Re: [racket-users] distributed computation support for handin-server?

2018-10-24 Thread 'John Clements' via Racket Users
Another random thought; has anyone thought of pushing this out to the student computer, by supplying students with a hopefully-opaque executable that runs the tests on a student program and then outputs a digitally signed test result? John > On Oct 23, 2018, at 21:50, Greg Hendershott wrote:

Re: [racket-users] Built-in function for accessing fields of a composite type

2018-10-24 Thread Hassan Shahin
Many thanks Matthew! I couldn't believe I missed that. These are given for free. Yes. BTW, I am a big fan. Best On Thursday, October 25, 2018 at 5:12:13 AM UTC+3, Matthew Flatt wrote: > > Since `tag` is the constructor name and `children` is the field name, > `tag-children` is defined as the ac

Re: [racket-users] Built-in function for accessing fields of a composite type

2018-10-24 Thread Matthew Flatt
Since `tag` is the constructor name and `children` is the field name, `tag-children` is defined as the accessor function for the `children` field. I recommend using `type-case`, though. At Wed, 24 Oct 2018 19:05:44 -0700 (PDT), Hassan Shahin wrote: > using #lang Plait, I have defined these two ty

[racket-users] Built-in function for accessing fields of a composite type

2018-10-24 Thread Hassan Shahin
using #lang Plait, I have defined these two types: (define-type Property (property [name : Symbol] [value : (Boxof Symbol)])) (define-type Tag (tag [name : String] [id : String] [properties : (Listof Property)] [value : Content-Type] [children : (Boxof (Listof Tag))

Re: [racket-users] "Dynamic-wind record doesn't match prompt!" error

2018-10-24 Thread Matthew Flatt
At Wed, 24 Oct 2018 08:09:09 -0400, Christopher Lemmer Webber wrote: > > Meanwhile, if you're game to try RacketCS, I'd be interested to hear > > whether it behaves any differently. RacketCS has a more reliable > > implementation of delimited continuations. > > Oh interesting. I am interested in

Re: [racket-users] "Dynamic-wind record doesn't match prompt!" error

2018-10-24 Thread Christopher Lemmer Webber
Matthew Flatt writes: > At Tue, 23 Oct 2018 17:24:38 -0400, Christopher Lemmer Webber wrote: >> Somehow I'm triggering this error in Goblins. >> >> ; Dynamic-wind record doesn't match prompt! >> >> I am doing some things with delimited continuations. I'm guessing >> that's related, but I'm not

Re: [racket-users] "Dynamic-wind record doesn't match prompt!" error

2018-10-24 Thread Christopher Lemmer Webber
Yes I do. Effectively I want to support message passing across distributed & asynchronous systems which supports the appearance of sequential code, even though it's really suspending and then waking back up again when a response becomes available. So running something like: (<<- my-actor 'some