"Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022)

Gjeta Gjyshinca explains how to separate business logic from execution concerns in Scala without letting monads invade the type system.

Traditionally, libraries that support asynchronous execution invade the type system, with monad-like constructs changing function signatures, and execution concerns inevitably leaking into business logic. Our platform is different. Automated asynchronous execution; caching; a bitemporal data store; distribution; dependency tracking - these are just some of the core features our platform provides. And what do our users see? For the most part, five extra characters, @node, a guarantee of referential transparency for our compiler and runtime. Built on top of Scala and now a decade old, our platform draws on ideas from the Scala community to provide a solution for a programming framework that truly separates business logic from execution concerns. At last, it's being open-sourced, and it will run on cloud. Join this session to see live coding demos and a whole new paradigm for concurrency. Gjeta Gjyshinca Software Developer, Morgan Stanley Gjeta is a software developer at Morgan Stanley, working on the core of the platform she will present. Her work focuses on the cache and the scheduler, with a big focus on performance. Gjeta is involved in Morgan Stanley's volunteering efforts to teach students to code, expanding the programme in London and now involved in teaching at schools in New York. She has also worked with Global Code to teach students in Ghana, and is now involved in Talent Beyond Boundaries, a charity helping skilled refugees find work. ------ Sponsored by: ------ Stream is the # 1 Chat API for custom messaging apps. Activate your free 30-day trial to explore Stream Chat. gstrm.io/tsl