http://stackoverflow.com/questions/2693067/what-is-meant-by-scalas-path-dependent-types http://stackoverflow.com/questions/2693067/what-is-meant-by-... they ar

http://stackoverflow.com/questions/2693067/what-is-meant-by-scalas-path-dependent-types http://stackoverflow.com/questions/2693067/what-is-meant-by-... they are kinda cool, but also limited as hell.