> easy to read/understand for humans I think many languages are actually already optimized for this. Where "reading" means reasoning about what the program doe

> easy to read/understand for humans I think many languages are actually already optimized for this. Where "reading" means reasoning about what the program does and not just reading text.