私は c++/qt プログラミングに少し慣れてきており、大学では Ada でプログラミングをしていました。私が本当に恋しいのは、Ada で作成できるサブタイプです。たとえば、integer を currency と weight にサブタイプします。そして Ada は、通貨変数を重み変数に割り当てないようにします。どちらも基本的に整数であり、すべての機能はそのままです。それらを割り当てることはできません。主要な言語にこのようなものはありますか？私は本当にこれが恋しいです。
C++ での例は大歓迎です。非常に複雑なクラスの構築とテンプレートのいじりはカウントされません:)。