Journal Un cours en français sur la compilation : ne boudons pas notre plaisir !

60
16
déc.
2012

Pour me déculpabiliser de quelque procrastination sur le réseau des réseau - bref, j'ai moulé sur le Web -, je regarde parfois des conférences scientifiques, le net en regorge pour qui a le temps de chercher. Une pourra peut-être vous intéresser : elle est donnée au collège de France par Xavier Leroy, sur la compilation et le typage.

Pour les pressés, tout de suite le lien la Conférence.

De l'assembleur aux langages de haut niveau !

Xavier Leroy retrace rapidement l'histoire de l'informatique où l'on passe des cartes perforées (sic) à l'assembleur puis aux langages plus "modernes" et de haut niveau. C'est très bien expliqué, avec des exemples et de beaux schémas.
La deuxième partie sur le typage est plaisante, avec l'idée de départ du typage déclinée jusqu'au polymorphisme…

Faire parfois fi du style du présentateur…

Indépendamment du fait que ce présentateur partage mon prénom, ce qui est incontestablement un gage de qualité, je n'ai pas forcément apprécié son ton, parfois un poil condescendant. C'est, je pense, lié au léger stress qu'il avait à présenter. Il explique par exemple qu'avec les langages de haut niveau, plus personne ne sait vraiment programmer en langage machine. C'est juste oublier que Linus Torvalds revendique que le C, au cœur du noyau, soit un langage pas trop haut niveau, qui permet de "penser" comme une machine. Vous le savez également, Linus a fait énormément d'assembleur dans ses débuts et beaucoup disent aujourd'hui que sa qualité technique s'appuie notamment sur ces connaissances "bas niveau".

Cela détonne un peu du reste de sa présentation, de qualité, où l'on sent qu'il aime vraiment la technique et qu'il a une approche assez didactique en face d'un public plutôt néophyte.

Et il y en a d'autres…

D'autres conférences pourront susciter votre intérêt. Je vous en propose 2 :

  • La leçon inaugurale de Bernard Chazelle consacrée aux algorithmes, que vous pouvez regarder tout de suite. Il faudrait y consacrer un autre journal, tant c'est riche et intéressant, avec une démonstration du fait que l'algorithmique fait "Penser différemment" et pas juste calculer à notre place et/ou plus vite que l'homme. Le personnage de Bernard est également intéressant, atypique sans l'être véritablement.
  • Une belle introduction sur le langage et la preuve, disponible ici. C'est une introduction intéressante aux langages de preuve, avec un classique des classiques, l'algorithme d'Euclide.

