On 8 February 2012 05:46, Andy Wingo <wi...@pobox.com> wrote: >> I presume the final version will include a type and empty-ness >> predicate also? > > A type predicate, yes. And some other things; see > wip-threaded-web-server. > > Would you find an emptiness predicate useful? It sounds like one of > those things that introduces time-of-check-to-time-of-use bugs.
I guess most situations would be served better by try-pop.
