How does this differ from other next-generation web platforms like Opa? http://opalang.org/ http://opalang.org/ Also, why does this need to re-use the name of

How does this differ from other next-generation web platforms like Opa? http://opalang.org/ http://opalang.org/ Also, why does this need to re-use the name of a next-generation file synchronization tool? http://www.cis.upenn.edu/~bcpierce/unison/ http://www.cis.upenn.edu/~bcpierce/unison/