Workshops

In Lambda World, we offer two types of workshops: Canela and Crema workshops.

Crema workshops are paid workshops available to ticket holders and the general public. They will take place on Wednesday, October 2 and you can check the fee for each workshop below.

Canela workshops are free for general ticket holders; however, pre-registration is mandatory. They will take place on Thursday, October 3. General ticket holders can register on our webpage with a special promo code, which is sent together with the ticket order confirmation. Check out the following video tutorial for guidance. For those who are not conference ticket holders, admission is available for a fee of €30, except for the Scala Bridge that is free for everyone.

IMPORTANT:
  1. Pre-registration is mandatory due to the limited capacity of each workshop.
  2. Only register for those workshop you intend to attend. Carefully check the schedule! You cannot book workshops happening at the same time (except for the Open Space & Scala Bridge as a mentor); otherwise, both will be automatically canceled.
  3. Check the basic knowledge and requirements for each workshop before registering.

Crema Workshops

Paid workshops for ticket holders and the general public. Wednesday, October 2.

Wednesday 2nd - 09:00 to 17:30
Zainab Ali profile image
Zainab Ali

Functional stream processing workshop: Supercharge your streams

This workshop is a practical deep-dive into building reliable stream processing pipelines with Scala 3 and fs2.

Modern business applications are moving towards incremental processing. We design realtime data pipelines, event-driven architectures, reactive systems, and use stream-based I/O with databases, files and websockets. You may have heard of streams in media, but stream processing has many wider applications.

Just as functional programming has transformed the way we build applications, functional stream processing lets us write simple, safe, scalable incremental pipelines.

€350

Wednesday 2nd - 09:00 to 17:00
Alejandro Serrano Mena profile image
Alejandro Serrano Mena

Implement your own Type Checker

This workshop provides an introduction to how compilers represent code, and perform the necessary checks for correctness, leading to a better understanding of the inner workings of your language of choice.

The workshop is practical in nature; you'll learn by implementing parts and pieces of several type checkers yourself.

€150

Wednesday 2nd - 09:00 to 17:00
Juan Manuel Serrano Hidalgo profile image
Juan Manuel Serrano Hidalgo

Embedding of Domain-Specific Languages in Scala

Learn how to design and implement production-ready, embedded domain-specific languages using the tagless-final style and Scala 3.

€150

Canela Workshops

Free workshops for general ticket holders (pre-registration required). Thursday, October 3.

Thursday 3rd - 09:00 to 17:00
Zainab Ali profile imageNoel Welsh profile image
Zainab Ali
Noel Welsh

Scala Bridge

ScalaBridge is a hands-on programming workshop for anyone from complete beginners to experienced developers. It introduces core programming concepts via fun and engaging projects.

Beginners can learn programming fundamentals with our Fractals or Circles and Cycles projects, while experienced developers can implement a programming language, learn about local-first development with CRDTs, or more. The full list of projects is in the extended description.

€0

Thursday 3rd - 09:00 to 13:30
Juanjo Madrigal profile imageJorge Mayoral profile image
Juanjo Madrigal
Jorge Mayoral

Agda and Lean: functional programming meets proving

Add to a conference at the beach full of interesting people and exciting talks a workshop with dependent types, code verification, propositions, Curry-Howard correspondence, guided by many examples through Agda and Lean languages - is there anything better?

€30

Thursday 3rd - 09:00 to 12:00
Conor Hoekstra profile image
Conor Hoekstra

Tacit Programming in BQN, Kap, Uiua and APL

In this workshop, learn how to unlock the power of tacit programming in array languages. BQN will be the main focus of this workshop, but Kap, Uiua and APL will also be shown and discussed.

€30

Thursday 3rd - 12:00 to 13:30
Jesús López-González profile imageChristian Aberturas Lopez profile image
Jesús López-González
Christian Aberturas Lopez

Where Functional Programming Meets Array Thinking

Shocking as it might sound, these one-liners in the Q language, "{(*/)1+til x}" and "{x{x,sum -2#x}/1 1}", implement the factorial and fibonacci functions, respectively. Yep. You might think that this terse syntax, commonly found in array programming languages, is the result of a quest for awkwardness and obfuscation, but nothing far from the truth: actually, it’s intended as a tool that will allow us to reason about our domain processes in a more effective way. This workshop will unveil the design patterns underneath this syntax, and will relate them to familiar abstractions from functional programming (higher-order functions, functors, applicative programming, etc.).

In sum, the takeaway of the workshop is: do you like functional programming? Then, you are halfway through becoming a proficient Q developer!

€30

Thursday 3rd - 14:30 to 16:50
Alcino Cunha profile image
Alcino Cunha

Structural Design with Alloy

In this workshop we will learn how use the lightweight formal method Alloy to design software structures. Alloy also allows the specification of behavioural requirements, but in this introductory workshop we will focus only on the structural aspects.

The Alloy motto is that “everything is a relation”, so first we will learn how to model structures with this simple mathematical concept. Then we will learn how to specify requirements of such structures using the relational logic of Alloy. Finally we will learn how we can leverage such formal models to automate testing of data structure implementations.

€30

Thursday 3rd - 14:30 to 16:50
Alejandro Serrano Mena profile imageRaúl Raja Martínez profile imageSimon Vergauwen profile image
Alejandro Serrano Mena
Raúl Raja Martínez
Simon Vergauwen

Arrow & Functional Kotlin Open Space

This is a space in which people can come and go as they please, and do what they like more: coding and learning! The Arrow & Functional Open Space is a place to learn, to contribute to the community, and to exchange ideas in an unconference format.

€30