Novel approaches help software behave 'correctly'
It is often said that we learn the most when we make mistakes – this forces us to think deeply about how something works. Similarly, when it comes to programming, it is much easier to fix a bug when it produces an error than to ensure our programme handles all possible exceptions a priori. Given the importance, both practical and financial, of foreseeing all possible outcomes and accounting for them, numerous approaches exist to ensure programmes do not fail. However, there is plenty of room for improvement, and there are many economic incentives leading us in that direction. The EU-funded LiquidEff project is developing an extension to the Eff programming language to significantly improve the handling of Big Data.