À vos commentaires sur ce journal, pourquoi pas pour donner des liens vers d'autres conférences en ligne qui ont attisé votre geekitude :-) Moulons ensemble ! Belle procrastination !

  • # Bernard Chazelle

    Posté par  . Évalué à 3.

    Je l'ai découvert tout récemment, en l'entendant à l'émission "la tête au carré", de France Inter, qui portait justement sur les algorithmes.

  • # Séminaire d'informatique fondamentale

    Posté par  (site web personnel) . Évalué à 8.

    Le cours d'informatique fondamental, très complet, est aussi disponible. C'est passionnant !

    http://www.college-de-france.fr/site/gerard-berry/#|m=seminar|q=/site/gerard-berry/seminar-2009-2010.htm|p=../gerard-berry/seminar-2010-01-20-10h15.htm|

    « Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

    • [^] # Re: Séminaire d'informatique fondamentale

      Posté par  (site web personnel) . Évalué à 1.

      En effet, on trouve pas mal de truc qui demande à être un peu approfondi.

      Pas contre, pas évident de se taper que des vidéos…

      La réalité, c'est ce qui continue d'exister quand on cesse d'y croire - Philip K. Dick

  • # nb

    Posté par  . Évalué à 0.

    "Cela dénote" ne signifie pas "cela se distingue du reste de la présentation"
    Quelqu'un peut corriger ça ? C'est le genre de faute de journaliste exaspérante répandue qui rend tout le monde plus mauvais en français.

    • [^] # Re: nb

      Posté par  . Évalué à 3.

      Xavier a sans doute voulu dire détonne (avec deux n, pour ne pas mettre le feu aux poudres).

      • [^] # Re: nb

        Posté par  (site web personnel) . Évalué à 2.

        Merci pour la remarque, même si mr_maurice pourrait être un peu plus gentil sur le ton :-). Je ne suis pas journaliste, et je suis moi aussi un défenseur de la langue française. L'exaspération ne me guette pas pour autant à chaque incartade !

        Est-ce que je peux corriger mon journal moi même ou il faut un modo ? Je ne vois pas d'action "Modifier" quand j'accède au journal.

        • [^] # Re: nb

          Posté par  (site web personnel) . Évalué à 3.

          Il faut être modéro. J'ai corrigé (+ la cédille à leçon).

        • [^] # Re: nb

          Posté par  . Évalué à 2.

          J'ai tapé ça un peu vite, bien entendu je n'ai aucune animosité envers toi, et cette petite faute ne remet pas en cause la qualité du contenu que tu propose.

          Un journaliste m'avait agacé plus tôt dans la journée en faisant la même faute, je pense que ça explique mon ton désagréable.

          • [^] # Re: nb

            Posté par  . Évalué à 10.

            J'ai tapé ça un peu vite, bien entendu je n'ai aucune animosité envers toi, et cette petite faute ne remet pas en cause la qualité du contenu que tu propose.

            Un journaliste m'avait agacé plus tôt dans la journée en faisant la même faute, je pense que ça explique mon ton désagréable.

            Pareil. Le prochain qui ne met pas de "s" à la deuxième personne du singulier du présent de l'indicatif d'un verbe du premier groupe dans les prochaines 24 heures, je l'étrangle ;-)

            Il se prend pour Napoléon, son état empire.

            • [^] # Re: nb

              Posté par  . Évalué à 10.

              Tu bluffe

            • [^] # Re: nb

              Posté par  . Évalué à 2.

              Tu risques d'avoir pas mal de travail!

              • [^] # Re: nb

                Posté par  . Évalué à 2.

                Par les temps qui courent, c'est une bonne chose :D

            • [^] # Re: nb

              Posté par  (site web personnel) . Évalué à 3.

              Pourquoi ne prend-tu pas en compte les autres groupes?

              • [^] # Re: nb

                Posté par  . Évalué à 2.

                Ouille, je ne voudrais pas être à ta place là, maintenant.

                Je crois que tu as oublié quelque chose en route…

                • [^] # Re: nb

                  Posté par  (site web personnel) . Évalué à 3. Dernière modification le 19 décembre 2012 à 06:08.

                  Je crois que tu as oublié quelque chose en route…

                  Relis-bien mon message, il contient un trait d'humour. :) (Il faut aussi lire le précédent.)

          • [^] # Re: nb

            Posté par  (site web personnel) . Évalué à 1.

            Merci à Benoît pour la correction.
            Pas de problème Mr_maurice.

    • [^] # Re: nb

      Posté par  (site web personnel) . Évalué à 2.

      Y a que moi qui trouve choquant d'exiger qu'un modérateur corrige le texte d'un autre sans même lui demander son avis? Je préfère être mauvais en français qu'un fasciste de la langue.

      • [^] # Re: nb

        Posté par  (site web personnel) . Évalué à 1.

        la license l'autorise.

        • [^] # Re: nb

          Posté par  (site web personnel) . Évalué à 2.

          La quoi ?

        • [^] # Re: nb

          Posté par  (site web personnel) . Évalué à 8.

          C'est fort discutable. La licence t'autorise a faire une copie et a la corriger, mais je ne vois rien dans la CC-by-sa qui t'autorise a aller corriger la copie d'un tiers.

          Quoi qu'il en soit, on peut se conformer a toutes les lois de la terre et tout de même se comporter comme un odieux connard.

  • # Et aussi ...

    Posté par  . Évalué à 2.

    Pour approfondir, il y a également son rapport technique The ZINC experiment décrit avec moultes détails les choix d'implémentation de CAML (ca date quand même un peu). Tant qu'a ne pas bouder son plaisir, il y a le sublime The Implementation of Functional Programming Languages par Simon Peyton Jones. Bonne lecture.

  • # Ildikilépadakor.

    Posté par  (site web personnel) . Évalué à 6.

    Il explique par exemple qu'avec les langages de haut niveau, plus personne ne sait vraiment programmer en langage machine. C'est juste oublier que Linus Torvalds revendique que le C, au coeur du noyau, soit un langage pas trop haut niveau, qui permet de "penser" comme une machine. Vous le savez également, Linus a fait énormément d'assembleur dans ses débuts, et beaucoup disent aujourd'hui que sa qualité technique s'appuie notamment sur ces connaissances "bas niveau".

    Ouais, et alors ?
    La plupart des gens apprennent désormais l'info avec les langages de "haut niveau", et sont bien incapables de "penser comme une machine." Le fait que Torvalds ait fait de l'assembleur dans les années 80 n'y change rien. Et citer un gars qui est clairement une anomalie statistique dans un ensemble (celui des programmeurs en activité) ne cautionne pas vraiment ta remarque.

    • [^] # Re: Ildikilépadakor.

      Posté par  . Évalué à 9.

      Je pense qu'il y a une incompréhension sur cette partie. Il parle de langage machine par opposition à l'assembleur et aux autres langages, et effectivement plus personne ne programme avec des 0 et des 1. Ce n'est pas du tout une critique de sa part, juste un constat. Enfin je l'ai compris comme ça.

    • [^] # Re: Ildikilépadakor.

      Posté par  . Évalué à 0.

      Et puis tout dépend de la pédagogie ou orientations de la fac / école et de ses enseignants …

      PS:
      Le point commun entre un tampon et un prof ?
      Ils sortent tous les deux du corps enseignants.
      Pardon …

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.