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

On peut lire assez souvent des gens s'exprimer de manière générale sur des langages de programmation, et la plupart des avis concernent la syntaxe (y'a trop de parenthèses, c'est quoi ces point-virgules, pourquoi il faut indenter... etc !), et s'arrêtant généralement à des premières impressions.

Parfois, ou plutôt rarement, on peu voir des gens s'exprimer sur des points précis d'un langage, en citant leur expérience dans une industrie particulière. C'est typiquement le genre de feedback rêvé pour un concepteur de langage : avoir des informations précises sur les conditions d'utilisation du langage, assorties d'exemples choisis et annotés... si en plus on bénéficie de proposition d'amélioration, on nage en plein rêve !

Eh bien la présentation écrite par Tim Sweeney (Epic Games, Gears of War) est de cette trempe : simple, claire, marrante juste comme il faut, elle analyse sous l'angle de Gears of War et de Unreal les caractéristiques des ces logiciels et les limitations engendrées par le langage.

On y trouve notamment des statistiques très intéressantes vis à vis du moteur Unreal:

• 50% des bugs sont liés à des erreurs que le compilateur pourrait trouver tout seul
• 90% des variables de type int sont faites pour indexer des tableaux
• 40% des boucles "for" sont des "comprehensions" fonctionnelles
• 50% de ces boucles sont des "folds" fonctionnels

On détecte ici que Tim a une bonne expérience des langages fonctionnels comme OCaml ou Haskell (qu'il cite a plusieurs reprises). Le thème de la concurrence est également fréquemment abordé dans sa présentation (on y parle des STM - "Software Transactional Memory").

Le meilleur de la présentation est pour la fin : nous avons droit à quelques reflexions sur le langage idéal pour Tim.... je vous laisse le plaisir de découvrir ce qu'il propose.

En tout cas, je considère que les programmeurs de jeu vidéo sont ceux qui sont le plus sur la ligne de front, car ils ont (dorénavant) à gérer un très large éventail de problèmes (parallélisme, performance, distribution) avec des technologies avant-gardistes (Cell/PS3)... et c'est donc à mon avis des gens à écouter très sérieusement