Keynote - What to Leave Implicit by Martin Odersky

This video was recorded at Scala Days Chicago 2017

Abstract:
To understand a piece of program text one must also understand the con-text in which the program is to be executed. Modern programming languages offer an array of constructs to define context. In Scala, those constructs can be summed up as the three I's: Imports, Inheritance, and Implicits. Implicits in particular are a central, but also controversial part of the language.

This talk explores the different facets of implicits in Scala, as they exist now and as they might evolve in the future. It highlights their potential benefits and problems, covering aspects of design, implementation, and ergonomics.

[aminesagaama]

A very good presentation about implicit ! Thank you Martin Odersky !

[JonathanWillistheAmazing]

Are there currently any dependency injection frameworks based on implicits?

[MegaBrownee]

So his/Rust's comment about not dialing up Applicability, Power, and Scope simultaneously ("invisible, infinitely powerful, and all-encompassing) is hilarious.

Isn't that the definition of a compiler's optimizer? Maybe we should think about that...