Lambda World Cadiz - Stay Tuned

Meet The Workshop, A Lambda World Platinum Sponsor

Tue, 15 Oct 2019 11:00:00 +0200

Meet The Workshop, a Lambda World Platinum Sponsor

Lambda World is a non-profit event focused on bringing together the functional programming community and providing a space to learn, share ideas, and network with like-minded individuals in a fun and safe environment. This type of conference isn’t possible without the support of our sponsors. This year, we’re pleased to welcome The Workshop as a Platinum Sponsor.

The Workshop makes software that’s simple, smart, and fun! The company was born from the idea that every inventor needs a space where they can think, tinker around, and play. These experts in online gaming specialize in casino, poker, and sports betting products.

The Workshop is headquartered in Malaga and London, and they’re hiring! Take a look at some of their available positions and learn if you might be a good fit:

At the event, make sure to visit their booth to find out how they’re using functional programming, why you should consider becoming a part of their team, and for the opportunity to enter their prize raffle. They’ll be announcing the winner at 18:00 on the Joe Armstrong Auditorium stage prior to the closing keynote!

For more information about The Workshop, visit https://theworkshop.com/.

Meet Packlink, A Lambda World Platinum Sponsor

Tue, 15 Oct 2019 11:00:00 +0200

Meet Packlink, a Lambda World Platinum Sponsor

Lambda World is a non-profit event focused on bringing together the functional programming community and providing a space to learn, share ideas, and network with like-minded individuals in a fun and safe environment. This type of conference isn’t possible without the support of our sponsors. We’re pleased to have Packlink as a Platinum Sponsor again this year.

Packlink, the largest technology platform for contracting parcel shipments for individuals and companies, understands how important events like this are for the software development community. Noelia Lázaro, Packlink’s Director of Marketing explains, “Functional programming is growing both academically and in industrial areas, and for us, as a company that benefits from functional style languages like Scala, it’s very important to focus on events that are dedicated to this revived programming paradigm.”

Interested in finding out more about their company? Visit their booth in the Platinum Sponsors area to talk with part of Packlink’s engineering team about how they’re using functional programming to power their platform.

They’re also hiring! This is your opportunity to learn more about these open positions and why you might be a great fit for their team:

About Packlink:

Packlink launched in 2012 as a platform for comparing and contracting parcel shipments for individuals and companies. Hand-in-hand with the impressive eCommerce boom, Packlink has experienced rapid growth, already operating in several European markets and offering more than 300 transport services and SaaS technology for SMEs, ensuring that both individuals and companies save time and money in freight transport. The mission of Packlink is to make shipments simple and transparent for consumers, companies, and eCommerce around the world. For more information about Packlink visit www.packlink.com.

Meet ThoughtWorks, A Lambda World Platinum Sponsor

Thu, 12 Sep 2019 11:00:00 +0200

Meet ThoughtWorks, a Lambda World Platinum Sponsor

ThoughtWorks is a global software consultancy solving complex problems with technology.

They’re also hiring! This is your opportunity to learn more about these open positions and why you might be a great fit for their team:

Senior SW Developer - Barcelona
Senior SW Developer - Madrid

About ThoughtWorks:

Speaker Spotlight: Jesus Lopez Gonzalez

Tue, 20 Aug 2019 11:00:00 +0200

Spotlight on Jesus Lopez Gonzalez

Language: Scala
When: Wednesday, October 16th - 9:00

Making the most of Scala through Functional Programming by Habla Computing

You may have already experienced that Scala allows you to write programs as if you were still using Java. While this has unquestionable benefits in terms of lowering entry barriers to newcomers, it may also cause you to forget that the significant source of power for Scala lies elsewhere, namely, in its support for functional programming.

This workshop will introduce three major functional abstractions that will bring you to the next level of programming maturity: higher-order functions, type classes and monadic functions; and, more importantly, it will show you why they matter so much, i.e. how they help you to achieve unprecedented levels of reuse and modularity, while keeping your programs concise and understandable.

About Jesus:

Jesús has been programming in Scala for more than six years now. He works at Habla Computing (Madrid), where he investigates how to overcome industry problems by means of academic functional programming knowledge.

Preferred pronouns: he/him.

For more on Jesus, visit:

About Lambda World:

Lambda World takes place October 17th - 18th, in Cádiz, Spain and is hosted by 47 Degrees in conjunction with the Scala and Java communities of Spain. The event is located at the Palacio de Congresos, an old tobacco factory near the beach. You can find more details at Lambda.world

Want to see Jesus in action? Register today and join us at Lambda World!

