from Hacker News

Odersky: Essence of Scala

by pathikrit on 2/5/16, 1:59 AM with 1 comments

• by a4dev on 2/5/16, 2:52 AM

  Here is the example from @odersky et al http://infoscience.epfl.ch/record/215280/files/paper.pdf showing the utility of path dependent types extracted as a gist.

  https://gist.github.com/arnolddevos/09e5f51ce1436f590c7d

  To this I added a comparison using type parameters instead.