Repurposing Scala's Pattern Matching for Deeply Embedded | Functional World #15

Tomáš Mikula presents a technique to repurpose Scala's pattern matching for deeply embedded DSLs without requiring compiler modifications or macros.

The upcoming meeting will focus on Scala, with a spotlight on Repurposing Scala's Pattern Matching for Deeply Embedded DSLs. Could we reuse Scala’s linguistic features, including variable binding and pattern matching, for describing e.g. durable workflows? In particular, could we obtain a reified description of such workflows, one that we could analyze, serialize, or render graphically? Can we get nested pattern matching on user-defined domain-level ADTs? Although Scala-Virtualized, an experimental branch of the Scala compiler, gave us means to do so a decade ago, it never made it to the mainline Scala compiler. In this talk, Tomas is going to present an alternative technique to repurpose Scala’s pattern matching for deeply embedded DSLs, one that does not require changes to the compiler. Additionally, the presented library solution (from Libretto) comes with translation to point-free representation, which not only avoids the trouble of managing variable bindings, but also makes non-exhaustive pattern matches unrepresentable! And all of that without macros. The technique is used in the Libretto project for pattern matching on domain-level ADTs. However, Tomas is going to demonstrate it on a simpler, demo DSL for defining durable workflows. Thus, as a bonus, attendees will get an unorthodox approach to durable workflows that’s not based on replaying the event log. Meet the speaker: The session will be led by Tomáš Mikula, Software Developer. By day, Tomas leverages existing tools to solve business challenges, and by night, he creates innovative tools to push the boundaries of programming. His passions include functional programming, metaprogramming, and domain-specific languages (DSLs), all aimed at improving the programming experience for everyone. Tomas is also the creator of Libretto. ------------------ ▶️ Looking for a job? Check out our careers page! scalac.io/careers 📸 Follow Scalac on social media! Instagram: / scalac.backstage Linkedin: linkedin.com/company/scalac/ Twitter: x.com/scalac_io Facebook: / scalac.io 📩 Join our Meetup group to stay up to date with our events : meetup.com/functionalworld/?eventOrigin=event_home_page