Je ne suis pas grand connaisseur du C++, mais j'aime bien ton approche. :-)
En OCaml, on utilise le type polymorphe 'a option = None | Some of 'a (c'est l'équivalent de : un pointeur null ou un pointeur sur un objet de type 'a) pour faire cela. Je préfère également cette approche à celle par gestion des exceptions. La bibliothèque standard à tendance à utiliser des exceptions, là où la version de jane street fournit les fonctions en deux exemplaires : avec exception ou avec un type 'a option en retour.
J'avais eu une discussion sur le sujet avec Perthmâd (où je l'illustrais par le calcul du prédécesseur sur les entiers naturels, et la façon de gérer le cas n = 0), et selon lui cela correspond à une transformation logique connue sous le nom de Friedman's trick. Moi je le vois comme une façon de rester purement constructif, et d'éviter d'avoir à raisonner par l'absurde.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Je n'aime pas la SFML
Posté par kantien . En réponse à la dépêche SDL ou SFML ? Ne choisissez plus, prenez Gamedev Framework (gf). Évalué à 3.
Je ne suis pas grand connaisseur du C++, mais j'aime bien ton approche. :-)
En OCaml, on utilise le type polymorphe
'a option = None | Some of 'a(c'est l'équivalent de : un pointeur null ou un pointeur sur un objet de type'a) pour faire cela. Je préfère également cette approche à celle par gestion des exceptions. La bibliothèque standard à tendance à utiliser des exceptions, là où la version de jane street fournit les fonctions en deux exemplaires : avec exception ou avec un type'a optionen retour.J'avais eu une discussion sur le sujet avec Perthmâd (où je l'illustrais par le calcul du prédécesseur sur les entiers naturels, et la façon de gérer le cas
n = 0), et selon lui cela correspond à une transformation logique connue sous le nom de Friedman's trick. Moi je le vois comme une façon de rester purement constructif, et d'éviter d'avoir à raisonner par l'absurde.Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.