Marc Rieffel has provided 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/abs/math/0011063.