SOFUS : un langage de programmation pour collégien


Sofus est un langage de programmation spécialisé dans la description des programmes de calcul comme on en voit fréquemment au brevet des collèges.

Par exemple voici un extrait du sujet du brevet des collèges 2016 : On considère les deux programmes de calcul ci-dessous :

Programme A

  1. Choisir un nombre.
  2. Multiplier par -2.
  3. Ajouter 13.

Programme B

  1. Choisir un nombre.
  2. Soustraire 7.
  3. Multiplier par 3.

Voici comment les deux programmes peuvent être programmés dans Sofus :

On le voit, Sofus intègre la technologie Blockly qui permet de programmer en Sofus sur une tablette tactile voire un smartphone. Sofus présente les particularités suivantes :

  • possibilité d’exporter les programmes de calcul au format Xcas pour prouver des propriétés à l’aide du calcul formel ;
  • calcul exact sur les fractions ;
  • Programmation de robots (pour l’instant virtuels) de type « tortue logo (langage) » pour le graphisme et export des figures obtenues au format svg. Bien que rapide, la tortue de Sofus peut dessiner un escargot : Voici le programme Sofus ayant donné ce dessin : Pour en savoir plus :
  • Un interpréteur en ligne (sans les tortues pour l’instant) ;
  • Un article sur la programmation au collège, parlant entre autres, de Sofus ;
  • Un article sur le graphisme tortue, d’où est extraite cette figure dessinée avec Sofus :

Alain Busser

Résultat obtenu lors de l’atelier :