:strip_exif()/u/31626/eend.gif?f=community)
Ik ben wat aan het spelen met een typesysteem en ben bezig met bounded (parametric) polymorfisme. Ik kom hierbij regelmatig de kreet 'f-bounded polymorphism' tegen, maar ik kan hier nergens degelijke uitleg over vinden. Wie kan me aan wat literatuur (op het inet) helpen?
[edit]
Ik ben geloof ik al iets tegen gekomen, wat een andere search engine te weeg kan brengen.
http://citeseer.nj.nec.com/304668.html
[edit2]
Wat f-bounded polymorphism zo bijzonder maakt is dat in het bound type van een typevariable a, a mag voorkomen.
vb:
class Foo<a extends Bar<a>>{}
Hierin is Bar<a> het boundtype van a, verder komt a in dit boundtype voor.
[edit]
Ik ben geloof ik al iets tegen gekomen, wat een andere search engine te weeg kan brengen.
http://citeseer.nj.nec.com/304668.html
[edit2]
Wat f-bounded polymorphism zo bijzonder maakt is dat in het bound type van een typevariable a, a mag voorkomen.
vb:
class Foo<a extends Bar<a>>{}
Hierin is Bar<a> het boundtype van a, verder komt a in dit boundtype voor.
[ Voor 59% gewijzigd door Alarmnummer op 09-04-2003 09:52 ]