Some additional remarks about closing ports:
> Oh well. It just looked soo cool to write {Map Stream Consumer}...
The primary reason that close is currently absent from the port API is
that it is not clear what should happen when you send to a closed
port. The send operation is supposed to be asynchronous, i.e. it must
always succeed immediately. If it is possible for a port to be
closed, what should we do? Should that silently fail? If the port
is distributed, you definitely do NOT want to first check whether it
is closed (or you would not preserve the asynchronous semantics of
send delivery).
It is certainly possible to settle the issue (and permit close on
ports) but that's not been a high priority so far.
Cheers,
-- Dr. Denys Duchier Équipe Calligramme LORIA, Nancy, FRANCE - Please send submissions to users@mozart-oz.org and administriva mail to users-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/. Please send bug reports to bugs@mozart-oz.org.