Pour être complet, on peut dire que l'on peut utiliser le typage un peu plus fortement que d'habitude pour interdire certaine forme de données qui sont en fait des bugs.
Par exemple, en C, on aura tendance à retourner un nombre positif en cas normal et -1 en cas d'erreur, en ocaml, on utilise le type "a' option".
On peut utiliser les type phantom pour typer différente type de string (raw, utf-8 ou binaire vs hexadécimal), ce qui est impossible en C.
[^] # Re: A mi chemin ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.00.0 est sorti. Évalué à 4.
Pour être complet, on peut dire que l'on peut utiliser le typage un peu plus fortement que d'habitude pour interdire certaine forme de données qui sont en fait des bugs.
Par exemple, en C, on aura tendance à retourner un nombre positif en cas normal et -1 en cas d'erreur, en ocaml, on utilise le type "a' option".
On peut utiliser les type phantom pour typer différente type de string (raw, utf-8 ou binaire vs hexadécimal), ce qui est impossible en C.
Je suis sûr qu'il y a plein d'autres exemples.
"La première sécurité est la liberté"