Polymorphic Record Types in a Limited Embedding

Explore polymorphic record types in limited embeddings through this Scala Days Berlin 2016 conference talk. Dive into the "lifted embedding" at the core of Slick, Lightbend's relational database library for Scala. Learn how standard Scala language features enable a DSL for working with database tables using syntax similar to Scala collections. Discover the "Shape" abstraction that allows for standard Scala tuples in the DSL with arbitrary nesting, supporting Slick's HList implementation and custom record types. Understand the role of functional dependencies, added in Scala 2.8, in implementing the "CanBuildFrom" abstraction. Follow the progression from toy Slick AST and lifted representation to complex queries, covering topics such as literal primitive values, extension methods, table instances, tuple encoding, and HList shapes. Gain insights into building efficient and flexible database interactions using Scala's advanced type system features.