有没有像Ada这样的子类型的主要编程语言？

Question

我正在学习c ++ / qt编程，并习惯在大学时与Ada一起编程。我真正想念的一件事是您可以在Ada中创建的子类型。 例如，您可以将整数转换为货币和重量。 Ada会确保您不会将货币变量分配给权重变量。两者基本上都是整数，所有功能都完整无缺。你无法分配它们。在任何主要语言中都有这样的东西吗？我真的很想念这个。

非常感谢C ++中的一个例子。超级复杂的类构造和模板修补不计算：）。