Scala’s Implicits: Porting Haskell’s Type Classes Into a Language That Already Had Subtyping
Philip Wadler invented a coherent mechanism in 1988. Thirty-one years later, he co-authored a paper trying to get some of that coherence back. Type classes are one of the rare prog...