[Ur] Compiling code at runtime

[Anand Patil]

Thanks again, guys. I'm not sure Ur is quite right for what I'm trying to
do, but it is an incredible language. I hope you get lots of users.

With best wishes,
Anand

On Sat, Oct 8, 2011 at 2:30 PM, Adam Chlipala <adamc at impredicative.com>wrote:

> Anand Patil wrote:
>
>> On Sat, Oct 8, 2011 at 2:44 AM, Adam Chlipala<adamc at impredicative.**com<adamc at impredicative.com>>
>>  wrote:
>>
>>
>>> 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?
>>
>>
>
> Sure.  You can do whatever you can normally do in C with shared object
> files on your chosen platform.
>
>
> ______________________________**_________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/**cgi-bin/mailman/listinfo/ur<http://www.impredicative.com/cgi-bin/mailman/listinfo/ur>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20111008/3ae0d6e2/attachment.html>