Please log in to watch this conference skillscast.
This talk will look at safety in Haskell and in financial transactions in particular, before offering an introduction to basic Category Theory in the context of real world business code.
As lead of the Vodafone Germany project, Rob will talk about the work his team is doing for Vodafone Germany and UK using Haskell to revolutionise Vodafone's invoice verification and saving millions of Euros in the process.
This project uses a number of technologies to provide fault tolerant auto-scaling and parallel processing. He'll share how they sold the project to the client and how Haskell fits into that project, where more Haskell could have helped, and ultimately client satisfaction with Haskell-based deliveries.
Finally, Rob will dive into how they are utilising Category Theory to prove correctness and perform meta-programming.
YOU MAY ALSO LIKE:
Haskell and Category Theory at Vodafone
Rob is a Lead Architect and Senior Manager at Flowmo.co, a software development agency and consultancy based in Cornwall, UK. After founding a couple of tech startups Rob worked in product development for most of his career, before moving to agency-based development in the south west. He has been a technical lead on projects for clients such as Vodafone, Tesco, Foot Locker and Winsor & Newton. Rob is a specialist at delivering scalable, redundant and highly available container-based architectures; most recently for processing and storing data at scale. His current product for client Vodafone uses Haskell in combination with open source technologies to validate huge quantities of invoices per month.