REtourner rien permet d'avoir des fonctions qui fait des effets de bords.
D'ailleurs, pourquoi n'est-il pas possible de définir une entrée/sortie "sous-entendu" ou caché, après tout un read ou un write dans un fichier est simplement une IO caché. Ainsi, on aurait toujours une vérification de type par "en dessous".
Un truc top aussi serait l'inclusion des exceptions dans le typage, car il est difficile de savoir ce qu'une fonction peut lever comme exception. Ou alors, il faut augmenter ocamldoc pour avoir ces infos.
[^] # Re: Précisions sur la facilité de maintenance?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Ocsigen : repenser le développement des applications HTML5. Évalué à 3.
REtourner rien permet d'avoir des fonctions qui fait des effets de bords.
D'ailleurs, pourquoi n'est-il pas possible de définir une entrée/sortie "sous-entendu" ou caché, après tout un read ou un write dans un fichier est simplement une IO caché. Ainsi, on aurait toujours une vérification de type par "en dessous".
Un truc top aussi serait l'inclusion des exceptions dans le typage, car il est difficile de savoir ce qu'une fonction peut lever comme exception. Ou alors, il faut augmenter ocamldoc pour avoir ces infos.
"La première sécurité est la liberté"