List of videos

This video was recorded at virtual Lambda Days conference, which took place on 16-19th February 2021 - https://www.lambdadays.org/lambdadays2021 More great virtual tech conferences - https://codesync.global​ --- From FP to OO in the Classroom by Marco T. Morazán ABSTRACT How to transition from functional programming to OO programming using program by design. --- SPEAKER - Marco T. Morazán FSM CIO and a Design Recipe for all Dr. Marco T. Morazán joined Seton Hall in 1999. He did his undergraduate studies at Rutgers University and his graduate work at the City University of New York. At Seton Hall he teaches at all levels of the Computer Science curriculum including his signature courses: Introduction to Program Design I and II, Organization of Programming Languages, and Automata Theory and Computability. His main research foci are the implementation of programming languages and Computer Science Education. As the graduate school advisor, he takes special pride in making sure that his students are prepared to continue studies outside of Seton Hall. Dr. Morazán is a strong proponent of undergraduate research opportunities and routinely has students collaborate with him on projects. Along with his undergraduate research students, he is responsible for an optimal lambda lifting algorithm and an effective mechanism for closure memoization. In Computer Science education, he is especially proud of the effectiveness of the Computer Science curriculum, based on the development of video games, he has developed for beginners. --- Lambda Days Website: https://www.lambdadays.org​ Twitter: https://twitter.com/LambdaDays​

The Power of Toys | David Nolen | Tools for Thought ABSTRACT At Vouch we build digital keys and fleet management for the automotive industry. While unit tests are valuable for verifying some properties of the system, global properties of our blockchain-based solution are quite challenging to rigorously test with traditional testing methods. The most trivial idea behind functional programming - orienting programs around immutable values rather than stateful objects - naturally guided us towards building a toy model of the system in which all state of interest is lifted into a single value. Now we have building blocks that always compose - each part snaps together regardless of the ordering. Sprinkle on some property-based testing and we can generate complex scenarios of interaction impractical to write by hand, including showing that upgrading / downgrading the source code of the deployed system will always lead to coherence. Many of these ideas were pulled together from toy examples found in educational functional programming texts. Toys can indeed be far more powerful than they appear! • 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

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Make Illegal States Unrepresentable | Daniel Beskin - Functional Developer ABSTRACT The ideal coined by Yaron Minsky, “make illegal states unrepresentable,” is as simple as it is profound. The benefits of writing software that conforms to this maxim range from easier-to-comprehend code, to a reduced number of bugs (and a reduced number of tests, to boot). This approach to writing code should be applicable in any setting, but strongly-typed functional programming is particularly well-suited to achieving the goal of reducing the number of illegal states of a system. In this beginner-friendly talk, we will see a number of simple techniques that we can apply to our code to get ourselves closer to the ideal of making illegal states unrepresentable. • 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

Haskell to Hardware compiler Theory & Practice | Christiaan Baaij | Making circuit design fun for programmers ABSTRACT Clash is a functional hardware description language, but it’s also just a combination of a regular Haskell library with type and function definitions for circuit design and a compiler that translates Haskell programs to digital circuits. In this talk, Christiaan will explain how you can interpret a Haskell program as a digital circuit, the theory behind the inner workings of the Clash compiler, and all the practical problems that were overcome while building the compiler. At the end of the talk, Christiaan will also highlight some large outstanding issues and ideas on how to solve them. • 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

Sonic Pi - past, present & future | Sam Aaron | Sonic Pi creator ABSTRACT Sonic Pi is an open-source music creation and performance tool. It was initially developed as a postdoc research project to help introduce and teach programming concepts in schools but has since grown into a powerful musical instrument used by live-coding DJs in nightclubs and music festivals. In this talk, we'll explore some of the key technical innovations that power Sonic Pi such as deterministic randomisation and its concurrency model which supports live-hot-swapping of code and the precise manipulation of time. We'll examine how functional programming techniques have both been a major influence and are a critical part of the future - from its roots in Clojure to its future on the BEAM. Expect plenty of live coding, beats, basslines and synth riffs and leave the talk inspired to use your programming skills to become the DJ of the future. • 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

This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 What’s new in Gradualizer: Type checking Erlang and Elixir | Radek Szymczyszyn - Architect Team Lead ABSTRACT Gradual typing is a bit like static typing, because it provides error messages if your code has types and specs - and any errors, obviously. Gradual typing is also a bit like dynamic typing, because it doesn’t require all the functions to have specs and just agrees when you say: “Trust me, I’m an engineer!” Gradualizer, introduced at Code Beam Stockholm by Josef Svenningsson, is a gradual typechecker for Erlang. I’ll describe some changes, improvements, and challenges we faced and managed to overcome since mid-2021. I’ll also introduce Gradient, an Elixir frontend, and show how to type check Erlang and Elixir code. • Timecodes: 00:00 - 04:36 - Intro 04:37 - 11:46 - Statically Typing Erlang: State of the Art 11:47 - 16:43 - Quantitative Comparison 16:44 - 29:38 - Demo: TypedServer in Elixir with Gradient 29:38 - 39:31 - Qualitative Comparison on Selected Examples 39:32 - 42:27 - Conclusions 42:28 - 44:59 - What's new? What's Left to do? 45:00 - 47:30 - Contribution + QnA • 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 Effectful | Paweł Szulc - Haskell Developer ABSTRACT In this 20 minutes presentation, Pawel will introduce us to a brand new library called Effectful. It is in fact yet another effects library in Haskell, but potentially one that may finally win the "effects war". Effectful comes with nice ergonomics - similar to what we would find in Polysemy. At the same time, Effectful is blazing fast - internally under the hood, it is implementing the ReaderT pattern. Can we have the best of two worlds? Polysemy-like interface with minimal abstraction costs similar to ReaderT pattern? You will have to join the talk to find out! • 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 Why Event Sourcing is not easy | Mateusz Kubuszok ABSTRACT Have someone sold you ES as the simple solution to all your problem? Have you been promised that it's "just foldLeft over events"? In this talk we will discuss some real world challenges and solutions to them that you'd better know about before you start your IDE. • 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 Functional Parsing for Novel Markup Languages | James Carlson - Elm developer ABSTRACT With functional languages like Elm that target the browser, one can parse and render both classical and novel markup languages in real time, providing authors a pleasant, zero-config tool for writing and distributing mathematical text. The talk will outline how one designs and builds a fault-tolerant parser that provides high-quality, real-time error messages in-place in the rendered text. As case studies we consider two markup languages: MiniLaTeX, a subset of LaTeX, and L1, an experimental markup with a syntax inspired by Lisp. • Timecodes: 00:00 - 04:24 - Markup Languages + Example 04:25 - 14:22 - (Demo) Parser I : Syntax Tree 14:23 - 19:16 - (Demo) Parser II : Shift Reduce Algorithm 19:17 - 23:53 - (Demo) Parser III : Reducibility 23:54 - 30:14 - (Demo) Parser IV : Worked Example 30:15 - 33:55 - Compiler Pipeline 33:56 - 42:39 - QnA • 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