comme dirait un de mes anciens profs (je garderais mes commentaires pour moi, de manière à rester un minimum respectueux)
C'est vrai que faire des insinuations sur ton prof, tout en te gardant des insultes, c'est vachement respectueux.
"c'est parce que B, c'est avant-C"
C'est surtout parce que Z c'était une allusion à ZF (la théorie axiomatique des ensembles de Zermelo-Fränkel), et que B est une allusion à Nicolas Bourbaki, le mathématicien polycéphale auteur des Éléments de mathématique.
le super langage/méthode/etc... de spécification formelle développée par un je-sais-plus-qui (que mes études m'ont fait détester) avec lequel a été spécifié (et programmé ?) les lignes de métro totalement automatisées...
Je ne suis pas fan du B, mais il faudrait peut-être connaître un peu plus que ce que tu as appris en cours pour avoir les moyens de critiquer. Le B sert (et a été utilisé avec succès) dans le développement d'applications critiques. Ça reste néanmoins un outil proche du monde de la recherche, et il est évidemment hors de question que ce soit utilisé à grande échelle actuellement, mais ses descendants se trouveront peut-être un jour en entreprise (quoique j'en doute, la théorie intuitionniste des types me semblant posséder un meilleur potentiel à terme).
[^] # Re: [HS] X, Y... Z ??? enfin B ?????
Posté par Anaximandre . En réponse à la dépêche Après X, voici Y.... Évalué à 3.
C'est vrai que faire des insinuations sur ton prof, tout en te gardant des insultes, c'est vachement respectueux.
"c'est parce que B, c'est avant-C"
C'est surtout parce que Z c'était une allusion à ZF (la théorie axiomatique des ensembles de Zermelo-Fränkel), et que B est une allusion à Nicolas Bourbaki, le mathématicien polycéphale auteur des Éléments de mathématique.
le super langage/méthode/etc... de spécification formelle développée par un je-sais-plus-qui (que mes études m'ont fait détester) avec lequel a été spécifié (et programmé ?) les lignes de métro totalement automatisées...
Je ne suis pas fan du B, mais il faudrait peut-être connaître un peu plus que ce que tu as appris en cours pour avoir les moyens de critiquer. Le B sert (et a été utilisé avec succès) dans le développement d'applications critiques. Ça reste néanmoins un outil proche du monde de la recherche, et il est évidemment hors de question que ce soit utilisé à grande échelle actuellement, mais ses descendants se trouveront peut-être un jour en entreprise (quoique j'en doute, la théorie intuitionniste des types me semblant posséder un meilleur potentiel à terme).