Le Groupe de Travail sur les Systèmes d’Exploitation (GdT-OS) a été
organisé lors du second semestre de 2013-2014, avec des thèmes variés
(en particulier, pas toujours en rapport avec les OS).
2014-05-16 Typage avancé des langages fonctionnels
(Gabriel Scherer). Slides. Code.
Lecture des slides
Les slides des deux exposés sur les généralités sur les OS sont
réalisées d’une façon un peu particulière : elles sont faites pour être
affichées dans DosBox à l’aide d’une liseuse codée pour l’occasion. Tout
cela est disponible dans ce dossier (voir listing ci-dessous). En
particulier, le fichier README donne des instructions plus
précises.
Le code de SimpleOS
Le code de SimpleOS étudié lors des séances du GdT est issu du site officiel, où l’on
trouve également le texte des articles parus dans Linux Magazine. Le
code et le texte des articles pour les articles 1 à 6.75 est également
disponible ici ;
cette version légèrement adaptée requiert l’utilisation d’un
cross-compiler pour fonctionner. Les scripts pour générer un tel
cross-compiler peuvent être trouvés ici.
./index.htmlHTML document, Unicode text, UTF-8 text