John Backus
En savoir plus sur l'auteur
...plusCompte non officiel
7
@johnBackus
Vous avez besoin de la volonté d'échouer tout le temps. Vous devez générer de nombreuses idées, puis vous avez du travail très dur pour découvrir qu'ils ne fonctionnent pas et vous continuez à le faire jusqu'à ce que vous en trouviez un qui fonctionne.
@johnBackus
Une grande partie de mon travail est venue d'être paresseuse. Je n'aimais pas d'écrire des programmes, et donc, lorsque je travaillais sur l'IBM 701 (un premier ordinateur), en écrivant des programmes pour calculer les trajectoires de missiles, j'ai commencé à travailler sur un système de programmation pour faciliter l'écriture de programmes.
@johnBackus
Vous avez besoin de la volonté d'échouer tout le temps.
@johnBackus
Moi-même, j'ai eu de nombreux échecs et j'ai appris que si vous n'échouez pas beaucoup, vous n'êtes probablement pas aussi créatif que vous pourriez l'être - vous n'étirez pas votre imagination.
@johnBackus
Les langues Von Neumann n'ont pas de propriétés utiles pour le raisonnement sur les programmes. La sémantique axiomatique et dénotationnelle est des outils précis pour décrire et comprendre les programmes conventionnels, mais ils n'en parlent que et ne peuvent pas modifier leurs propriétés disgracieuses. Contrairement aux langues von Neumann, le langage de l'algèbre ordinaire convient à la fois pour énoncer ses lois et pour transformer une équation en sa solution, le tout dans la «langue».
@johnBackus
Une grande partie de mon travail est venue d'être paresseuse.
@johnBackus
Ils n'aiment pas penser à l'école de médecine. Ils mémorisent - c'est tout ce qu'ils veulent que vous fassiez. Vous ne devez pas penser.