为什么面向对象编程中变量名不应该加入表示类型的信息

最近工作中和同事讨论需要不要在规范变量命名加入变量类型信息。我们的编程语言是C++，我觉得不应该加入类型信息，以下是我的理由：

1.面向对象编程的主要特点就是封装实现细节，而类型信息是一种细节，应该尽可能的隐藏。

2.迭代开发可能是极不稳定的，如果变量名中加入了类型信息，改变类型就需要改变变量名，虽然现代编辑器可以轻松的实现批量重命名，但是还是要多一步操作。

3.现代的大多数编辑器可以方便的查看变量定义，没有必要增加类型信息。