Je vois pas en quoi c'est si loin du débat initial. Si on parle du typage d'Haskel et de son inférence de type, du fait qu'avec lui il faut déplacer la complexité dans les types et pas dans les algorithmes, on peut tout a fait parler du typage d'Ada et de sa capacité à spécifier beaucoup de choses dans le type.
D'ailleurs c'est possible avec tout langage objet typé statiquement sauf qu'au lieu de créer des types limités il faut créer des classes qui encapsule le type.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Le titre est trop long
Posté par barmic . En réponse au journal Typage statique versus typage dynamique. Évalué à 8.
Je vois pas en quoi c'est si loin du débat initial. Si on parle du typage d'Haskel et de son inférence de type, du fait qu'avec lui il faut déplacer la complexité dans les types et pas dans les algorithmes, on peut tout a fait parler du typage d'Ada et de sa capacité à spécifier beaucoup de choses dans le type.
D'ailleurs c'est possible avec tout langage objet typé statiquement sauf qu'au lieu de créer des types limités il faut créer des classes qui encapsule le type.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)