Academese to English: Scala's Type System, Dependent Types and What It Means To You

Translates research-paper terminology about Scala's type system, in particular path-dependent types, into practical terms for working developers.