Haven't had one of these anti-C++ threads/rants in a while, prbably not much new here https://news.ycombinator.com/item?id=4969372 https://news.ycombinator.com

Haven't had one of these anti-C++ threads/rants in a while, prbably not much new here https://news.ycombinator.com/item?id=4969372 https://news.ycombinator.com/item?id=4969372 http://news.ycombinator.com/item?id=4539251 http://news.ycombinator.com/item?id=4539251 http://news.ycombinator.com/item?id=3712292 http://news.ycombinator.com/item?id=3712292 ______________ this mechanization of the lang spec in Coq looks interestng http://hal.inria.fr/hal-00674663/en http://hal.inria.fr/hal-00674663/en