Futures in Io automatically check to see if they're causing a deadlock! Impressive.