ISETL - Utilisation basique de ISETLW 3.0

Interactive SET Language (ISETL) est un langage de programmation basé sur SETL. Développé par Garry Levin en 1988, elle avait pour finalité l’enseignement des mathématiques discrètes à l’université. Cet article a pour but de vous présenter comment exécuter du code via le logiciel ISETLW 3.0 sur Windows 10.

Nécessaire :

Pour pouvoir suivre ce tutoriel, il est nécessaire d’avoir accès au logiciel ISETLW 3.0 sur Windows. Pour cela, vous pouvez vous référer à mon précédent article sur son installation : ISETL 3.0 sur Windows 10

Utilisation de la console :

Utilisation habituelle :

Au démarrage de ISETLW, la console ISETL s’ouvrira par défaut :

Console ISETLW 3.0

Vous pouvez directement taper les commandes que vous souhaitez et appuyer sur “Entrer”.
Sachez que vous pouvez aussi créer des fonctions, des boucles ou des conditions sans quitter le terminal. L’indentation se fera automatiquement, comme le montre le screen ci-dessous :

Utilisation de la console

Effacer la console :

Pour effacer la console, vous pouvez cliquer sur le menu “Windows” puis “Erase this Window”.

Erase this Window

Erreurs fréquentes :

Si vous oubliez un “;”, sachez qu’il est toujours possible de le rentrer à la ligne suivante :

Utilisation plus confortable :

ISETLW 3.0, n’est pas un logiciel très “User-Friendly”. Cependant, il est possible d’améliorer légèrement son utilisation en 3 étapes:

Étape 1 : Réduire “Graph Window”

Commencez par mettre en cascade ISETL, pour cela appuyez sur “Window” puis “Cascade”.

Ensuite réduisez la fenêtre “Graph Windows” :

Réduction de graph Window

Étape 2 : Ouvrir un nouveau document

Appuyez sur “File” puis “New”.

Étape 3 : Redimensionnez l’affichage

Vous pouvez maintenant cliquer sur “Window” puis “Tile Horizontally” ou “Tile Vertically” selon vos préférences :

Affichage fragmenté ISETLW 3.0

Utilisation du “Text Window” :

Je vous propose de tester avec une petite fonction tirée d’un précédent tutoriel sur les fonctions en ISETL :

somme:=func(e);
local x;
if (#e = 1) then return arb(e);
 else
  take x from e;
  return x + somme(e);
end if;
end func;

somme({8,6,9});

Collez cette fonction (ou votre code) dans la fenêtre “Text Window”, et selectionnez tout ce code comme sur le screenshot suivant :

Texte Sélectionné ISETLW 3.0

Une fois sélectionné, vous pouvez cliquer sur le feu vert :

Texte éxécuté ISETLW 3.0

Vous pouvez bien-sûr sauvegarder ce document grâce à la disquette !

Dans le cas où votre exécution se passerait mal, vous pouvez toujours cliquer sur le “feu rouge”.

Vous pouvez maintenant utiliser ce petit logiciel normalement sans trop de problèmes :).