Describe some trade-offs between efficiency and programcorrectness in at least two languages you know.