stream pour Big_Natural

Bonjour :-)


Est il possible de définir un "stream" pour un sous-type ?

J'aurais une proposition à faire pour un "stream" pour Ada.Numerics.Big_Numbers.Big_Integers.Big_Natural,
le problème c'est que c'est totalement incompatible avec Big_Integer :


Il y a un certain temps, j'avais fait un type "Naturel" (ce qui me parait le plus approprié comme type de base pour tous les nombres, plutôt que "Positif" ou "Entier"), et le stream qui va avec.

Ensuite, j'avais fait un type "Entier", à partir d'un Naturel en ajoutant un booléen, et son stream, en multipliant celui du Naturel par 2 et en insérant les valeurs négatives de l'Entier dans les valeurs impaires du Naturel.


L'avantage, c'est que Naturel a son stream à lui (et personnellement j'aime beaucoup la forme que je lui ai trouvé :-) ), sans que ça empêche Entier d'avoir le sien (j'aime beaucoup moins, c'est un dérivé plus ou moins bien ficelé).

L'inconvénient, c'est qu'on est obligé de connaitre le type du nombre à lire avant de lire le stream.


Si on ne peut pas définir un "stream" pour un sous-type, le problème c'est qu'on ne peut pas faire les 2 : on est obligé de choisir l'un ou l'autre :-(


-- 
RAPID maintainer
http://savannah.nongnu.org/projects/rapid/

_______________________________________________
Ada-france mailing list
[email protected]
https://mail.ada-france.org/cgi-bin/mailman/listinfo/ada-france