Cela suppose d'avoir un langage assez pur pour permettre d'être absolument sûr de ce qu'on fait.
Tiens sur ce type de sujet, ce papier est intéressant ( http://people.csail.mit.edu/jrk/halide12/ ), il décrit un découplage entre les algorithmes et les "recettes" d'implémentations.
[^] # Re: De la nécessité de faire des incantations vaudou sur le code
Posté par reno . En réponse à la dépêche Où vont les supercalculateurs ? D’où on vient, quels sont les problèmes, où l’on va (1re partie). Évalué à 6.
Tiens sur ce type de sujet, ce papier est intéressant ( http://people.csail.mit.edu/jrk/halide12/ ), il décrit un découplage entre les algorithmes et les "recettes" d'implémentations.