GET TICKETS

Speaker Spotlight: Alejandro Serrano Mena

Tue, 20 Aug 2019 11:00:00 +0200

Spotlight on Alejandro Serrano Mena

Language: Haskell
When: Wednesday, October 16th - 9:00

Yin and Yang of Haskell by 47 Degrees

In this full-day workshop, you have the chance to learn how to design and build applications using Haskell, one of the better-known functional languages. Haskell shines in describing business domains in a pure way, and this purity gives fertile ground for nice abstractions for concurrency. But every application needs to talk to the outer world, hence the need to understand the other, impure, side of the coin.

This workshop is not only useful for those working in Haskell codebases. The same ideas and concepts pop up when using other languages in a pure functional manner, such as Scala with Cats/Scalaz, Kotlin with Arrow, or Swift with Bow.

Contents

The workshop is divided into three parts:

The Yin: pure modeling
- Simple modeling using algebraic data types
- Extracting dependencies into type classes
- Modeling services using monads
- Enforcing more invariants using GADTs
The Yang: impure execution
- The base model: laziness and exceptions
- Basic input/output in the IO monad
- Cheap concurrency using green threads and STM
- Streams of data: databases and message queues
- The Duality: common architectural patterns
- Functional core, imperative shell
- Onion architecture

About Alejandro:

Almost every step in my professional life has been related to functional programming in one way or another. Currently, I work at 47 Degrees. Before that, I was at Utrecht University, doing research about functional languages, and teaching our students about basic and advanced Haskell. Previously, I was involved in Nublic, a small start-up where we tried to develop the concept of a ‘personal cloud’. The project didn’t really take off, but we all learnt a lot of Scala. I really enjoy speaking to other about the niceties of functional programming. Some years ago I wrote the book ‘Beginning Haskell’, and soon I’ll be publishing ‘The Book of Monads’. I am quite active in technical conferences such as LambdaWorld or LambdaConf, meet-ups in Spain and the Netherlands, apart from more academic conferences about this topic.

Preferred pronouns: he/him.

For more on Alejandro, visit:

About Lambda World:

Want to see Alejandro in action? Register today and join us at Lambda World!

GET TICKETS

Speaker Spotlight: Victor Cacciari Miraldo

Mon, 19 Aug 2019 11:00:00 +0200

Spotlight on Victor Cacciari Miraldo

Language: CFP
When: Thursday, October 17th - 12:00

The ins and outs of Generic Programming

Generic Programming is the technique of writing programs that works over a class of arbitrary data types. That is how automatic toJSON and fromJSON are implemented in Haskell, for instance. They work by induction on the datatype they are translating to or from JSON. The variety of ways of writing generic programs can be daunting, each coming with their own pros and cons. In this workshop I will outline the ins and outs of some libraries. We will look into the trade offs and examples of each approach, including some state-of-the-art techniques. We start the journey with GHC.Generics, go into Generics.SOP and finish at Generics.MRSOP. We will cover simple examples such as generic serialization well into more complicated ones such as generic unification. These will require us to fiddle with the representation of our types and perform some operations such as annotating a recursive datatype and adding holes to a datatype in a generic fashion, which are useful in practice.

During this workshop I will walk the participants through a number of hands-on generic programming exercises aimed at teaching them a number of useful techniques which show up in practice. I expect the attendees to have some intermediate-level Haskell experience and a working Haskell distribution on their computers.

We will look into three main flavors of generic programming over regular data types and we will talk about more advanced concepts such as GADTs and Mutually Recursive families if time allows.

I will walk the participants through a number of generic algorithms, where they will be implementing a significant part of the algorithms below. The boilerplate code and stack.yaml file will be provided by me. Ideally, I would like to cover:

Generic Equality
Generic Serialization
Generic Merkle Trees (which involve annotated fixpoints)
Generic Unification (which involve adding holes to the types in question)
Testing strategies for stateful systems

About Victor:

I am a PhD candidate at Utrecht University, for four days a week, where we work on generic structural diffing algorithms, and I also work for Oracle Labs, on my fifth weekday, where I develop Blockchain technologies using Haskell. I am very interested in Functional Programming in general. I spend most of my time developing Haskell or Agda. My PhD project relies on state-of-the-art generic programming techniques and most of the time we must develop our own libraries from scratch to cater for it.

For more on Victor, visit:

About Lambda World:

Want to see Victor in action? Register today and join us at Lambda World!

GET TICKETS

Speaker Spotlight: Tomasz Heimowski

Mon, 19 Aug 2019 11:00:00 +0200

