I think you could get this behavior by creating a manager thread when
you create the new kind of box. If threads are too heavyweight, though,
you can get the effect of a primitive by using `ffi/unsafe/atomic'.
At Sat, 22 Oct 2011 10:24:27 -0400, Tony Garnock-Jones wrote:
On 2011-10-22 9:43 AM,
On 2011-10-22 11:42 AM, Matthew Flatt wrote:
I think you could get this behavior by creating a manager thread when
you create the new kind of box. If threads are too heavyweight, though,
you can get the effect of a primitive by using `ffi/unsafe/atomic'.
Of course! Using a thread to manage the
2 matches
Mail list logo