Module Skimmel.Build

Le module Build fournit diverses fonctions utilitaires qui facilitent la construction d'expression Skimmel.

val var : string -> t
val lit : int -> t
val app : t -> t list -> t

app e [arg1; arg2; ...; argN] construit l'arbre de syntaxe pour l'application App (... App (App (e, arg1), arg2) ...), argN).

val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
val (/) : t -> t -> t
val (<) : t -> t -> t
val (<=) : t -> t -> t
val (>) : t -> t -> t
val (>=) : t -> t -> t
val (=) : t -> t -> t
val (<>) : t -> t -> t

Construction d'autres noeuds de la syntaxe, notamment une version n-aire de la séquence.

val let_ : string -> t -> t -> t
val fun_ : (t -> t) -> t
val seq : t list -> t
val if_ : t -> then_:t -> else_:t -> t
val recfun_ : (arg:t -> self:t -> t) -> t
val letrecfun : fun_name:Id.t -> param:Id.t -> body:t -> t -> t
val (let$) : t -> (t -> t) -> t

OCaml permet aux programmeurs et programmeuses de définir leurs propres opérateurs de liaison (let). On utilise cette possibilité pour écrire des noeuds Let de l'arbre de syntaxe Skimmel.

Le code OCaml let$ x = Lit 42 in x va construire une expression Skimmel avec un nom de variable arbitraire x (mais jamais utilisé, voir Id.fresh) et construire l'expression Let (Lit 42, { bound = x; inscope = Var x; }).