Ce module contient deux choses : (1) Les informations sur le logiciel [inhabituel] que vous devez installer pour la partie A sur les langages de programmation. (2) Un "faux" devoir facultatif que vous pouvez rendre pour une notation automatique et une évaluation par les pairs afin de vous habituer à la mécanique de remise des devoirs que nous utiliserons tout au long du cours. Vous pouvez faire ce module avant ou après avoir regardé les premières vidéos sur le "contenu réel du cours" dans le module suivant, mais vous voudrez installer le logiciel rapidement afin d'apprendre en essayant activement des variations du code dans les vidéos. Vous devrez installer le logiciel pour faire les devoirs.

Il est temps d'entrer dans le vif du sujet ! Commencez par lire attentivement le "Message de bienvenue de la section 1" et poursuivez à partir de là.

Cette section est particulièrement enrichissante, car de nombreuses idées se rejoignent pour révéler une structure sous-jacente étonnamment élégante en ML. Comme d'habitude, commencez par la lecture de bienvenue, plongez dans la matière et laissez suffisamment de temps pour aborder méthodiquement le travail de programmation.

Cette section est consacrée aux fonctions d'ordre supérieur, la caractéristique qui confère à la programmation fonctionnelle une grande partie de son expressivité et de son élégance, ainsi que son nom ! Comme d'habitude, la première lecture ci-dessous vous présente la section, mais elle prendra tout son sens lorsque vous vous plongerez dans les cours. Ne manquez pas non plus le matériel sur la motivation du cours que nous avons placé dans une "leçon" entre les autres vidéos de cette semaine et le devoir à la maison. Ce matériel est "optionnel" dans le sens où il n'est pas nécessaire pour les devoirs ou l'examen de la semaine prochaine, mais il est fortement encouragé pour mieux comprendre pourquoi le cours (y compris les parties B et C) couvre ce qu'il couvre et, nous l'espérons, changera votre façon de voir les logiciels pour toujours.

Nous terminons la partie A du cours avec ce module. Comme expliqué plus en détail dans le message de bienvenue, nous discutons de l'inférence de type, du système de modules de ML, et de l'idée fondamentale en informatique de l'équivalence de deux calculs. Il n'y a pas de devoir de programmation - à la place, il y a un examen couvrant toute la partie A. Enfin, il y a une brève vidéo de synthèse pour la fin de la partie A qui présente également la partie B et la partie C - nous l'avons placée après l'examen, alors ne la négligez pas.