定义“技巧”标准ML函数而不指定显式类型

Question

这是来自此处所见的标准ML教程的练习：http://homepages.inf.ed.ac.uk/stg/NOTES/node42.html

我没上课，所以这里没有作弊行为。但我无法弄清楚如何做到这一点。有人可以帮忙吗？

函数fn x => fn y => x的类型为'a -> ('b -> 'a)。如果不提供显式类型约束，请定义类型为'a -> ('a -> 'a)

的函数

Answer 1

提示1：您必须找到一个包含2个或更多子表达式的表达式，但要求它们具有相同的类型。

提示2：列表或条件是好的竞争者。

提示3：当然，你放在那里的子表达式有两个论点。

提示4：您不需要使用此表达式的结果。