Title: Comparative Metric Semantics of Programming Languages