Bonjour, est-il possible en caml de créer des notations pour de nouveaux types?
Mettons que je re-codes les listes chaînées, puis-je noter mes listes (x0;...;xn) (correspondant à la notation [x0;...;xn] ) et caml m'afficher mes listes de cette façon (au lieu de quelque chose de la forme Noeud (x0, Noeud (x1, ... , Vide)) )?
Aussi peut-on changer l'ordre de priorité de lecture d'une expression comme cela semble se produire pour l'opération :: (caml comprends que 1:: 2:: [] est 1:: (2:: []) et non pas (1:: 2):: [] )?
Merci d'avance.
Partager