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