Re: [racket-users] Capability security in Racket?

2015-08-27 Thread Sean Lynch
Just thought I'd give everyone an update since it's been a little while. At the moment I'm implementing my stripped-down language as a module language that exports a subset of racket/base (and probably some other modules once I get through the huge number of symbols in racket/base). Because "no glo

Re: [racket-users] Capability security in Racket?

2015-08-19 Thread Jack Firth
This idea in general is very cool, so do let us (or at least me) know when you've got a prototype working. I'm quite curious to see the inner workings. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop rece

Re: [racket-users] Capability security in Racket?

2015-08-19 Thread Sean Lynch
Thanks for the pointer, Scott! I had been slowly coming to the conclusion I was going to need to define a #lang, and I'd even run across your paper, though I was holding out hope that there was some kind of shortcut for code running in a sandbox. I definitely like the idea of being able to use "reg

Re: [racket-users] Capability security in Racket?

2015-08-19 Thread Scott Moore
Hi Sean, An alternative approach you might consider instead of relying heavily on sandboxes and namespaces is to define your own #lang where you can carefully control how different objects are allowed to communicate with each other. This approach could have two advantages: 1) you can use lighter-w

[racket-users] Capability security in Racket?

2015-08-17 Thread Sean Lynch
Hi, folks. I'd like to implement an LPMUD-like multi-user programmable environment in Racket. The idea is that an "object" would be a module plus some state, similar to a gen_server in Erlang. Objects would each live in their own sandbox and communicate with one another via message passing, probabl