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. T... continue reading
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... continue reading
Meet ThoughtWorks, 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. T... continue reading
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 barrie... continue reading
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 w... continue reading
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... continue reading
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 cli... continue reading
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 u... continue reading
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... continue reading
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 possib... continue reading
Spotlight on Harold Carr Language: CFP, Haskell Refactoring Recursion Recursion is the fundamental looping mechanism in functional programming. This talk shows patterns of recursion using Haskell. It shows those patterns for list structure only. This makes it easier for beginners to understand recursion schemes by focusing on their operation ... continue reading
Spotlight on Tianyu Pu Language: CFP, ReasonML The Reason for ReasonML JavaScript is a critical part of today’s programming landscape, and not just for web applications. However, its lack of static typing has given lots of developers grief over the years as they struggled with cryptic runtime error messages such as ‘cannot find property X of ... continue reading
Spotlight on Manuel Chakravarty Language: Haskell Functional Smart Contracts Functional programming and blockchains are a match made in heaven! The immutable and reproducible nature of distributed ledgers is mirrored in the semantic foundation of functional programming. Moreover, the concurrent and distributed operation calls for a programmin... continue reading
Spotlight on Matthias Felleisen Language: FP Language-Oriented Programmning with Racket Racket, a functional language in the Lisp family, promotes a language-oriented style of programming. Developers create many domain-specific languages, write programs in those, and compose these programs via Racket code. This style of programming can work o... continue reading
Spotlight on J Haigh Language: Rust When: Thursday, October 17th - 12:00 You Don't Own Me For people coming from functional languages, you may wonder when you would want to use Rust. Rust has functional patterns and takes ideas from substructural type systems. A combination of functional patterns, the borrow checker, and drop checker enab... continue reading
Spotlight on Shelby Cohen Language: Kotlin What the F(p) is Kotlin? We, as two entry level engineers, took on the challenge of introducing Kotlin and Functional Programming to our company, Intuit. Even though you all know Kotlin is a great language, we overcame the obstacles associated with a large company structure of having a common tech st... continue reading
Spotlight on Katie Levy Language: Kotlin What the F(p) is Kotlin? We, as two entry level engineers, took on the challenge of introducing Kotlin and Functional Programming to our company, Intuit. Even though you all know Kotlin is a great language, we overcame the obstacles associated with a large company structure of having a common tech stac... continue reading
Spotlight on Laura Bocchi Language: FP Time-Sensitive Protocol: Links From Design To Implementation This talk will center on developing systems where distributed components interact via asynchronous message passing, and need to follow specific interaction patterns, e.g., ad-hoc application-level protocols, such as POP2. I will discuss ongoin... continue reading
Spotlight on Laura Castro Language: Elixir So I used Erlang . . . is my system as scalable as they say it'd be? In the world of distributed, highly concurrent and scalable systems, few technologies can live up to Erlang/OTP’s potential. But, as we often hear, with great power comes great responsibility. What if we have designed the architectu... continue reading
Diversity grants are available for underrepresented individuals wishing to attend Lambda World Cádiz. Lambda World is a non-profit, two-day functional programming conference held in Cádiz, Spain October 17th and 18th featuring workshops, presentations, and community events celebrating languages like Scala, Kotlin, F#, Java, Clojure, Haskell, Ru... continue reading
Call for Papers now open This October, we’ll be returning to Cádiz, Spain for the 5th Annual Lambda World conference! The event will run from October 17th - 18th and feature presentations, workshops, networking, and more on Functional Programming languages, toolsets, and topics from some of the brightest minds in the community. We’re current... continue reading
Meet Packlink, a Lambda World Platinum Sponsor We’re pleased to be hosting the fourth annual Lambda World event in Cadiz this week! As you might know, 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... continue reading
Meet Everis, a Lambda World Gold Sponsor As you might know, Lambda World is a non-profit event focused on bringing together 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 could not be possible without the support of our sponsors. Everis - te... continue reading
Meet the Microsoft Azure Team, a Lambda World Gold Sponsor As you might know, Lambda World is a non-profit event focused on bringing together 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 could not be possible without the support of our spon... continue reading
Meet Accenture, a Lambda World Gold Sponsor As you might know, Lambda World is a non-profit event focused on bringing together 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 could not be possible without the support of our sponsors. Accent... continue reading
Meet Intelygenz, a Lambda World Gold Sponsor As you might know, Lambda World is a non-profit event focused on bringing together 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 could not be possible without the support of our sponsors. Intelyg... continue reading
Meet Signify Technology, a Lambda World Gold Sponsor As you might know, Lambda World is a non-profit event focused on bringing together 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 could not be possible without the support of our sponsors. ... continue reading
Meet RavenPack, a Lambda World Gold Sponsor As you might know, Lambda World is a non-profit event focused on bringing together 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 could not be possible without the support of our sponsors. We’re t... continue reading
Spotlight on Hanneli Tavante Language: FP When: Friday, October 27th - 10:00 - 10:45 FP Dejustation Menu Too many flavours of Functional Programming? Don’t worry - like a French bouchon; we will try a taste of some famous languages, and see what they look like. You can pick up your favourite one for the next visit! Using a simple project ... continue reading
Spotlight on Jeremy Gibbons Language: FP When: Friday, October 27th - 20:30 Closing Keynote: APLicative Programming with Naperian Functors Much of the expressive power of array-oriented languages such as Iverson’s APL and J comes from their implicit lifting of scalar operations to act on higher-ranked data, for example to add a value to e... continue reading
Women in Tech Language: Scala When: Thursday, October 26th - 17:00 - 19:00 Scala Bridge Workshop This workshop is designed for women interested in learning introductory programming in Scala. There is no experience needed to participate. The workshop will be led by Noel Welsh, a partner at Underscore, a Scala consultancy. Lambda World Gr... continue reading
Spotlight on Bartosz Milewski Language: FP When: Friday, October 27th - 13:30 Midday Keynote: Profunctor Optics: The Categorical Approach The Haskell lens library offers fine-grain declarative access to immutable (persistent) data structures. Its main attraction is that it’s compositional: you can focus on substructures of larger structur... continue reading
Spotlight on Raúl Raja and Paco Estevez Language: Kotlin When: Friday, October 27th - 17:00 Functional Programming in Kotlin with Kategory Kategory is a library that started as part of Typelevel Scala cats for the Kotlin Programming Language and is now evolving to bring the best of typed FP to Kotlin. This talk will cover some of the main... continue reading
Spotlight on Michael Snoyman Language: Haskell When: Friday, October 27th - 15:00 Everything you didn't want to know about monad transformer state Monad transformers are often used in Haskell applications to model state, capture results, and deal with explicit exceptions. In order to make these monad transformer stacks work with concurren... continue reading
Spotlight on Rúnar Bjarnason Language: FP When: Friday, October 27th - 11:00 Adjunctions in Everyday Life This talk introduces adjunctions, a category theory concept underlying and unifying a lot of things we take for granted in functional programming. All monads have adjoint functors underlying them, as do products, coproducts, algebraic... continue reading
Spotlight on Hadi Hariri Language: Kotlin When: Friday, October 27th - 12:30 Kotlin 102: Beyond the Basics This talk is about covering language aspects and idioms that you usually don’t see in a 101 talk. Among other things, we’ll understand covariance and contravariance with generics, learn about the secrets of inline functions in Kotlin... continue reading
Spotlight on Javier Fuentes Language: Scala When: Friday, October 1st - 17:00 - 19:00 Type Classes for the Masses What is a type class? How are they related to traditional object-oriented design patterns (factories, visitors, adapters, …)? What kind of support does Scala provide? In this workshop we will see that type classes are much mor... continue reading
Spotlight on Dierk König Language: Frege When: Friday, October 1st - 17:00 - 19:00 Frege - a Haskell for Java Developers Functional programming needs functions, side-effect free transformations, to enable lazy evaluation, memoization, function composition, and safe concurrent execution. Frege is the only JVM language that provides this pu... continue reading
Spotlight on Pascal Voitot Language: Scala When: Saturday, October 1st - 17:30 - 18:30 Describe & Conquer (& Freek) Through some basic code samples not requiring deep theoretical background, Pascal will show how to build (in Scala) everyday-life program by pushing a bit further the good old separation of business logic description... continue reading
Spotlight on Bodil Stokke Language: PureScript When: Saturday, October 1st - 18:30 - 19:30 The Pure Functional Web: Around the time React became popular, JS programmers started to get the idea that pure functional programming might be a good way to write web apps. Most of them still haven’t moved on to actual pure functional languages, ev... continue reading
Spotlight on Alberton Gomez Language: Haskell When: Saturday, October 1st - 11:30 - 12:30 Transient: full algebraic and monadic composability in the presence of multithreading, events, and distributed computing A careful selection of monadic effects and primitives, using some new techniques for expressing continuations and moving closures... continue reading
Spotlight on Iain Hull Language: Scala When: Saturday, October 1st - 18:30 - 19:30 Adopting actors... an epic tale of loss and learning Adopting actors was a journey and some of our early assumptions would create issues later on. Slowly, we realised we had not fully embraced the let-it-crash philosophy, did not understand how the atomic n... continue reading
Spotlight on Raichoo Language: Haskell (GHC specific) When: Saturday, October 1st - 16:00 - 17:00 Working hard to keep things lazy When coming to Haskell from another programming language there are a lot of things that appear to be quite odd at first glance. One of these things is the non-strict evaluation strategy. Dreaded by some and lo... continue reading
Spotlight on Language: Idris When: Saturday, October 1st - 11:30 - 12:30 Type-driven Development of Communicating Systems in Idris Idris is a functional programming language with dependent types, which supports ‘total’ functional programming. A function is total if, for all well typed inputs, it gives either a compete result of a finite ... continue reading
Spotlight on Christopher Meiklejohn Language: Erlang When: Saturday, October 1st - 12:30 - 13:30 Declarative, Secure, Convergent Edge Computation: An Approach for the Internet of Things Consistency is hard and coordination is expensive. As we move into the world of connected ‘Internet of Things’ style applications, or large-scale mobile a... continue reading
Spotlight on Aaron Levin Language: Haskell & Scala When: Saturday, October 1st - 11:30 - 12:30 The Dialectics of Type-Level Programming; or How I Learned to Love Values Can my compiler also compute? The answer is often an astounding yes. Programmers have taken advantage of their compiler’s limited runtime to produce safer and more ext... continue reading
Spotlight on Raoul-Gabriel Urma Language: Java When: Saturday, October 1st - 10:00 - 11:00 Pragmatic Functional Refactoring with Java 8 You may be hearing a lot of buzz around functional programming. For example, Java 8 recently introduced new features (lambda expressions and method references) and APIs (Streams, Optional and CompletableF... continue reading
Spotlight on Alfonso Garcia-Caro Language: F# / JS When: Friday, October 1st - 17:00 - 19:00 Fable, an F# to JS compiler Fable is an open source compiler that brings all the power of F# to the JS ecosystem: static typing with type inference, functional paradigm, pattern matching, type providers, besides a comprehensive library to handle c... continue reading
Spotlight on Simon Belak Language: Clojure When: Saturday, October 1st - 10:00 - 11:00 Doing Data Science with Clojure: the ugly, the sad, the joyful Having programmers handle data science is terrible idea if everyone else were not even worse. The problem is, of course, tools. We seem to have settled on either: a bunch of disparate librar... continue reading
Spotlight on Chris Birchall Language: Scala When: Saturday, October 1st - 17:30 - 18:30 Real-world functional Scala Even if you have learned about specific functional programming techniques, it can be tricky to get a feel for how to build a ‘real-world’ functional program. How do you piece functional concepts and components together to pr... continue reading
Spotlight on Luca Molteni Language: Scala When: Friday, October 1st - 17:00 - 19:00 What is Pure Functional Programming and how can it improve our application testing Pure functional programming is helping developers developing more robust and simpler programs, and it also helps them test the behaviour of their application in a more predi... continue reading
Spotlight on Alejandro Serrano Language: Haskell When: Friday, October 1st - 17:00 - 19:00 Strongly-Typed Web Applications with Haskell (and Elm) Haskell provides us one of the strongest type systems in the wild. In order words, the compiler helps us catch many bugs before it is actually executed. In this workshop, we’ll show how this phi... continue reading
Spotlight on Philip Wadler Language: Agnostic When: Saturday, October 1st - 19:30 - 20:30 Category Theory for the Working Hacker The talk will explain why category theory is of interest for developers. The principle of Propositions as Types describes a correspondence between propositions and proofs in logic, on the one hand, and types and... continue reading
Spotlight on Trisha Gee Language: Java When: Saturday, October 1st - 12:30 - 13:30 Java 8 in Anger Many of us developers are still getting to grips with thinking in more functional terms. With the introduction of lambdas and streams in Java 8, functional thinking becomes more important, even in a language like Java. This presentation move... continue reading
Spotlight on Miles Sabin Language: Scala When: Saturday, October 1st - 15:00 - 16:00 Typelevel Scala Rebooted The Typelevel fork of the Scala compiler has been reinvigorated by the recent community fix for SI-2712, a long-standing problem of type inference for projects which make extensive use of higher-kinded types. Thanks to newly arriv... continue reading
We’re thrilled to announce that Lambda World will be home to a hackathon organized by the Scala Center! The event joins a series of initiatives by the Center aimed at increasing educational offerings for the Scala programming language and providing support to the Scala ecosystem. Hosted by Scala Center engineer Jorge Vincente Cantero, the SC ha... continue reading
Spotlight on Oskar Wickstrom Language: Oden When: Saturday, October 1st - 15:00 - 16:00 Oden - A Functional Programming Language for the Go Ecosystem This talk will introduce Oden, an experimental, statically typed, functional programming language built for the Go ecosystem. We will look at how Oden aims to leverage the great features of ... continue reading
If you’d like to be a speaker at this great event, you’ve come to the right place. continue reading
Thanks for placing your confidence in this conference and thank you to the speakers for choosing Lambda World as a platform to share their knowledge with the Functional Programming Community. Take a look at some of the content from the 2015 conference: Teaser: Photo Gallery: Recorded talks: Scala.js Semantics - and how... continue reading
All workshops are included in the ticket without additional cost! The workshops are: Functional Programming in Scala Intro to Apache Spark Markov Bot F# Dojo We only have a limited number of spots available for the workshops. We will use the order of registration to fill in the available spots and will let you know if there are any i... continue reading
Welcome to Lambda World to: ####Miles Sabin Miles has been doing stuff with Scala for the last 10 years, most recently with Underscore and Precog. His best known project, the Scala generic programming library shapeless, is the weapon of choice wherever boilerplate needs to be scrapped or arities abstracted over. Rumours to the contrary, he ... continue reading
Alvaro Videla (@old_sound) works at VMware, Inc. as the Developer Advocate for Cloud Foundry. Before moving to Europe, he worked in Shanghai where he helped build one of Germany’s largest dating websites. He co-authored the book RabbitMQ in Action for Manning Publishing and has a number of open source projects on GitHub. Apart from code relate... continue reading
If you want to be part of this great event as a speaker you came to the right place. continue reading
Subscribe via RSS