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.
Paid workshops for ticket holders and the general public. Wednesday, October 2.
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.
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.
Learn how to design and implement production-ready, embedded domain-specific languages using the tagless-final style and Scala 3.
Free workshops for general ticket holders (pre-registration required). Thursday, October 3.
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.
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?
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.
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!
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.
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.