type-inference - 在不指定显式类型的情况下定义“技巧”标准 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：你不需要使用这个表达式的结果。