Thanks for the responses, Marc and Adam. On Sat, Oct 8, 2011 at 2:44 AM, Adam Chlipala <[email protected]> wrote: > Marc Weber wrote: >> >> Excerpts from Anand Patil's message of Fri Oct 07 19:08:43 +0200 2011: >> >>> >>> I'm wondering about Ur/Web's suitability as a compilation target for >>> scripting languages that are used from a web console. As a very simple >>> example, I'd like to write an Ur/Web web application featuring a text >>> entry field, in which users can paste Ur programs (perhaps using only >>> a subset of Ur), which are then compiled and executed. How feasible >>> would this be? >>> >> >> The only way to run ur dynamically is by >> - compiling ur >> - invoking ur >> using kind of proxying >> > > Not entirely true. The support for protocol plugins makes it possible to > compile shared object files and load them dynamically, in the same process > that initiated compilation. I've done this in unreleased code, so I know > it's possible. :)
Is it then possible to 'unload' and 'garbage collect' shared objects that are no longer needed? Thanks, Anand _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
