Если вы знаете разницу между восходящим приведением и понижающим приведением, вы все равно можете ошибиться, потому что вы можете только сделать обоснованное предположение о том, как изобретатель этих имен рисует свои деревья наследования. .
В информатике деревья в большинстве случаев врастают в землю или слева направо, поэтому вы знаете, что понижающее приведение, вероятно, означает приведение к более специализированному типу, но с формулировкой, которая заставляет вас делать такое догадка ужасна.
Есть ли более разумная терминология для этих понятий?