Nonon, il s'agit bien d'un typage statique avec Objective Caml! C'est uniquement à la compilation que le programme connait les types de donnée qu'il aura. C'est entre autre pourquoi il va vite, il fait fi de toutes les vérification de type durant le runtime.
Lorsqu'un programme en OCaml se compile, il tournera. Il ne fera pas forcément ce que tu veux (si tu sais pas coder) mais, il risque pas de segfault!
Et pour montrer un exemple a quel point le typage statique est fort, si on veut additionner un entier avec un flotant, il faut passer par la fonction float_of_int pour convertir l'entier en flotant, pour ensuite l'additionner avec l'opérateur flotant (et oui, il est différent de l'opérateur d'addition d'entier : "+" pour les entiers et "+." pour les flotants).
[^] # Re: Réédition du livre "Le langage Caml"
Posté par LeMarsu . En réponse au journal Vitalité d'Objective Caml ?. Évalué à 3.
Lorsqu'un programme en OCaml se compile, il tournera. Il ne fera pas forcément ce que tu veux (si tu sais pas coder) mais, il risque pas de segfault!
Et pour montrer un exemple a quel point le typage statique est fort, si on veut additionner un entier avec un flotant, il faut passer par la fonction float_of_int pour convertir l'entier en flotant, pour ensuite l'additionner avec l'opérateur flotant (et oui, il est différent de l'opérateur d'addition d'entier : "+" pour les entiers et "+." pour les flotants).
Ex : (float_of_int 2) +. 3.2 ;;
Mes 2 centimes...
LeMarsu