Au sujet du « faux », ne penses-tu pas que les développeurs OCaml peuvent utiliser le type polymorphe 'a option pour représenter cette notion ?
En fait, cette interprétation du faux correspond exactement à une transformation logique connue sous le nom de Friedman's trick. Du côté langage de programmation, cela correspond à ajouter une exception dynamique, ce qu'OCaml a déjà en style direct (i.e. sans passer par une traduction).
[^] # Re: Le web
Posté par Perthmâd . En réponse au journal Qui fait des trucs "cools" en France et en Europe?. Évalué à 2.
En fait, cette interprétation du faux correspond exactement à une transformation logique connue sous le nom de Friedman's trick. Du côté langage de programmation, cela correspond à ajouter une exception dynamique, ce qu'OCaml a déjà en style direct (i.e. sans passer par une traduction).