Marc Rieffel has studied a notion of noncommutative compact metric space that naturally extends the picture of unital C*-algebras as noncommutative compact Hausdorff spaces:  see http://arxiv.org/pdf/math/9906151v2 and http://arxiv.org/abs/math/0011063, for example. One should consider this answer as a supplement to the answers above citing the work of Nik Weaver et. al.