La notion de type est très très loin d'être une notion technique.
C'est justement ce que je conteste. La notion de type est une notion technique induite par la manière dont l'ordinateur stocke les données et par l'utilisation que tu peux en faire.
Je pense que vous avez tous les deux raison. Autant oui quand en C tu utilise des types comme unit32 ça n'est rien d'autres que technique, autant quand tu utilise des langages comme haskell tu encode une bonne partie de ton problème dans les types de données.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)
[^] # Re: Décalage
Posté par barmic . En réponse à la dépêche MicroAlg: langage et environnements pour l’algorithmique. Évalué à 6.
Je pense que vous avez tous les deux raison. Autant oui quand en C tu utilise des types comme unit32 ça n'est rien d'autres que technique, autant quand tu utilise des langages comme haskell tu encode une bonne partie de ton problème dans les types de données.
Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)