List of videos

✨ This talk was recorded at Lambda Days in June 2024. If you're curious about our upcoming event, check https://lambdadays.org ✨ Abstract We will explore how apps can be written in a functional language, using three components: a declarative view, an update function, and a model without business logic. Many problems such as background tasks, efficient updates, and composition will be addressed. This talk is based on a production library developed based on a decade of learnings. More than 100 internal apps benefit from it. 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 ✨ Abstract More than 10 years into his programming career, being diagnosed with ADHD brought a change to how Michael viewed many of the common arguments in modern software (types or tests? functional or OO?). It became apparent pretty quickly that many of the programming paradigms and tools he'd grown to view as "best" over the years lined up suspiciously closely as excellent compensations for the areas that are often weakest for those with ADHD. Maybe, rather than trying to find papers proving the advantages of type systems, it would be more productive to explain how they help compensate for easy distractability. Is the completeness checking of discriminated unions a straight jacket on flexibility, or a valuable tool to help against a limited working memory? Come on a personal tour of one programmer's experience with an atypical mind, and let it impact how you choose and create technologies for humans rather than for best practices. 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 ✨ Abstract A Domain Specific Language, DSL, is a computer language specialized for some specific domain. Examples are text processing, creation of webpages, specifying properties for software testing and task-oriented programming. Some DSLs are standalone, like LaTeX for text processing. An embedded DSL, eDSL, can be combined with other parts of the language. DSLs have been created in functional programming languages like Haskell, Clojure, Scala and Erlang. Creating libraries as an eDSL allows us to focus more on the design of the language extension and offers guidance for its implementation. DSL implementation techniques 1) The DSL is a datatype. This is the motivation behind GADTs. We need Higher Order Abstract Syntax to create type safe identifiers. This allows different views, like printing and execution. 2) The DSL is a set of functions. This uses the full host language, but is limited to a single view. 3) A set of type classes combines the flexibility of functions with multiple views. 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 ✨ Abstract Unison is a new programming language that promises to deliver a new approach to software development. Its key feature is *content-addressable* code. It opens up a lot of novel possibilities to your software development experience, but what is it? And can Unison deliver on that promise? In this talk we are going to take a look at Unison. We will explore what content-addressable code means and what benefits it has. We will demonstrate what it is like to code in Unison, which is quite novel, and will deploy an non-trivial service all within Unison. You will walk away with a firm understanding of Unison and how Unison enhances the developer experience with its novel approach to software development. You will have seen the ease with which to describe and deploy micro-services Unison and will have a number of resources to start your own Unison journey 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 video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Lambda Calculus Beep Boop | Einar Høst & Jonas Winje - computer at NRK & Developer at Computas ABSTRACT We know that we can represent all kinds of things in lambda calculus, including booleans, integers, and lists, but what about the representation of the lambda calculus terms themselves? In this talk we present beep boop, a representation for lambda calculus terms inspired by sound. It is a humane alternative to de Bruijn notation, since it is much easier to utter a sequence of symbols in beep boop than in traditional lambda-based representations. Pretty useful for humans! • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 osnap! Painless & massive regression test generation for OCaml | Valentin Chaboche - Software Engineering Intern at Nomadic Labs ABSTRACT Let’s be honest, OCaml developers distrust tests! They prefer more formal, but also more time-consuming methods, such as program proof. But, in reality, testing is a must in large-scale industrial software development. With snapshot testing, a function’s output is “snapshotted” and after modification such as refactoring, the test framework ensures that its output did not change. However, snapshot testing requires the developer to write scenarios by hand. We introduce osnap: a snapshot-testing library, with random scenario generation, execution, and behavioural change detection – inspired by property-based testing (“à la” QuickCheck). Using osnap, developers have a painless way to massively generate software regression tests. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

Lambda Days is a place where academia meets industry, where research and practical application collide. Find out what is possible with functional programming - explore the latest in battle-tested Scala, Erlang and Haskell, experience the energy F# and Elixir bring to the table, connect with the innovators working with Elm, Luna and Ocaml, see what comes up next! We continue the collaboration with Trends in Functional Programming (TFP) and Trends in Functional Programming in Education (TFPiE), which take place virtually in March 2022. These speakers will also have the opportunity to present their works on the Lambda Days stage in July. To make sure everyone felt safe and comfortable, two Lambda Days tracks will be run HYBRID tracks, combining both an in-person and virtual experience. Read more about it here: https://www.lambdadays.org/lambdadays2022

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Embedding Generic Monadic Transformer into Scala. (can we return concurrent programming into mainstream?) | Ruslan Shevchenko - Author of dotty-cps-async ABSTRACT Can we provide a development environment that gives the programmer an experience comparable to the state-of-the-art mainstream back-end programming? Dotty-cps-async intends to be an element of the possible answer. It provides the way to embed monadic expressions into base scala language using well-known async/await constructs, existing for nearly all mainstream programming languages. Although the main idea is not new, dotty-cps-async provides behind well-known interfaces a set of novel features, such as support of the generic monads, transformation of high-order function applications, generation of call-chain proxies, and automatic coloring. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global

Engaging Large-Scale Functional Programming Education in Physical and Virtual Space | Lukas Stevens, Kevin Kappelmann ABSTRACT Worldwide, computer science departments have experienced a dramatic increase in the number of student enrolments. Moreover, the ongoing COVID-19 pandemic requires institutions to radically replace the traditional way of on-site teaching, moving interaction from physical to virtual space. We report on our strategies and experience tackling these issues as part of a Haskell-based functional programming and verification course, accommodating over 2000 students in the course of two semesters. Among other things, we fostered engagement with weekly programming competitions and creative homework projects, workshops with industry partners, and collaborative pair-programming tutorials. To offer such an extensive programme to hundreds of students, we automated feedback for programming as well as inductive proof exercises. We explain and share our tools and exercises so that they can be reused by other educators. Authors: Kevin Kappelmann, Jonas Rädle and Lukas Stevens - Technical University of Munich, Munich, Germany • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw