Je ne comprend pas de lien entre le propos, la référence, et la conclusion.
Ainsi tu ne peux pas faire des fonctions qui travaillent sur les réels privés des rationnels sauf si tu crées un nouveau type pour les représenter (ou que tu plantes si une condition n'est pas vérifiée).
Oui, il suffit de le faire. On a le droit, ainsi on créé un type T = R\Q, clairement T est un sous ensemble de R. Si tu as une instance de T tu peux la passer sans risque à une fonction qui veut une instance de R.
Il y a plein de langages de programmations qui autorise le programmeur à exprimer cette relation, en prog objet on appelle ça l'héritage. (Toute instance de T est une instance de R).
[^] # Re: Pascal...
Posté par Zylabon . En réponse au journal Python comme premier langage de programmation ?. Évalué à 2.
Je ne comprend pas de lien entre le propos, la référence, et la conclusion.
Oui, il suffit de le faire. On a le droit, ainsi on créé un type
T = R\Q, clairementTest un sous ensemble deR. Si tu as une instance deTtu peux la passer sans risque à une fonction qui veut une instance deR.Il y a plein de langages de programmations qui autorise le programmeur à exprimer cette relation, en prog objet on appelle ça l'héritage. (Toute instance de T est une instance de R).
Please do not feed the trolls