Je n'ai pas (encore ?) lu "Le fantôme de la transparence", mais je pense que tu sautes un peu du coq (sic) à l'âne. En réalisabilité, en ludique, et sans doute dans les derniers machins de Girard l'idée des tests est importante, mais on utilise le mot "test" dans ce contexte parce que ça nous rappelle les "tests" que l'on effectue quand on écrit un programme mais aussi quand on construit une voiture, un lave-linge etc. Je pense que c'est une idée importante de parler de propriétés (subject reduction, principal types, type erasure...) comme de tests de concepts, mais pour moi c'est à approcher du cadre général des lave-linges et des voitures. C'est donc lié aussi, transitivement, aux tests de la réalisabilité ou de la ludique, mais ce n'est pas plus lié à ces derniers qu'à ceux des cuisinières à gaz.
[^] # Re: Questions en vrac.
Posté par gasche . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 3. Dernière modification le 18 octobre 2017 à 10:53.
Je n'ai pas (encore ?) lu "Le fantôme de la transparence", mais je pense que tu sautes un peu du coq (sic) à l'âne. En réalisabilité, en ludique, et sans doute dans les derniers machins de Girard l'idée des tests est importante, mais on utilise le mot "test" dans ce contexte parce que ça nous rappelle les "tests" que l'on effectue quand on écrit un programme mais aussi quand on construit une voiture, un lave-linge etc. Je pense que c'est une idée importante de parler de propriétés (subject reduction, principal types, type erasure...) comme de tests de concepts, mais pour moi c'est à approcher du cadre général des lave-linges et des voitures. C'est donc lié aussi, transitivement, aux tests de la réalisabilité ou de la ludique, mais ce n'est pas plus lié à ces derniers qu'à ceux des cuisinières à gaz.