Spotlight on Tomasz Heimowski

Language: CFP
When: Thursday, October 17th - 15:15

Hands-on with SAFE Stack

SAFE Stack allows the creation of end-to-end F# web apps. Bootstrap fast using an advanced dotnet template. Use the power of F# to build outstanding client-side logic without even touching JS! Extract common code to reuse between client and server. Deploy to a selected cloud provider using built-in supporting scripts. During this workshop, we’ll build up a complete TodoMVC web application by starting from scratch, progressing through adding new features, and finally deploying to cloud.

About Tomasz:

Tomasz is a professional developer whose main areas of interest are F# and Functional Programming in general. As a Senior Software Developer at Datto he applies F# to tackle problems from various areas. In his free time, apart from contributing to OSS projects and learning new tech stuff, he enjoys lifting weights as well as dancing.

For more on Tomasz, visit:

About Lambda World:

Want to see Tomasz in action? Register today and join us at Lambda World!

GET TICKETS

Speaker Spotlight: Adam Rosien

Fri, 16 Aug 2019 11:00:00 +0200

Spotlight on Adam Rosien

Language: CFP, Scala
When: Thursday, October 17th - 12:00

Writing Programs That Write Tests: Better Testing With Scala

Writing tests is so . . . boring. And repetitive. And often, in hindsight, rather ad hoc, and therefore ineffective. We’ll learn about property-based testing using ScalaCheck: how it compares to unit testing, when is it better (or worse); learning about different families of invariants and when they are appropriate for your code; how to structure the tests using the main ScalaCheck abstractions, run them, and debug them; and how to test stateful systems. Don’t write tests! Write code that will write lots of tests!

Attendees will learn:

The differences between property-based testing and traditional unit testing
How to recognize the most common kinds of properties and encode them
How to structure, or refactor existing tests using ScalaCheck
Debugging strategies for tests
Testing strategies for stateful systems

Main audience: developers familiar with traditional unit testing, who want to learn more powerful techniques.

About Adam:

Adam Rosien is a Principal at Inner Product, focused on building systems using functional programming. He previously helped various startups in many domains develop back-end systems and implement continuous deployment practices, and also spent five years as a developer at Xerox PARC.

For more on Adam, visit:

About Lambda World:

Want to see Adam in action? Register today and join us at Lambda World!

GET TICKETS

Speaker Spotlight: Robert M. Avram

Thu, 15 Aug 2019 11:00:00 +0200

Spotlight on Robert M. Avram

Language: CFP, Clojure

A Series of Unfortunate Effects

The very essence of functional programming relies on a fairly simple premise: write side-effectless programs, so that you can reason about them equationally. Side-effects however are predominant in every program that . . . well, does something useful. In light of this, the modelling of effects in functional programs has become a fairly active domain of study. From stacked effects, to horizontal ones; from transformers to free monads and so on. Every effect model, though joyfully they may seem, have some rather unfortunate consequences. In this talk, I’d like to share with you some of these effect models and exemplify both their joyful and unfortunate nature.

About Robert:

Robert is a software engineer currently working at REWE Digital in Cologne and spends a lot of his time writing functional microservices in Clojure and Scala. He concurrently seeks refuge from the imperative in the world of purely functional programming, and from time to time likes to pester unwilling individuals with it.

For more on Robert, visit:

About Lambda World:

Want to see Robert in action? Register today and join us at Lambda World!

GET TICKETS

Speaker Spotlight: Marco Perone

Thu, 15 Aug 2019 11:00:00 +0200

Spotlight on Marco Perone

Language: CFP, Category Theory

Fun with categories

Category theory provides us the setting and a common language to talk about computation and composition. Its usage pervades and inspires languages as Haskell and Scala, lending concepts like functors and monads. Still, functional programming is just one of the possible applications of category theory, which may actually vary from physics and chemistry to machine learning and blockchain. So what about a change of perspective? Let’s make category theory the subject of our code and actually implement it!

In this talk we will take a look at how we can define concepts of category theory, using a programming language as Idris, which allows us to properly define all the required laws and properties of the objects in question, and we will see how we can take advantage of them in concrete contexts.

About Marco:

I am a mathematician turned into a software developer. Slowly, I became more and more interested in functional programming, category theory and type theory, especially for their role in connecting pure mathematics with computer science and software design. Currently I am collaborating with Statebox to build a visual programming language based on solid mathematical foundations. On a human side, I adore chocolate and collect chocolate wrappers.

For more on Marco, visit:

About Lambda World:

Want to see Marco in action? Register today and join us at Lambda World!

GET TICKETS