Re: [racket-users] What's the point of make-continuation-mark-key?

2020-01-11 Thread Sam Tobin-Hochstadt
We created the continuation-mark-key data type in ~2011 to support Typed Racket. At that point, Racket had continuation mark support for more than a decade using other values as keys. Sam On Sat, Jan 11, 2020, 11:37 PM Jack Firth wrote: > That makes sense. I think the thing that seems most conf

Re: [racket-users] What's the point of make-continuation-mark-key?

2020-01-11 Thread Jack Firth
That makes sense. I think the thing that seems most confusing to me is that using the continuation-mark-key data type is *optional*. Why bother allowing arbitrary kinds of keys? On Saturday, January 11, 2020 at 8:02:44 PM UTC-8, Matthew Flatt wrote: > > It would be reasonable to generalize `chap

Re: [racket-users] Proxying websockets via web-server

2020-01-11 Thread Eli Barzilay
On Fri, Jan 10, 2020 at 9:18 PM Jay McCarthy wrote: > > I don't completely understand what you want to do. Is there a reason > you can't use the WebSocket implementation --- > https://docs.racket-lang.org/rfc6455/index.html --- and then use > normal inter-Racket communication like channels and stu

Re: [racket-users] What's the point of make-continuation-mark-key?

2020-01-11 Thread Matthew Flatt
It would be reasonable to generalize `chaperone-continuation-mark-key` to apply in cases where `chaperone-struct` could work, with similar sorts of evidence that chaperoning is allowed provided by a caller of `chaperone-continuation-mark-key`. I guess we just didn't think about it that way when `ch

[racket-users] What's the point of make-continuation-mark-key?

2020-01-11 Thread Jack Firth
Based on my reading of Continuation Frames and Marks , any value at all can be used as a key for a continuation mark. So why does make-continuation-mark-key