Lambda Days 2019

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org ---

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- KEYNOTE: F# CODE I LOVE by Don Syme ABSTRACT I’ll talk about examples of F# code I love and why. Along the way, I’ll talk about how it relates to doing language design, functional programming, object programming, language features and the “sweet spot” for using functional-first programming both as an individual and in teams. Much of it will be other people’s code. Read the full abstract: http://www.lambdadays.org/lambdadays2019/don-syme --- THE SPEAKER - DON SYME .NET Generics, C# 2.0, F# 1.0-4.5, Async, Type Providers Don is a language designer, compiler hacker, researcher at Microsoft Mobile Tools and a contributor to F#. He works with users and open source communities to make better programming technologies, and, through that, make people more productive and happier. More on Don Syme: http://www.lambdadays.org/lambdadays2019/don-syme --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Fsharp

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- KEYNOTE: RETHINKING BLOCKCHAIN CONTRACT DEVELOPMENT by Manuel M T Chakaravarty ABSTRACT With the proliferation of blockchain designs, we see a proliferation of proposals for languages and systems to script the rules governing transactions on these blockchains, generally known as smart contract languages. Despite the name, these languages are usually fairly conventional programming languages used to impose constraints on the transactions permitted to transfer assets and manipulate data stored on the blockchain. Given the high financial stakes and widely publicised exploits on first generation (Bitcoin) and second generation (Ethereum) blockchains, the third-generation Cardano blockchain places a strong emphasis on functional programming and formal methods. This includes a new approach to contract languages based on state-of-the art research in programming languages and the increased safety provided by functional programming. The benefits of functional programming go even further: instead of having to invent yet another custom language, we simply use Haskell for the job, we design a superior blockchain architecture, and we seamlessly combine on-chain and off-chain computations. Read the full abstract: http://www.lambdadays.org/lambdadays2019/manuel-m-t-chakravarty --- THE SPEAKER - MANUEL M T CHAKARAVARTY Tweag I/O & IOHK Manuel M T Chakravarty works with Tweag I/O as a functional programming evangelist, architects blockchain languages at IOHK, and develops the interactive development environment Haskell for Mac — one of the first Swift apps on the Mac App Store. His interests span from functional programming, novel compiler technology & programming language theory over high-performance & distributed computing to blockchain technology. More on Manuel M T Chakaravarty: http://www.lambdadays.org/lambdadays2019/manuel-m-t-chakravarty --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Haskell

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- EMPOWERING THE QUANTUM REVOLUTION WITH Q# by John Azariah ABSTRACT Quantum computing takes a giant leap forward from today’s technology—one that will forever alter our economic, industrial, academic, and societal landscape. This has massive implications for your customers in any industry including healthcare, energy, environmental systems, smart materials, and more. This talk covers the basics of Quantum Computing, Q#, the Microsoft Quantum Development Kit, and some resources to help you get started in programming quantum algorithms. Read the full abstract: http://www.lambdadays.org/lambdadays2019/john-azariah --- THE SPEAKER - JOHN AZARIAH ❤ (I, _) (Q#) John is a regular speaker at developer conferences around the world, on topics such as functional programming, quantum computing, cloud computing, language design, and other trends in technology and software architecture. He has over 25 years of professional software development experience including over 10 years at Microsoft Corporation. His experience with functional programming and DSL design saw him move to Microsoft Research where he led the compiler design of Microsoft Q# - a language for the domain of quantum computing. He is currently a Principal Architect in the Microsoft Quantum team. More on John Azariah: http://www.lambdadays.org/lambdadays2019/john-azariah --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #QuantumComputing #microsoftq#

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- BUILDING ON DEVELOPERS' INTUITIONS TO CREATE EFFECTIVE PROPERTY-BASED TESTS by John Hughes ABSTRACT Property-based testing is increasingly popular, yet the properties that developers write are not always effective at revealing faults. Developers often don't notice this, because it’s impractical to inspect all the generated tests. But they DO have intuitions for tests they would like to run. Many try to generalize these into properties, but this works poorly. In this talk, I’ll show another way to use those intuitions to build effective properties cheaply. I'll also show new features in Haskell QuickCheck that support this way of working. Read the full abstract: http://www.lambdadays.org/lambdadays2019/john-hughes --- THE SPEAKER - JOHN HUGHES Co-Designer Of Haskell And Quickcheck John Hughes has been a functional programming enthusiast for more than thirty years, at the Universities of Oxford, Glasgow, and since 1992 Chalmers University in Gothenburg, Sweden. He served on the Haskell design committee, co-chairing the committee for Haskell 98, and is the author of more than 75 papers, including ""Why Functional Programming Matters"", one of the classics of the area. With Koen Claessen, he created QuickCheck, the most popular testing tool among Haskell programmers, and in 2006 he founded Quviq to commercialise the technology using Erlang. More on John Hughes: http://www.lambdadays.org/lambdadays2019/john-hughes --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Haskell #QuickCheck #testing

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- DOES JAVASCRIPT ADOPTS FUNCTIONAL PROGRAMMING? by Yoav Luft ABSTRACT In this talk I'll present a small study I'm conducting which attempts to determine whether Javascript developers are adopting more declarative programming style, and whether this style influenced by functional programming. The study analyses code from popular open source projects to detect changes in coding style. Read the full abstract: http://www.lambdadays.org/lambdadays2019/yoav-luft --- THE SPEAKER - YOAV LUFT Making software for the jilted generation @ Prototyp SE Yoav was born and raised in Israel and had recently moved to Sweden with his partner Dafna. Since his first line of code (Q Basic, age 11) until this day he had tried to perfect his knack for doing more work with less effort. He is highly involved with the meta of programming: how we work, think, develop and communicate. He is the founder of Israel's first functional programming conference, FLIP, and was on the organising team for HackExtend - a diversity focused hackathon. He now creates awesome software at Prototyp.se More on Yoav Luft: http://www.lambdadays.org/lambdadays2019/yoav-luft --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #JavaScript

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FAST & FUNCTIONAL by Michał Płachta ABSTRACT In this talk we are going to create a functional and blazingly fast microservice. We will use functional programming abstractions to quickly mix & match different HTTP libraries, state implementations and concurrency configurations. Each step will be followed by a performance analysis using different tools from JVM toolbox. This talk is for you if you want to see how cats IO monad, async-profiler, flame graphs and wrk are used together to create nanoseconds-fast Scala service for YouTube videos statistics. Read the full abstract: http://www.lambdadays.org/lambdadays2019/michal-plachta --- THE SPEAKER - MICHAŁ PŁACHTA Making games using λs Polyglot programmer & functional programming enthusiast. Husband, father, cyclist, avid fan of coffeine, theine and mateine. Loves the human component in software projects. Works @ Reality Games (reality.co). Has a blog at michalplachta.com. More on Michał Płachta: http://www.lambdadays.org/lambdadays2019/michal-plachta --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala #performance #jvm

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- TYPE THEORY IN PRACTICE by Gabriel Habryn ABSTRACT After amazing presentation “Propositions as Types” by Philip Wadler, I felt intrigued and lost. What is the type theory? How can I benefit from it as a software engineer? The story of how I end up applying Type Theory in static configurations files like JSON and YAML. What I learn in the process of this experiment, and how it changed my perspective in software design. Read the full abstract: http://www.lambdadays.org/lambdadays2019/gabriel-habryn --- THE SPEAKER - GABRIEL HABRYN Backend Domain Lead at Brainly Gabriel Habryn functional programming enthusiast who is not afraid to use free-monads and the Type Theory. During the day at Brainly helps engineers to use best practices. Encourage experimentation and research. Coach, and train in new technologies and concepts (#GraphQL, #CRDTs, #EventStorming, #SystemDesign...). During afternoons explore concepts of functional programming, and publish code on GitHub under @widmogrod nickname. More on Gabriel Habryn: http://www.lambdadays.org/lambdadays2019/gabriel-habryn --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #TypeTheory

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- PROGRAMMATION EN LOGIQUE by Lars Hupel ABSTRACT Prolog is one of the most underrated programming languages around; possibly because of its strange syntax and the unusual paradigm. But it is a very nice special-purpose programming language. In this talk, I would like to introduce Prolog’s programming model, showcase some programming domains in which Prolog allows for very concise, elegant programs, and finally describe how it can also be used as a general-purpose tool. Read the full abstract: http://www.lambdadays.org/lambdadays2019/lars-hupel --- THE SPEAKER - LARS HUPEL INNOQ Lars is a consultant in Munich, Germany. He has been using Scala for quite a while now, and is known as one of the founders of the Typelevel initiative which is dedicated to providing principled, type-driven Scala libraries. He also talks about Haskell and Isabelle a lot. lars.hupel.info More on Lars Hupel: http://www.lambdadays.org/lambdadays2019/lars-hupel --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Prolog

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FP DESIGN PATTERNS IN MICRO-SERVICE INTER-PROCESS COMMUNICATION by Viačeslav Pozdniakov ABSTRACT Design of correct and yet simple inter-process communication in micro-service architecture is a tough thing to do: communication protocols might be sync or async, some APIs use request/response model while others use streaming and so on. In this talk we will discuss which micro-service IPC design problems we (Wix.com) faced and how we solve them using FP building blocks: monads, semigroups, etc. Obviously, introduction of FP design patterns at our scale (over 500 developers) is a huge effort, so we will also discuss an execution process of such changes. Read the full abstract: http://www.lambdadays.org/lambdadays2019/viaeslav-pozdniakov --- THE SPEAKER - VIAČESLAV POZDNIAKOV Wix.com I work in Server Framework Team as Scala developer at Wix. This team is responsible for building a common framework and libraries used to develop Wix services. Also I am a co-organizer of Functional Vilnius user group and partnership associate professor at Vilnius University teaching Functional Programming in Haskell. More on Viačeslav Pozdniakov: http://www.lambdadays.org/lambdadays2019/viaeslav-pozdniakov --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- INTRODUCTION TO STATEFUL PROPERTY BASED TESTING by Tomasz Kowal ABSTRACT Property-based testing is a technique for writing tests that use a framework for creating test inputs and user-defined properties for validating outputs. Generating data allows finding bugs that would be impossible to catch by regular unit tests: e.g. too big to encode by hand. I'd like to present why is it worth getting into PBT by introducing successful usages of PBT for testing AUTOSAR, LevelDB and Dropbox. All those examples use stateful testing, so the next part of the talk describes steps to create a stateful test for a simple key-value store. Read the full abstract: http://www.lambdadays.org/lambdadays2019/tomasz-kowal --- THE SPEAKER - TOMASZ KOWAL Software Developer @ ClubCollect Tomasz works with functional languages for over 8 years and loves learning and teaching about concepts and techinques. More on Tomasz Kowal: http://www.lambdadays.org/lambdadays2019/tomasz-kowal --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #testing

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- BEHIND COLLABORATIVE TEXT EDITING by Bartosz Sypytkowski ABSTRACT We’ll discuss the topic, that is well known from products such as Google Docs or Etherpad, and explain how Conflict-free Replicated Data Types will allow us to expand it into new territories. We'll take a peer-to-peer approach, with no central servers, constant internet connectivity or human assisted conflict resolution. Read the full abstract: http://www.lambdadays.org/lambdadays2019/bartosz-sypytkowski --- THE SPEAKER - BARTOSZ SYPYTKOWSKI Bartosz Sypytkowski Red Pill An OSS contributor, a great fan of functional and distributed programming. One of the core team members of Akka.NET project. Creator of F# implementation of GraphQL server library. More on Bartosz Sypytkowski: http://www.lambdadays.org/lambdadays2019/bartosz-sypytkowski --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #CRDT #DistributedSystem

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- TEACHING FUNCTIONAL PROGRAMMING by Michael Sperber ABSTRACT You want to teach functional programming to someone else: To enable fellow developers, as a professional trainer, or to teach students. However, as natural as functional programming feels to us, it is hard to teach well. In particular, professional functional languages are powerful tools for development, but are not necessarily the best tools beginners. This talk is about teaching functional programming well using the Program by Design / DeinProgramm approach. It will give an overview of effective teaching approaches, techniques and tools, and highlight pitfalls. Read the full abstract: http://www.lambdadays.org/lambdadays2019/michael-sperber --- THE SPEAKER - MICHAEL SPERBER CEO of Active Group, functional programmer Michael Sperber is CEO of Active Group in Tübingen, Germany. He has been developing software since 1984, and taught programming courses since 1987. Mike specializes in functional programming, with many publications and several books under his belt. Mike maintains a strong interest in teaching programming, and has designed introductory courses for several German universities. He is co-organizer of the annual BOB developer conference. www.deinprogramm.de/sperber More on Michael Sperber: http://www.lambdadays.org/lambdadays2019/michael-sperber --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Teaching #Racket

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FUNCTION TOTALITY: ABSTRACTION TOOL IN PROGRAMMING by Marko Dimjašević ABSTRACT Abstraction is a cornerstone of programming a complex software system. Without it, a complex software system is a complicated software system. In this talk, an important abstraction tool is considered: function totality. It covers termination and productivity. If a supposedly terminating program is not total, it can lead to a program crash or an infinite loop. Furthermore, a non-total program that needs to run forever can end up in a deadlock. This talk covers techniques for achieving function totality. Read the full abstract: http://www.lambdadays.org/lambdadays2019/marko-dimjasevic --- THE SPEAKER - MARKO DIMJAŠEVIĆ Computer scientist interested in correct software Marko Dimjašević is a computer scientist with research interests in type theory and formal methods. He is an engineer at Input Output Hong Kong where he works on formally specifying a blockchain. Marko holds a doctoral degree in computer science from the University of Utah, USA. His dissertation was on automatic software testing. At NASA he performed research and development on software testing and runtime verification techniques for an aircraft collision avoidance system. dimjasevic.net/marko More on Marko Dimjašević: http://www.lambdadays.org/lambdadays2019/marko-dimjasevic --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Haskell #Agda #Iris

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- SCALA SUPERPOWERS: EFFORTLESS DOMAIN DRIVEN DESIGN by Bartosz Mikulski ABSTRACT Don't come to this talk. You will not hear anything cool. No new libraries, languages. No clever code. No buzzwords even. I want to show you how you can use the features you already know to write less code and make the code so easy to understand that people who join your project can be productive on their first day. You didn't come to a tech conference to see that, did you? Your new, shiny toys are not here. Go somewhere else ;) Read the full abstract: http://www.lambdadays.org/lambdadays2019/bartosz-mikulski --- THE SPEAKER - BARTOSZ MIKULSKI An unpassionate programmer A Java/Scala programmer with almost 8 years of experience. In his career, he worked on network sniffers, old school ETL software for banks, web applications written in ancient technologies like RichFaces, modern web applications written in React with Scala microservice-based backends, and data pipelines. Co-founder of Poznan Scala User Group and Software Craftsmanship Poznan group, organizer of Poznan meetups of Siraj Raval's School of AI. Currently interested in machine learning and data science and strongly believes that such techniques and skills should be in the toolset of every programmer. mikulskibartosz.name More on Bartosz Mikulski: http://www.lambdadays.org/lambdadays2019/bartosz-mikulski --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- WHY TYPE THEORY MATTERS by Thorsten Altenkirch ABSTRACT Modern Type Theory (usually called Homotopy Type Theory) is at the same time the ultimate functional programming language and a novel foundation of Mathematics, an alternative to the mathematical assembly language called set theory. Type theory exploits the advantages of static typing to the limit, meaning that by hiding implementation details you can identify tow object which behave the same - this is called the univalence principle. Read the full abstract: http://www.lambdadays.org/lambdadays2019/thorsten-altenkirch --- THE SPEAKER - THORSTEN ALTENKIRCH University of Nottingham Thorsten Altenkirch is a Professor of Computer Science at the University of Nottingham known for his research on logic, type theory, and homotopy type theory. Altenkirch was part of the 2012/2013 special year on univalent foundations at the Institute for Advanced Study. At Nottingham he co-chairs the Functional Programming Laboratory with Graham Hutton. More on Thorsten Altenkirch: http://www.lambdadays.org/lambdadays2019/thorsten-altenkirch --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #TypeTheory

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- REALTIME STREAM ANALYSIS IN FUNCTIONAL REACTIVE PROGRAMMING by Riccardo Terrell ABSTRACT In today’s world it’s imperative to be able to make split second decisions based on real-time data. Real-time event-based systems process millions of messages per second by defining and combining small flows to create processing graphs. This session talks about a reactive approach to your application design, and how to account for handling events in near real time employing the Functional Reactive Programming paradigm, which is used to implement complex reactive system with simple and composable semantic. Read the full abstract: http://www.lambdadays.org/lambdadays2019/riccardo-terrell --- THE SPEAKER - RICCARDO TERRELL A functional guy living in an imperative world Riccardo Terrell is a seasoned software engineer and Microsoft MVP who is passionate about functional programming. He is active in the .NET community and believes in polyglot programming as a mechanism for finding the right tool for the job. www.rickyterrell.com More on Riccardo Terrell: http://www.lambdadays.org/lambdadays2019/riccardo-terrell --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #frp #Reactive

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- DO PARSERS DREAM OF ELECTRIC GUITARS? by Ju Liu ABSTRACT In this talk we build a web application in Elm that reads a guitar chord sheet and emits a beautiful page. Instead of parsing the guitar chord data using a regular expression, we will use a proper parser and show that it's not as hard as it sounds. We will then proceed to implement some more advanced features for our parser and check out some edge cases of our implementation. By the end of the talk, you should be prepared to write your first parser and unleash it into the world! Read the full abstract: http://www.lambdadays.org/lambdadays2019/ju-liu --- THE SPEAKER - JU LIU Master of the Useless Ju was born in China, moved to Italy as a kid, grew up eating a lot of pasta, and started messing around with computers. He now lives in London and works for NoRedInk. He loves to solve hard problems and build amazing products. When he’s not doing that, he’s probably rock climbing. More on Ju Liu: http://www.lambdadays.org/lambdadays2019/ju-liu --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Elm

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- WHY VISUAL FUNCTIONAL PROGRAMMING MATTERS by Piotr Moczurad ABSTRACT Many people believe that conventional textual programming is the only way of expressing complex data processing logic, while visual programming languages are suitable for learning programming only. Although there are many domains where visual programming languages are popular, like in procedural architecture, graphics design, electronics design or ETL, visual programming languages never took off on a broader scale. Read the full abstract: http://www.lambdadays.org/lambdadays2019/wojciech-danilo --- THE SPEAKER - PIOTR MOCZURAD Member of the Luna team, Haskell developer Haskell developer in the Luna language team, changing the way people think about software development. Always a functional programming enthusiast, especially Scala and Haskell. As to my academic career: just got my MSc in Computer Science from AGH University of Science and Technology, now I am a doctoral candidate there, working on seamlessly integrating serverless architecture with visual and functional programming. More on Piotr Moczurad: http://www.lambdadays.org/lambdadays2019/piotr-moczurad --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Luna

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- SYNTHESIZING RECURSIVE FUNCTIONS WITH BANANAS, LENSES, ENVELOPES AND BARBED WIRE by Krzysztof Krawiec ABSTRACT Synthesis of recursive functions from examples has historically proved difficult, not least due to issues of non-termination and the often ad hoc methods for addressing this. In this talk, after discussing those challenges and sketching a broader context of program synthesis, I will present a general synthesis method of implicit recursion which operates via an automatically-derivable decomposition of datatype structure by cases, thereby ensuring well-foundedness. The method is applied to recursive functions of long-standing interest and the results outperform recent work which combines two leading approaches and employs `human in the loop' to define the recursion structure. We show that synthesis with the proposed method on benchmark functions is effective not only with metaheuristic algorithms, but even with random search. Read the full abstract: http://www.lambdadays.org/lambdadays2019/krzysztof-krawiec --- THE SPEAKER - KRZYSZTOF KRAWIEC Automating program synthesis and improvement Krzysztof is a professor in the Institute of Computing Science, Poznan University of Technology, and co-founder of the Center for Artificial Intelligence and Machine Learning (CAMIL), https://camil-research.pl His main research areas are program synthesis and improvement using metaheuristics, exact algorithms (SMT/SAT-solver based), and more recently deep neural networks. He's been applying these and other techniques to synthesize general-purpose functions, mathematical models, image analysis programs, and game-playing agents. www.cs.put.poznan.pl/kkrawiec More on Krzysztof Krawiec: http://www.lambdadays.org/lambdadays2019/krzysztof-krawiec --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #MachineLearning

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FROM HASKELL TO C#, A STORY OF CULTURE SHOCKS AND HAPPY REUNIONS by Øystein Kolsrud ABSTRACT Six years ago, I joined Qlik as a software engineer in a group developing products in C#. My previous experience came primarily from Haskell and C++, but with C# I quickly realized that I could leverage my knowledge of functional programming also in this object oriented language! And (to the great confusion of my colleagues) I did! This talk focuses on my experience of using C# with a touch of Haskell and the reactions I got from my colleagues when doing so. Read the full abstract: http://www.lambdadays.org/lambdadays2019/oystein-kolsrud --- THE SPEAKER - ØYSTEIN KOLSRUD A functional ambassador in an object oriented world Øystein Kolsrud is a software engineer with a background in Haskell that currently mostly develops solutions in C#. He has been doing multiple talks intended for an object oriented audience on the functional background of some of the features found in C#, and how those features are typically leveraged in a Haskell. More on Øystein Kolsrud: http://www.lambdadays.org/lambdadays2019/oystein-kolsrud --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Haskell

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- ELM, FABLE, AND THE PRACTICAL IMPLICATIONS OF PROGRAMMING LANGUAGE PHILOSOPHY by Michael Newton ABSTRACT On the surface, Elm and Fable (the F# to JavaScript compiler) look very similar - functional, ML based languages with a focus on pragmatism over complexity. In fact, the most common way of writing JavaScript in Fable is via the ""Elmish"" library which implements the, well, Elm architecture. But the philosophy behind the two languages is very different. Take a tour of the two languages with someone who's used both professionally, and we'll investigate how the different ideas behind them have lead to different features, different ecosystems, and even differences in how teams work with them. Read the full abstract: http://www.lambdadays.org/lambdadays2019/michael-newton --- THE SPEAKER - MICHAEL NEWTON Mostly Functional Human Developer, Architect, Trainer, Consultant: Michael is currently working with NoRedInk to teach children better written communication skills. blog.mavnn.co.uk More on Michael Newton: http://www.lambdadays.org/lambdadays2019/michael-newton --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Fsharp #Elm

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- EFFECTIVE DATA ENGINEERING USING HIGHER KINDED TYPES by Animesh Kumar ABSTRACT In order to create a canonical framework for real-time and batch data processing in the order of 10s of TBs per day, a general purpose framework to instantiate and extend data pipelines is presented here that can be used to ingest, process, and derive ML based inferences from the base data. Read the full abstract: http://www.lambdadays.org/lambdadays2019/animesh-kumar --- THE SPEAKER - ANIMESH KUMAR Senior Software Engineer at Uber I have been a senior engineer with Uber for over 2 years. I have had a history of being part of high velocity teams, and using functional languages to build systems that perform at scale and correctness. Data engineering with functional languages is a field that I did some groundbreaking work on recently. LinkedIn: @anmshkmr More on Animesh Kumar: http://www.lambdadays.org/lambdadays2019/animesh-kumar --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #MachineLearning #DataEngineering #Spark #Flink

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- DESYNCHRONIZED INFORMATION PROPAGATION FOR HIGHLY SCALABLE SIMULATIONS by Mateusz Paciorek ABSTRACT Efficient information flow in complex, often micro-scale simulation systems is a challenging task. In previous work we presented the way to utilize Akka in the process of creating highly concurrent, distributed, message-driven simulation system. Mechanisms of Akka Actors and Akka Clustering proven to be efficient enough to provide near linear scalability in range of tens of thousands of computational cores. We delved further into this topic to ensure that developed method does not influence correctness of simulation. Experimental tests show that wide variety of simulations can be implemented using our framework with negligible impact on the results. Read the full abstract: http://www.lambdadays.org/lambdadays2019/mateusz-paciorek --- THE SPEAKER - MATEUSZ PACIOREK Enthusiast of too many things PhD student at University of Science and Technology. Acquainted with HPC computation and omnipresent machine learning, currently focused on massively distributed simulation systems. More on Mateusz Paciorek: http://www.lambdadays.org/lambdadays2019/mateusz-paciorek --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala #Akka

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- FUNCTIONAL APPROACH TO SERVERLESS COMPUTATION IN A VISUAL-TEXTUAL PROGRAMMING LANGUAGE by Piotr Moczurad, Miron Markowski and Łukasz Nawojowski ABSTRACT The serverless model of computation is cost-effective and scalable. However, it poses some challenges: remote function management and the cognitive load of a complex system. We find existing tools insufficient and propose a novel approach using the Luna programming language, its visual-textual representation of programs and functional semantics. We leverage it to create a proof-of-concept framework for remote function management and execution, using AWS Lambda as a base platform. Read the full abstract: http://www.lambdadays.org/lambdadays2019/piotr-moczurad --- THE SPEAKERS PIOTR MOCZURAD Member of the Luna team, Haskell developer More on Piotr: http://www.lambdadays.org/lambdadays2019/daniel-urban MIRON MARKOWSKI Artist wannabe More on Miron: http://www.lambdadays.org/lambdadays2019/miron-markowski ŁUKASZ NAWOJOWSKI Rambler More on Łukasz: http://www.lambdadays.org/lambdadays2019/lukasz-nawojowski --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Luna

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- VERIFYING STATE MACHINE TRANSITIONS WITH SCALA TYPES by Daniel Urban ABSTRACT While a lot of software systems implement and use finite-state machines, the correctness of the state transitions and operations is usually not statically verified. We present a Scala library, which allows defining statically verified domain-specific languages (DSLs) for working with state machines. Our library enables the compile-time checking of the implementation of these DSLs, by encoding states into Scala types, and using an indexed free monad and a type class for restricting state transitions. Read the full abstract: http://www.lambdadays.org/lambdadays2019/daniel-urban --- THE SPEAKER - DANIEL URBAN Research Engineer at Nokia Bell Labs I'm a research engineer at Nokia Bell Labs, currently working on distributed systems with Scala. During this work, and sometimes in my free time, I occasionally contribute to open source Scala libraries (like shapeless or Cats). More on Daniel Urban: http://www.lambdadays.org/lambdadays2019/daniel-urban --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- ANNOUNCING BROADWAY by José Valim ABSTRACT Broadway is a new open source project by Plataformatec that aims to streamline data processing pipelines. It allows developers to consume data efficiently and concurrently from many systems, such as Amazon SQS, RabbitMQ, Google Cloud PubSub and others. Read the full abstract: http://www.lambdadays.org/lambdadays2019/jose-valim --- THE SPEAKER - JOSÉ VALIM Elixir Creator José Valim is the creator of the Elixir programming language and member of the Rails Core Team. He graduated in Engineering in São Paulo University, Brazil and has a Master of Science by Politecnico di Torino, Italy. He is also the lead-developer of Plataformatec, a consultancy firm based in Brazil, and an active member of the Open Source community. More on José Valim: http://www.lambdadays.org/lambdadays2019/jose-valim --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Elixir

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- LOGIKCAL LAMBDA-CALCULUS; OR, A GUY WITH AN AXE OF TAIPEI by Einar Høst & Jonas Winje ABSTRACT What do we know about logic and programming? Well not much perhaps, but we do know that logic is terribly hard (and proving things is even harder), whereas you can teach yourself C in 24 hours. And so it would be useful if there were some correspondence between logic and programming, because then we could do the easy thing instead of the hard thing! Ha ha! And lo and behold! There is! By magic, luck or the nature of the universe, there is a deep corresporphism between the two, that we will explore in this talk. Which is to say we'll write programs that produce walls of unintelligible symbols as proofs. Read the full abstract: http://www.lambdadays.org/lambdadays2019/einar-host --- THE SPEAKER - EINAR HØST A computer Einar W. Høst is a computer at NRK, the Norwegian public broadcaster. He thinks that programs should be written for people to read and also for machines to laugh at. He has a PhD in Computer Science from the University of Oslo. More on Einar: http://www.lambdadays.org/lambdadays2019/einar-host THE SPEAKER - JONAS WINJE A human Jonas is a developer and construKction worker at Computas, with an MSc in Computer Science from the University of Oslo. Codes in new-old languages like Java and Smalltalk at work. Plays with lambdas and programming languages outside of. Almost organizes a lambda-almost-meetup sometimes. Wants to have a goat and a maybe donkey. Donkeys are like small horse-rabbits. More on Jonas: http://www.lambdadays.org/lambdadays2019/jonas-winje --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Calculus

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- CLOJURESCRIPT AND REACT WITHOUT JAVASCRIPT by Rakhim Davletkaliyev ABSTRACT Web development and modern JS ecosystem can be daunting, especially if you like simplicity, immutability and FP. Being able to create complex React Apps without using any JavaScript, but rather compiling from Clojurescript is a breath of fresh air. I'd like to share my experience writing React-powered apps using Clojurescript, Reagent and Figwheel. ClojureScript compiles to JavaScript and, thanks to modern tools like Reagent and Figwheel, actually make writing React apps easier than with traditional React JS library. These apps are also generally faster than natively-written ones, thanks to build-in immutability and leveraging the Google Closure compiler. We need more functional programmers on the frontend side! The web is going somewhere dark, and we can help. Read the full abstract: http://www.lambdadays.org/lambdadays2019/rakhim-davletkaliyev --- THE SPEAKER - RAKHIM DAVLETKALIYEV A mutable entity Software developer since 2010. Co-founder of Hexlet, an educational startup from Finland which is the home of 200k students who learn computer programming and software development, get hired and build cool stuff. In November 2019 resigned as CEO and about to launch something new. Rakhim organizes free workshops and open lectures on programming and computing in Helsinki. Blogs at rakhim.org. More on Rakhim Davletkaliyev: http://www.lambdadays.org/lambdadays2019/rakhim-davletkaliyev --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Clojure #ClojureScript #React #JavaScript

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- DIVING INTO MERKLE TREES by Pedro Tavares ABSTRACT Introduced in 1987 by Ralph C. Merkle, the Merkle Tree is a data structure used for efficiently summarizing and verifying the integrity of large sets of data. Due to its unique content validating and performance qualities, they are especially useful in distributed, peer-to-peer systems where the same data should exist in multiple places. Let's learn how to detect inconsistencies between trees and reduce the amount of transferred data enabling peer-to-peer file sharing by building our own tree with Elixir. Read the full abstract: http://www.lambdadays.org/lambdadays2019/pedro-tavares --- THE SPEAKER - PEDRO TAVARES Making functions pure one at a time Pedro is a passionate Software Engineer currently working at Talkdesk. Distributed Systems and Software Engineering best practices bring a big smile on his face. He likes to read books and scientific papers on Computer Science and he's currently running the Porto's chapter of Papers We Love. Check out his blog: ordepdev.me More on Pedro Tavares: http://www.lambdadays.org/lambdadays2019/pedro-tavares --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Elixir

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- BRIDGING THE DIVIDE: A PHILOSOPHY OF LIBRARY DESIGN by Brooklyn Zelenka ABSTRACT Ever wished that you had feature X in language Y? Frustrated that two libraries don't play nice together? Have framework fatigue? Language design principles also extend to libraries. This is especially true when porting concepts and features from another language or ecosystem. In this follow-up to her Empex 2018 keynote, Brooklyn will explore a philosophy of library design with an eye towards porting, drawing concretely from her experiences bootstrapping features primarily inspired by Haskell and OCaml to Elixir. Which factors do you need to balance, when is it appropriate to deviate from the core syntax (of both source and target), and importantly: how far can you bend before you break? Read the full abstract: http://www.lambdadays.org/lambdadays2019/brooklyn-zelenka --- THE SPEAKER - BROOKLYN ZELENKA Programs with functions λ Brooklyn is a founding partner at Robot Overlord Software, where she specializes in FP consulting, training, and blockchain R&D. She founded the Vancouver Functional Programming meetup, mentors emerging Haskellers a couple times per week, and is the author of several Elixir libraries including Exceptional, Quark, Algae, and Witchcraft. More on Brooklyn Zelenka: http://www.lambdadays.org/lambdadays2019/brooklyn-zelenka --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #library #porting #witchcraft #Elixir

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- STATE VS STATEFUL ACTORS by Krzysztof Otrębski ABSTRACT During this talk I will show you how we can move the logic from actors into a monad state. We will see the benefits of the logic implemented in composable, side-effect-free way. The talk is based on a project that keeps all of the business logic inside actors. Our goal is to refactor actors into a monad state. The changes will make the application more testable and comprehensible. Read the full abstract: http://www.lambdadays.org/lambdadays2019/krzysztof-otrebski --- THE SPEAKER - KRZYSZTOF OTRĘBSKI FP wanna be Krzysztof is a software developer with 10 years of professional experience. Having spent many years on Java programming and problem solving, he has developed useful tools that make a programmer’s life easier. He is also a founder of a few open-source projects. More on Krzysztof Otrębski: http://www.lambdadays.org/lambdadays2019/krzysztof-otrebski --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- (DYS)FUNCTIONAL DDD by Jarek Ratajski ABSTRACT Domain Driven Design patterns are commonly used in business applications. There is, however, a visible mismatch when we look at them from a functional programming perspective. Some concepts seem to fit perfectly: like event sourcing. Some, however, seem to be built around mutability or side effects like aggregates or commands in CQRS. Some are just hard to grasp like domain events, integration events. In this talk we will try to revisit the core concepts of DDD from a functional perspective and build a simple system using a little bit more functional approach. Read the full abstract: http://www.lambdadays.org/lambdadays2019/jarek-ratajski --- THE SPEAKER - JAREK RATAJSKI Java developer with a functional heart JVM Developer since 1999 More on Jarek Ratajski: http://www.lambdadays.org/lambdadays2019/jarek-ratajski --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #DDD

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- LIGHTNING TALK: FIGHTING THE LAW OF PHYSICS WITH ELM by Andrey Kuzmin --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Elm

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- LIGHTNING TALK: TAGLESS FINAL ENCONFING IN SCALA by Juan Pablo Royo --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays #Scala

This video was recorded at Lambda Days 2019 http://www.lambdadays.org/lambdadays2019 Get involved in Lambda Days' next conference http://www.lambdadays.org --- LIGHTNING TALK: THE MAGIC OF CURRYING by Kolja Wick --- LAMBDA DAYS & ERLANG SOLUTIONS Lambda Days is powered by Erlang Solutions. Lambda Days 2019 was sponsored by Brainly, Schibsted, Standard Chartered, Erlang Solutions, NoRedInk & Uber. LAMBDA DAYS Website: http://www.lambdadays.org Twitter: https://twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/lambda-days/ Mail: info at lambdadays.org #LambdaDays