[Ur] Active code?

Adam Chlipala adamc at impredicative.com
Wed Jul 25 08:20:55 EDT 2012


Edward Z. Yang wrote:
> Excerpts from Adam Chlipala's message of Tue Jul 24 09:25:06 -0400 2012:
>> Does anyone else have thoughts on the right interface for this feature?
>> I think it fills an important role, increasing modularity by allowing
>> packaging of HTML fragments with the side effects needed to initialize them.
> I recently rewrote my code to no longer need rpc in active, and to need
> active to be able to return HTML, so my how the tables turn :-)
>
> What may perhaps make the most sense is to keep the restrictions, but
> let 'spawn' be called from active and lift the restrictions for the inner
> thread (since we're not attempting to join the thread back).

OK, done.



More information about the Ur mailing list