Screw Scala

[udpn]

Development in C++ seemed OK while I knew nothing about path-dependent types. I've just been writing a parser that would be 10x more simple with PD-types and realized there's no way even to emulate some.

UPD. I've just got terrorized by the fact that I don't even need path-dependent types. There are places where C++ is not type safe through all

Comments

[udpn]

А зачем здесь эта ссылка?

[m_e_again]

подробности давай, подробности! по всем заявленным случаям

*иногда* вместо path-dependent types в с++ может прокатить фича с++: параметром шаблона может быть не только целое число или класс, но и любая переменная со статическим классом линковки

[udpn]

Ну тут как раз нужно, чтобы объект наружного класса был параметром замыкания. В джава тривиально делается через outer.new inner(args), а в С++ приходится прыгать через хулахуп с new inner(outer, args), что особенно досаждает, когда этот new inner нужно сделать в operator +, у которого outer просто неоткуда взять. (Впрочем, в позорной джавке нет operator + вообще.)