Re: Langage d'enseignement (Was: Python)

Wykaaa wrote:
> Matthieu Villeneuve a écrit :
>> Wykaaa wrote:
>>> Je te garantis que l'appli en question n'aurait pas pu utiliser le
>>> typage dynamique (avionique militaire)
>> 
>> C'est intéressant, pouvez-vous expliquer un peu pourquoi ?
>> 
> Dans des applications de ce type, il est hors de question qu'une simple
> erreur de typage se traduise par un arrêt du programme à l'exécution.

Je suis d'accord, mais pourquoi faire une différence entre erreurs de
typage et autres erreurs de programmation, pour lesquelles le typage
statique ne donne pas de solution ? Il me semble que quel que soit le
langage utilisé, l'application ne sera jamais utilisée si elle ne passe
pas une batterie exhaustive de tests. Et que ces tests couvrent tous
les scenarii possibles, incluant ceux qui pourraient provoquer une
erreur de typage.

Au passage, un compilateur pour un langage à typage statique n'est en
général capable de vérifier qu'un ensemble très réduit de conditions,
et laisse passer énormément d'erreurs de typage (dès que la définition
d'un type valide ne correspond pas exactement au découpage visible par
le compilateur). Par exemple, le calcul d'un arccos d'une valeur hors
de l'intervalle [-1, 1], l'utilisation d'un objet dans un état 
incorrect, etc. etc.


--
Matthieu Villeneuve