There's a prolog in your scala
summary
Explains how Scala’s type-level programming can be viewed as logic programming, showing that complex implicit-based code (e.g. chains of 8+ implicits like FnHipsterAux) performs logical reasoning at compile time. Demonstrates how this perspective can yield runtime benefits and suggests ideas for designing a clearer syntax for type-level computations in Scala.
AI-written summary · about
related talks
48mA gentle introduction to type level programming in Scala
42mLet the Compiler Help You: How to Make the Most of Scala's Type System
50mImplicits Inspected and Explained
01h 57mTypes as Program Specifications: A Intro to Type-Level Programming in Haskell
49mIdris for (im)practical Scala programmers
44mTelling the Truth with Types
23mType-Level Programming with Match Types
55mKeynote: Propositions as Types