définir une fonction standard « trick » ML sans spécifier le type

Question

explicite Ceci est un exercice du tutoriel norme ML vu ici: http://homepages.inf.ed.ac.uk/stg/NOTES/node42.html

Je ne prends pas une classe donc il n'y a pas de tricherie passe ici. Mais je ne peux pas comprendre comment faire cela. Quelqu'un peut-il aider? La fonction fn x => fn y => x a le type 'a -> ('b -> 'a). Sans donner de contrainte de type explicite, définissez une fonction avec le type 'a -> ('a -> 'a)

Answer 1

Indice 1: Vous devez trouver une expression qui a 2 sous-expressions ou plus, mais qui requiert qu'elles aient le même type. Indice 2: Les listes ou les conditions sont de bons prétendants.

Indice 3: Bien sûr, les sous-expressions que vous y mettez sont les deux arguments.

Indice 4: Vous n'avez pas besoin d'utiliser le résultat de cette expression.