Index of values


A
add [Env]
Ajouter une liaison.
add [Var.Vars]
add x s returns a set containing all elements of s, plus x.

C
cardinal [Var.Vars]
Return the number of elements of a set.
check [Check]
L'appel check env t renvoie le type du terme t dans l'environnement env
choose [Var.Vars]
Return one element of the given set, or raise Not_found if the set is empty.
comp [Eq]
Composition des substitutions, ne fonctionne que pour des substitutions de supports disjoints.
compare [Var.Vars]
Total ordering between sets.
compile [Ia32]
Output ia32 code to channel
compile [Compiler]
L'appel compile env t compile le terme t dans l'environnement env.

D
delta [Eq]
L'appel delta x ty fabrique la substitution s(x) = ty et s(y) = y pour tout y différent de x
diff [Var.Vars]
Set difference.
disjoint [Eq.Vars]
Teste si deux ensembles sont disjoints (i.e.
dom [Eq]
Support d'une substitution, i.e.

E
elements [Var.Vars]
Return the list of all elements of the given set.
empty [Var.Vars]
The empty set.
equal [Var.Vars]
equal s1 s2 tests whether the sets s1 and s2 are equal, that is, contain equal elements.
erase [T.Ast]
Efface les types d'un terme de PCF explicitement typé, ce qui produit un terme de PCF non typé
evaln [Eval]
evalv [Eval]
Deux évaluateurs, par nom et par valeur
exec [Machine]
Lancer l'exécution de la machine, le premier argument est la valeur initiale de l'environnement de la machine.
exists [Var.Vars]
exists p s checks if at least one element of the set satisfies the predicate p.

F
filter [Var.Vars]
filter p s returns the set of all elements in s that satisfy predicate p.
find [Env]
Rechercher la valeur associée à une variable.
fold [Var.Vars]
fold f s a computes (f xN ... (f x2 (f x1 a))...), where x1 ... xN are the elements of s, in increasing order.
for_all [Var.Vars]
for_all p s checks if all elements of the set satisfy the predicate p.
fresh_var [Eq]
Renvoie une variable de type fraîche.
from_chan [O.Reader]
Dans un canal
from_chan [I.Reader]
Lire dans un canal (un fichier), un canal simple est l'entrée standard stdin.
from_chan [T.Reader]
Dans un canal
from_chan [S.Reader]
Lire dans un canal (un fichier), un canal simple est l'entrée standard stdin.
from_string [O.Reader]
Dans une chaîne
from_string [I.Reader]
Lire dans une chaîne
from_string [T.Reader]
Dans une chaîne
from_string [S.Reader]
Lire dans une chaîne

I
id [Eq]
Substitution identitée id(x) = x pour tout x.
infer [Poly]
Inférer le type d'un terme sans variables libres.
infer [Hindley]
L'appel infer env t renvoie le type du terme t dans l'environnement de typage env.
infer_scheme [Poly]
Utilisable comme argument de la boucle interactive S.Top.loop.
inter [Var.Vars]
Set intersection.
interv [Inter]
Interpréteur en appel par valeur
is_empty [Var.Vars]
Test whether a set is empty or not.
iter [Var.Vars]
iter f s applies f in turn to all elements of s.

L
loop [O.Top]
loop print eval lance une boucle 'toplevel', en français boucle interactive.
loop [I.Top]
loop print eval lance une boucle 'toplevel', en français boucle interactive.
loop [T.Top]
Boucle interactive pour PCF typé, limitée aux types.
loop [S.Top]
loop print eval lance une boucle 'toplevel', en français boucle interactive.
loop_eval [T.Top]
L'appel loop_eval check print eval lance une boucle interactive complète qui combine vérification de type (par check) et évaluation (par eval).

M
max_elt [Var.Vars]
Same as Set.S.min_elt, but returns the largest element of the given set.
mem [Var.Vars]
mem x s tests whether x belongs to the set s.
mgu [Eq]
Résolution des équations, renvoie une solution principale.
mgu_incr [Eq]
Résolution incrémentale, on peut voir l'appel mgu_incr t1 t2 s comme renvoyant la substitution mgu(s(t1),s(t2)) o s.
min_elt [Var.Vars]
Return the smallest element of the given set (with respect to the Ord.compare ordering), or raise Not_found if the set is empty.

O
of_list [Eq.Vars]
Fabrique un ensemble à partir d'une liste d'éléments non nécessairement distincts deux à deux.
of_list [Var.Vars]
Fabrique un ensemble à partir d'une liste d'éléments non nécessairement distincts deux à deux.

P
partition [Var.Vars]
partition p s returns a pair of sets (s1, s2), where s1 is the set of all the elements of s that satisfy the predicate p, and s2 is the set of all the elements of s that do not satisfy p.
print [T.Type]
Afficher un type dans un canal de sortie.
print [S.Ast]
Afficher dans un canal de sortie.
print [Var.Vars]
Afficher un ensemble de variables.
print_code [Code]
print_eqs [Eq]
print_instruction [Code]
Divers afficheurs
print_scheme [Eq]
Afficheur
print_subst [Eq]
Et leurs afficheurs
print_value [Machine]
L'afficheur des valeurs.
print_value [Inter]
Pour voir les valeurs

R
remove [Var.Vars]
remove x s returns a set containing all elements of s, except x.

S
singleton [Var.Vars]
singleton x returns the one-element set containing only x.
split [Var.Vars]
split x s returns a triple (l, present, r), where l is the set of elements of s that are strictly less than x; r is the set of elements of s that are strictly greater than x; present is false if s contains no element equal to x, or true if s contains an element equal to x.
subset [Var.Vars]
subset s1 s2 tests whether the set s1 is a subset of the set s2.
subst [Eq]
Applique une substitution à une variable de type
subst [Eval]
Substitution : subst e1 x e2 renvoie e1 avec la variable x remplacée par e2, noté e1[x/e1] dans le cours.
subst_type [Eq]
L'appel subst s t applique la substitution s au type t.

T
to_char [Op]
Représentation usuelle des opérations, par exemple Add -> '+'
to_fun [Op]
Renvoie la fonction qui calcule l'opérateur passé en argument.
to_string [T.Type]
Représenter un type dans une chaîne

U
union [Var.Vars]
Set union.