Odersky: Essence of Scalascala-lang.org 4 pointspathikrit10 years ago1 commentSaveHideCopy link On HNComments−a4dev10yHere 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/09e5f51ce1436f590c7dTo this I added a comparison using type parameters instead.
Comments
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.