c'est bien une fonction polymorphe, pourtant, je ne vois nulle trace de décision dynamique en fonction du type... On a beau appeler polymorphisme des choses qui n'ont rien à voir, on utilise quand même des adjectifs pour les différencier : ad-hoc vs. paramétrique, ici.
[^] # Re: Ça rejoint les typeclass de haskell, template du C++, Go
Posté par Perthmâd . En réponse au journal Le problème de la POO pratiquée par des étudiants. Évalué à 5.
Ah bon ? Pourtant :
⊢ λx.x : ∀α.α → α
c'est bien une fonction polymorphe, pourtant, je ne vois nulle trace de décision dynamique en fonction du type... On a beau appeler polymorphisme des choses qui n'ont rien à voir, on utilise quand même des adjectifs pour les différencier : ad-hoc vs. paramétrique, ici.