Questions marquées «parametricity»

3
Comment motiver la paramétricité relationnelle?
Existe-t-il un moyen naturel de comprendre l'essence de la sémantique relationnelle pour le polymorphisme paramétrique? Je viens de commencer à lire sur la notion de paramétrie relationnelle, à la "Types, abstraction et polymorphisme paramétrique" de John Reynolds, et j'ai du mal à comprendre comment la sémantique relationnelle est motivée. La …
1
Transformations naturelles et paramétricité
Dans les théorèmes gratuitement! , Wadler dit que la caractérisation de la paramétricité peut être ré-exprimée en termes de transformations naturelles laxistes et cela fera l'objet d'un autre article. De quel document parle-t-il? L'approche catégorique de la paramétricité que je connais utilise des transformations dinaturelles comme dans le polymorphisme funéraire …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.