Hi devs, Just a quick thought: We can create requests from the script language, then pass it to a request based source such as a queue, who might play them, destroy them. After which they should not be used anymore (we might get crashes, or at least a broken behavior) but this is not enforced in the script language.
Of course enforcing resource usage via typing is hard (for the designer or the language but also for the user) and I had in fact given up on it for "time zones/boxes" (giving exclusive use of a subset of the sources' graph to one operator, e.g. cross(), so it can "clock" the subgraph as it likes), but this makes me think we might want to consider these issues more seriously. Happy new year, -- David ------------------------------------------------------------------------------ Throughout its 18-year history, RSA Conference consistently attracts the world's best and brightest in the field, creating opportunities for Conference attendees to learn about information security's most important issues through interactions with peers, luminaries and emerging and established companies. http://p.sf.net/sfu/rsaconf-dev2dev _______________________________________________ Savonet-devl mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/savonet-devl
