Ma petite entreprise

Je sais que certains lisent mon flux Delicious mais peut être que ce commentaire (Reddit) n'aura pas retenu leur attention, et ce serait bien dommage de passer à côté de ça

En gros, c'est un article qui présente quatres caractéristiques/dimensions pour définir un système de types:

• statique (les expressions ont des types) vs dynamique (les valeurs ont des types)
• fort (un cast est nécessaire pour une coercition de valeurs) vs faible (la coercition, faite à l'exécution, ne nécessite pas de déclaration)
• latent (pas de déclarations de type) vs manifeste (on déclare les types) (personnellement, je dirais plutôt implicite vs explicite)
• nominal (la relation de sous-typage est explicite, comme l'héritage) vs structurel (c'est la structure/l'interface qui définit le type)

Je trouve que c'est un très bon boulot de schématisation, puisqu'il me semble que cela couvre tous les langages que je connais... reste la question subsidiaire : mais qu'est-ce qu'un type ?

Allez, je suis sûr que vous avez chacun votre petite idée sur la question