Tipi personalizzati vs Condizioni ed eccezioni per il controllo dei parametri in Ada

Devi assolutamente scegliere i sottotipi per specificare quali sottoinsiemi di un tipo sono validi per le singole operazioni che manipolano un tipo.

Puoi farlo anche usando i tipi derivati. Questo ha senso, se tu (per esempio) hai un numero finito di sottoinsiemi e la maggior parte delle tue manipolazioni non cambia quale sottoinsieme del tipo, a cui appartiene un'entità specifica.

In genere è possibile scrivere contratti sottotipo abbastanza buoni anche nell'Ada 95. Ada 2012 ha aggiunto ancora più dettagli a grana fine al formalismo del contratto.

Mi dispiace che la mia risposta sia un po 'astratta, ma spero che ti aiuti a iniziare.

La lingua di Ada ha storicamente un strong focus sul sistema dei tipi, con verifiche sia in fase di compilazione che in fase di esecuzione che le assegnazioni hanno senso e che le variabili contengono valori che rientrano nel loro intervallo valido.
Questa storia mi fa credere - non posso dirlo con certezza, dato che non sono un programmatore Ada - che un approccio derivato / sottotipo con i controlli generati dal compilatore sarà ampiamente preferito rispetto ai controlli manuali che il valore è compreso nell'intervallo previsto .

Oltre alle considerazioni specifiche sull'Ada, in genere è meglio trovare i problemi prima o poi. Se il tuo compilatore (o altri strumenti di costruzione) possono mostrarti che stai scrivendo valori illegali, allora è preferibile trovarlo in un test in fase di esecuzione. Prima ti viene notificato il problema, prima puoi correggerlo e meno sforzo ci vuole per vedere cosa deve essere corretto.