Le constructeur Lambda permet de construire des
abstractions en glissant dans la case du milieu l'objet que l'on veut généraliser
et dans la case de gauche « l'ingrédient » que l'on veut
rendre variable. Les fonctions à plusieurs arguments sont
construites en rendant variable un nouvel ingrédient dans un abstraction
déjà construite.
Le constructeur Recursive lambda permet de construire
des abstractions « récursives » en glissant dans la case
du milieu l'objet que l'on veut généraliser et dans la case
de gauche « l'ingrédient » que l'on veut rendre variable.
Le résultat est une « abstraction récursive », une
abstraction qui se comporte comme l'application du combinateur de point
fixe Y sur l'abstraction simple.
Le constructeur Application permet de construire
des applications de fonctions à un argument sur un objet. La fonction
est glissée dans la case de gauche et l'argument dans la case du
milieu. Pour appliquer une fonction à plusieurs arguments, il faut
réaliser plusieurs applications à un argument.
Le constructeur Séquence permet de construire
la séquence de 2 objets. le premier objet est glissé dans
la case de gauche et le deuxième dans la case du milieu.
Le constructeur Mixage permet de superposer temporellement
2 objets. Les objets sont synchronisés sur leur début.
Le constructeur Début permet de couper un objet
en gardant son début en utilisant un autre objet pour spécifier
la durée du découpage. L'objet à découper est
glissé dans la case de gauche et l'objet dont on utilise la durée
est glissé dans la case du milieu.
Le constructeur Rest permet de couper un objet
en gardant sa fin en utilisant un autre objet pour spécifier la
durée du découpage. L'objet à découper est
glissé dans la case de gauche et l'objet dont on utilise la durée
est glissé dans la case du milieu.
Le constructeur Étirement permet de synchroniser
la durée de 2 objets. La durée de l'objet de gauche sera
« forcée » à la durée de l'objet de la case
centrale. L'objet de gauche sera ainsi dilaté ou compressé
à une nouvelle durée.
