News for hackers. Stuff that matters.
Re:Scala Center by lmm on Thursday March 17, 2016 @08:17AM (#11303877)
I think they model higher kinds as a special case of path-dependent types.

There are no comments on this comment yet.