Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Seminar/2009-03-25 + (Si une fonction φ promet de manipuler une … Si une fonction φ promet de manipuler une valeur de type α sans</br>l'observer, on peut utiliser son code sans risque pour toutes les</br>affectations possibles de α : que la valeur soit entière (α = int) ou</br>qu'elle soit un arbre (α = tree), la fonction se comportera</br>toujours de façon identique. Cette propriété s'appelle le polymorphisme</br>paramétrique, l'essence de la généricité.</br></br>Promettre de ne pas observer de trop près son argument est un fardeau</br>parfois insupportable pour une fonction, pour des raisons</br>algorithmiques (comment prendre une décision sans savoir ce que vaut</br>mon argument ?), ou encore pour des raisons de performances de</br>bas-niveau (si je sais que α = int, je peux utiliser une primitive</br>dédiée de mon processeur). Même si le type d'une valeur est caché</br>derrière un type plus abstrait α, on peut fournir des mécanismes pour</br>« le redécouvrir » grâce à des tests dynamiques ou à des raisonnements</br>purement statiques. La propriété qui permet de diriger son calcul par</br>la forme des types est appelée le polymorphisme intentionnel.</br></br>Dans cet exposé, nous présenterons plusieurs versions du</br>polymorphisme intentionnel offertes par différents systèmes de types</br>et de preuves sûrs (c'est-à-dire garantissant que les programmes</br>ne peuvent pas planter et sont corrects vis-à-vis de leur spécification).corrects vis-à-vis de leur spécification).)