単一化で書いたのは、単一化の話でしたが、ほかにも面白い機能があります。X]と書くと、フツーのプログラミング言語だと、Xが未束縛で値が決まっていないと、これはエラーになります。Ozではエラーではありません。これは、部分値というもので、Ozでは値が完全に決まってない値が扱えるようになっています。そんなことを許すかというと、Ozのもつ並列・並行機能と関係があります。量スレッドがありますが、Ozにもあります。Erlangとは違って、データフロー変数というものによって、非常に簡単にスレッド間の同期が取れるようになっているのです。X]をエラーにしないのです。Xに値が入るまでこれを実行したスレッドは待ち状態になって、値が入ったら実行を再開するということで、同期が取れるようになっています。