Autant je suis d'accord sur la bonne pratique qui consiste à ecrire ses tests avant et avoir une bonne couverture...
...Autant je reste convaincu qu'un compilateur intransigeant ça t'évite de perdre des gains de productivité énormes.
Je vais prendre un cas extrême Caml :
J'ai pas tant que ça coder en caml, mais quand le compilateur te dis "ok c'est bon, vas-y rien à dire"., c'est quand même très rare d'avoir un bug.
Mon expérience de SSII bientôt derrière moi :-) m'a montré que l'essentiel des erreurs (en javouille) qu'on se coltine sur des gros ou moyens projets sont de deux ordres :
- Erreurs imbitables venant du framework lui même imbitable (genre spring et consort)
- Call on null le plus souvent et qq cast exception.
Un bon compilateur qui fais du templating automatique (ie. exécution partielle sur tout ce qui est possible), de la détection de call on null, etc... ça t'évite beaucoup de problème.
Il se trouve que caml avec son inférence de type, rempli pas mal ces tâches, d'où le fait que ça merde rarement après la compil.
Bref, on a des machines bi-core à 2Ghz à 500,ドル on a pas mal de connaissance en IA, on peut apprendre à faire des compilateurs un tant soit peu intelligent et on aura énormément de productivité à gagner.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Typage statique/dynamique
Posté par Ontologia (site web personnel) . En réponse à la dépêche Go : Un nouveau langage chez Google. Évalué à 9.
...Autant je reste convaincu qu'un compilateur intransigeant ça t'évite de perdre des gains de productivité énormes.
Je vais prendre un cas extrême Caml :
J'ai pas tant que ça coder en caml, mais quand le compilateur te dis "ok c'est bon, vas-y rien à dire"., c'est quand même très rare d'avoir un bug.
Mon expérience de SSII bientôt derrière moi :-) m'a montré que l'essentiel des erreurs (en javouille) qu'on se coltine sur des gros ou moyens projets sont de deux ordres :
- Erreurs imbitables venant du framework lui même imbitable (genre spring et consort)
- Call on null le plus souvent et qq cast exception.
Un bon compilateur qui fais du templating automatique (ie. exécution partielle sur tout ce qui est possible), de la détection de call on null, etc... ça t'évite beaucoup de problème.
Il se trouve que caml avec son inférence de type, rempli pas mal ces tâches, d'où le fait que ça merde rarement après la compil.
Bref, on a des machines bi-core à 2Ghz à 500,ドル on a pas mal de connaissance en IA, on peut apprendre à faire des compilateurs un tant soit peu intelligent et on aura énormément de productivité à gagner.
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker