🚀 go-pugleaf

Le Sun, 26 Aug 2012 00:07:54 +0200, slos <new.stephane.los@gmail.com> a  
écrit:

> De ce que je comprends, une ligne comme :
>    subtype Byte is Interfaces.Unsigned_8;
> définit une sorte d'alias que

Oui et non, et plutôt non. Un subtype est un sous‑type, comme son nom  
l’indique. C’est seulement que en Ada il n’existe pas de clause “renames”  
pour les types (elle n’est utilisable que pour les entitées : les objects  
et les sous‑programmes), c’est un idiomes courant que d’utiliser les  
sous‑types pour remplir ce rôle. Si je souligne qu’un sous‑type n’est pas  
un alias d’un type, c’est pour rappeler que les sous‑type ont d’autres  
usages à côté desquels il serait dommage de passer.

> Pour mes fonctions SHL et ROL, cela fonctionne également, mais à la  
> condition expresse que je with Interfaces dans le paquetage fils, ce que  
> je souhaiterais éviter si possible.

Ça dépend probablement de l’intention, de pourquoi il devrait être évité.  
Le paquet “Ada.Interfaces” est standard, il ne faut pas craindre de  
l’utiliser quand il est indiqué.

> Pourquoi faut-il faire ce with ?

Parce qu’il faut en faire un pour introduire n’importe quel paquet ;)

Peut‑être qu’y ajouté une clause “use” conviendrait ?

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University