Jocaml is fascinating. It's a concurrent distributed-programming language & runtime based on the join calculus (which if I had to describe it would be "pattern matching over processes", a pretty nifty idea in itself). I looked at it fairly briefly in college and it seemed really interesting, but wasn't mature enough to really do much with. Given how it's popping up now, that may have changed...