Explain the distinction between derived types and subtypes in Ada. Explain the differences among type conversion, type coercion, and nonconverting type casts. Summarize the arguments for and against...

Explain the distinction between derived types and subtypes in Ada. Explain the differences among type conversion, type coercion, and nonconverting type casts. Summarize the arguments for and against coercion. Under what circumstances does a type conversion require a run-time check?