Je reprécise: un langage statiquement typé déclare explicitement le type de ses variables et reste immuable au cours de l'exécution du programme.
C'est mieux comme ça ?
Non, je te renvois a mon exemple du OCaml, le type des variable n'est pas déclaré explicitement dans le code. Pourtant, il dispose d'un typage statique, et il peut être interprété et compilé. C'est grâce à l'inférence de type.
[^] # Re: Et pis .....thon n'est pas très TDAH-compliant, si ?
Posté par brendel . En réponse au journal Lamentations ou les remords d'un geek. Évalué à 2.
C'est mieux comme ça ?
Non, je te renvois a mon exemple du OCaml, le type des variable n'est pas déclaré explicitement dans le code. Pourtant, il dispose d'un typage statique, et il peut être interprété et compilé. C'est grâce à l'inférence de type.
http://fr.wikipedia.org/wiki/Inf%C3%A9rence_de_types