List of videos

✨ This lightning talk was recorded at Lambda Days 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ We are constantly looking for different ways to make communication across the stack in our Web apps easier: GraphQL lets frontend developers write queries directly for the data they need, React Server Components make it possible to render the static parts of a SPA on the server, and Phoenix LiveView runs entire interactive applications on the backend. Lustre is a frontend framework for Gleam, a new statically typed functional programming language that compiles to both Erlang and JavaScript. Lustre exploits the similarities between The Elm Architecture and Erlang's actor model to enable fully universal components. In this talk we'll take a look at Gleam, explore Lustre's application architecture, and demonstrate how components really can be "write once, run everywhere. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Enter Effect, a comprehensive framework rising from the fragmented landscape of functional utilities for TypeScript. Born from inspiration drawn from leading libraries like fp-ts and Scala’s ZIO, Effect is here to redefine your TypeScript development experience. This talk explores the Effect’s core functionality, such as its fiber-based concurrency model, its safe resource management even in the face of program failures, and its built-in tracing capabilities for easy debugging and monitoring, all with a focus on type inference and type safety. With Effect, we can finally unlock the true potential of TypeScript development, making it a compelling choice for writing functional-oriented applications. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Elm is a strongly typed, purely functional DSL described by its creator as a "delightful language for reliable web applications". A couple years back, frustrated with my limited but already painful experiences with React and Vue, I did what any sane developer would. After spending all of 20 minutes playing with in-browser tutorials, I opted to make Elm the main language for my next project. In this talk, I will reflect on my experience building and growing a 10k LOC Elm codebase. Most importantly, I hope to convince you that Elm is awesome and that frontend development needs not be the lawless, weakly typed wasteland it first appears to be. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Algebraic Data Types are a very simple, yet very powerful tool to use when designing systems. Most developers are familiar with them, or subsets of what we call ADTs, even if they are not aware of them - enumerations, for example, or records. The purpose of this talk is to clarify what ADTs are, what properties they have and how these properties can be used to express strong invariants at the data level - such as making illegal states or state transitions impossible to represent. It also explores the generalised form of ADTs - GADTs - and attempts to lift some of the confusion that surrounds them. We will also (lightly) tackle the theory behind them and try to understand where the “algebraic” part of the name comes from. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Late last year, David Turner, a giant of our field and regular Lambda Days participant, passed away unexpectedly. Many may remember chatting to him in the coffee breaks—he was one of the nicest people you could hope to meet. David was an advocate of functional programming back when Fortran and Cobol ruled the roost of high-level programming languages. His work was an inspiration to many, and his influence on many of our careers was profound. In this session four of us will recall the man, what he meant to us personally, and some of his most influential work. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ With the advent of inexpensive 3D printers and microcontrollers, the prospect of the average person building their own robot has become a reality. The problem: incorrectly designed machines have the annoying tendency of breaking, meaning that a failed build can be a fairly expensive prospect. As such, it can be advantageous to simulate your robot virtually, before wasting time and money on a broken robot. Bowler Studio is a robotic digital twin simulator, which allows for an entire end-to-end process of designing, testing, and eventually building your robot. It supports many programming languages, including the functional language Clojure, allowing for a nearly-purely-functional experience. This talk will walk through some very basic robotic building and testing, and viewers should leave with enough understanding to start building their own. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ I'm a big proponent of property-based testing (as in, QuickCheck or Hypothesis), be it in Elm, Haskell, Scala or JavaScript - it's great at finding tricky edge cases, refining your understanding of your system and giving you confidence it works for more cases than just your happy path unit tests. Imagine my horror when I saw that SerenityOS, my favorite "watch and admire it from distance" open source project didn't have any support for property-based testing! There were three options: don't test at all, test with unit tests, or fuzz the binary as a black box. I set out to write a property-based testing framework for SerenityOS, complete with automatic shrinking and all, and to use it to write property tests for apps and libraries all across SerenityOS. In this talk I want to share that journey, the surprising complications and how I overcame them, the tests I've written and categories they fall into, and the bugs I've found. Let's keep in touch! Follow us on: 💥BlueSky: https://bsky.app/profile/lambdadays.bsky.social 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync 💥Twitter: https://twitter.com/LambdaDays