Généricité
Généricité - Divers - Programmation
Marsh Posté le 02-12-2002 à 08:50:13
Mé, cai pô môa
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 02-12-2002 à 08:52:28
N'étant pas spécialiste eiffel, quelqu'un peut m'expliquer ce qu'est un type ancré ?
Sinon, j'aime bien les types paramétrés (La généricité que l'on trouve en C++ ou en Ada). Qui permet un code plutot générique et gardant la contrainte sur le type. Même si c'est parfois un peu lourd, je trouve ça plus agréable que les collectgions d'objet non typés que l'on trouve en java.
Message édité par kadreg le 02-12-2002 à 08:56:16
---------------
brisez les rêves des gens, il en restera toujours quelque chose... -- laissez moi troller sur discu !
Marsh Posté le 02-12-2002 à 08:52:35
Inadéquation entre la question et le post ...
---------------
Just because you feel good does not make you right
Marsh Posté le 02-12-2002 à 08:57:58
| DarkLord a écrit a écrit : Inadéquation entre la question et le post ... |
ben si, si t'as un algo générique tu dois pas le réecrire pour tous les types
Marsh Posté le 02-12-2002 à 08:58:39
| lorill a écrit a écrit : ben si, si t'as un algo générique tu dois pas le réecrire pour tous les types |
vu comme ca éventuellement ... mal réveillé 
---------------
Just because you feel good does not make you right
Marsh Posté le 02-12-2002 à 09:45:15
| kadreg a écrit a écrit : N'étant pas spécialiste eiffel, quelqu'un peut m'expliquer ce qu'est un type ancré ? Sinon, j'aime bien les types paramétrés (La généricité que l'on trouve en C++ ou en Ada). Qui permet un code plutot générique et gardant la contrainte sur le type. Même si c'est parfois un peu lourd, je trouve ça plus agréable que les collectgions d'objet non typés que l'on trouve en java. |
La covariance :
class A {
method A a(param:B);
}
class C subclassof A {
method C a(param:D);
}
dans le cadre de la covariance, D doit-être un sous-type (inclusivement) de B, la relation entre D et B varie dans le même sens que celle entre C et A. Bien entendu, dans les systèmes convariants, il n'y a pas de surcharge.
type ancrés :
on dit : "le type de telle variable est celui de telle autre"
class A {
property p:B
method like this a(param:like p);
}
class C subclassof A {
property p
}
"this" est l'instance courante (comme self ou Current), la notation "like" veut dire : "du même type que".
Marsh Posté le 02-12-2002 à 09:51:08
| nraynaud a écrit a écrit : class C subclassof A { method C a(param:D); } class C subclassof A { property p } |
C'est quoi ce truc de merde ! putain on se croirait sur Yahoo!
c'était ": D" (deuxpoints D majuscule) à la place du smiley de merde.
Marsh Posté le 02-12-2002 à 09:58:35
| nraynaud a écrit a écrit : C'est quoi ce truc de merde ! putain on se croirait sur Yahoo! c'était ": D" (deuxpoints D majuscule) à la place du smiley de merde. |
tu connais la balise code ?
comme ca :
Code :
|
LeGreg
---------------
voxel terrain render engine | animation mentor
Marsh Posté le 03-12-2002 à 03:01:22
Dire qu'il y en a qui trouvent ça pas bien 
.
---------------
Bricocheap: Montage de ventilo sur paté de mastic silicone
Marsh Posté le 02-12-2002 à 00:18:33
Nan, c'est vrai quoi, on va passer sa vie à récrire tout le temps le même code.