Thanks Codurance for giving me the opportunity of attending Lambda World Conference 2017 last 26th and 27th October in Cádiz (Spain), a Functional Programming event consisting of two intense days:
Rúnar Bjarnason, one of the authors of the Scala red book, improvised a crash course about Category Theory during the open space and it was very absorbing how he identified objects and arrows in every category.
It's was a funny and didactic workshop, breaking the walls of concepts like Lens, Prism and Traversal (not so complex after the workshop ;)).
I attended another interesting workshop about Common Lisp by Andrew Lawson. I still remember how much I enjoyed programming in Lisp at the University, but I did not know about different implementations of Lisp, nor about the existence of Lisp machines.
I'm in this profession because of Maths, so I had fun with the talk about Maths for Programming, Fun and Creativity by Dave Gurnell and Noel Welsh.
Hadi Hariri gave an engaging talk covering Kotlin 102. And I could see how Raul Raja, Paco Estévez and Simon Vergauwen have brought the best of typed functional programming to Kotlin with their library Kategory.
My favourite speaker at the event was Zainab Ali. She talked about recursion schemes in the best pedagogical way, based on the paper Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. She showed how recursion schemes make recursion generic, removing much of the boilerplate associated with it.
Jeremy Gibbons, professor of Computing at the University of Oxford, was the star of the final keynote, showing the relation between the structure of multi-dimensional data and Naperian functors.
Do you know another technical conference which provides its own beer, functional beer?
Organizers deserve my warmest congratulations, because it was one of the best conferences I've ever attended. It was the third edition of this awesome event and, despite the high number of attendees, it kept its high quality, the personal attention and its family atmosphere. Jorge Galindo is one of the organizers and his daughter is growing at the same time as the event, getting used to face a huge audience:
Here you'll find the videos about talks.
They're awesome travel companions in this journey and I met a lot of interesting people thanks to them.
Software es nuestra pasión.
Somos Software Craftspeople. Construimos software bien elaborado para nuestros clientes, ayudamos a los desarrolladores a mejorar en su oficio a través de la formación, la orientación y la tutoría y ayudamos a las empresas a mejorar en la distribución de software.