Scala严格类型系统与C++类型系统

Question

对于Scala的严格类型系统的粉丝,但是C++的粉丝:

• 是否有可能强迫自己以相同的严格程度编写C++？(不使用void*,不投入很多,拳击简单值类型即struct Month {int value;};).
• 或者C++默认情况下甚至比 Scala 更严格(如果你不努力使用强制转换)？尽管C++模板的"鸭子打字" - 它仍然不会让你编译,如果它不适合,对吧？
• 难道的C++ 0x(WRT到C++ 03)添加的东西的人谁愿意服从自己到完全类型安全的编程？

Answer 1

简短回答:是的,您可以达到相同级别的类型安全性,但这会给程序员带来负担.这不仅仅是提供相同安全性的问题,类型系统还必须足够强大和灵活,以便于类型安全编程,在这方面,Scalas类型系统优于C++.

C++ 0x将添加lambda表达式,这将有助于使用HOF的map,filter,flatMap等.