Les programmeurs de chez Mozilla ne sont pas des "programmeurs lambda"; un monde dans lequel tous les programmeurs seraient aussi cultivés que les gens qui font Rust aujourd'hui serait un paradis, relativement parlant.
Ce que tu vois c'est plutôt l'effet lent des gens qui ont fait un peu de recherche (par exemple une thèse) dans des domaines proches des langages de programmation, qui atteignent l'industrie, et qui y font des marques. Les gens de mozilla sont assez ouverts aux expériences de ce genre (cf. leur travail sur l'analyse statique de C++) et on y retrouve donc beaucoup d'idées qui viennent de ces milieux -- cf. par exemple Chris Double, qui fait du Dylan, Factor, ATS...
Qui sait, peut-être qu'un jour, on trouvera des preuves Coq dans les dépôts de source Mozilla ?
[^] # Re: Back to the future
Posté par gasche . En réponse à la dépêche Sortie de la version 0.1 de Rust. Évalué à 10. Dernière modification le 22 janvier 2012 à 17:47.
Les programmeurs de chez Mozilla ne sont pas des "programmeurs lambda"; un monde dans lequel tous les programmeurs seraient aussi cultivés que les gens qui font Rust aujourd'hui serait un paradis, relativement parlant.
Ce que tu vois c'est plutôt l'effet lent des gens qui ont fait un peu de recherche (par exemple une thèse) dans des domaines proches des langages de programmation, qui atteignent l'industrie, et qui y font des marques. Les gens de mozilla sont assez ouverts aux expériences de ce genre (cf. leur travail sur l'analyse statique de C++) et on y retrouve donc beaucoup d'idées qui viennent de ces milieux -- cf. par exemple Chris Double, qui fait du Dylan, Factor, ATS...
Qui sait, peut-être qu'un jour, on trouvera des preuves Coq dans les dépôts de source Mozilla ?