Pour que l'algorithme PT pour l'inférence de type ML fonctionne, l'expression du programme d'entrée doit avoir la propriété que chaque variable liée est distincte. Quelqu'un peut-il l'expliquer avec u
Existe-t-il une différence entre la variable libre et l'occurrence libre d'une variable dans le contexte du lambda-calcul? Si oui, alors s'il vous plaît expliquer avec un exemple ou deux. En fait, je
J'ai le programme de travail suivant: (Il peut être testé sur ce site: http://swish.swi-prolog.org, j'ai supprimé le lien direct à un programme enregistré, parce que j'ai remarqué que n'importe qui pe