Simplicitly - Foundations and Applications of Implicit Function Types

Explore a 30-minute conference presentation from POPL 2018 that delves into the foundations and applications of implicit function types in programming languages. Learn how researchers from EPFL and Northeastern University extend Scala's implicit parameters to create a more powerful abstraction mechanism for handling contextual programming. Discover the formal bidirectional type-checking system that mirrors the Scala compiler's implementation, and examine practical applications including the builder pattern, tagless interpreters, and reader and free monads. Gain insights into how implicit function types can improve context handling in programming while evaluating their performance implications in monadic structures.