Cette page raconte n'importe quoi... Si tu veux à la place de typage fort. Parlons de sûreté de type. OCaml est typé statiquement donc le compilateur vérifie le typage avant l'exécution et il n'est pas autorisé à faire des conversions ou des transtypages. Donc OCaml a un typage sûr. Il ne faut pas se laisser berner par l'inférence de type. Quand tu utilise le auto en C++, tu as de l'inférence de type, ça n'est pas du type erasure et ben là c'est pareil sauf que c'est plus poussé. De la même manière pour le type Somme qui décrit une variable comme l'un de ses types. Ça t'oblige à gérer chaque type.
Quand tu commence à écrire de l'OCaml le système de type c'est le premier truc qui vient te foutre une baffe :)
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Jai: Language for game programmming
Posté par barmic . En réponse à la dépêche C++17, Genèse d’une version mineure. Évalué à 7.
Cette page raconte n'importe quoi... Si tu veux à la place de typage fort. Parlons de sûreté de type. OCaml est typé statiquement donc le compilateur vérifie le typage avant l'exécution et il n'est pas autorisé à faire des conversions ou des transtypages. Donc OCaml a un typage sûr. Il ne faut pas se laisser berner par l'inférence de type. Quand tu utilise le
autoen C++, tu as de l'inférence de type, ça n'est pas du type erasure et ben là c'est pareil sauf que c'est plus poussé. De la même manière pour le type Somme qui décrit une variable comme l'un de ses types. Ça t'oblige à gérer chaque type.Quand tu commence à écrire de l'OCaml le système de type c'est le premier truc qui vient te foutre une baffe :)
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)