標準ML：返回不同的類型

Question

我需要根據傳遞給另一個函數的函數返回一個不同的值。

因此，考慮到：fun inc x = x + 1;

和：fun double [] = [] | double (h::t) = 2*h::double (t);

你應該能夠調用我的工作有任何的功能。

調用示例（我正在做的功能名爲test）：

test (inc, 5); - 它會返回

- 或 -

test (double, [1,2,3,4]); - 它會返回[ 2,4,6,8]

我知道函數不能在面值上做到這一點，但這是可能的，通過層的抽象重刑？

Answer 1

當然，這是可能的：

fun test (f, x) = f x 

test現在有型(('a -> 'b) * 'a) -> 'b，這意味着如果您在返回一個int的函數傳遞（如inc），其結果將是一個整數，如果你傳入返回一個列表的函數，結果將成爲一個列表。

作爲旁註：double可能更容易/慣用地定義爲fun double xs = map (fn x -> x*2) xs或val double = map (fn x -> x*2)。