的想法是多個維度走過去，每一個定義爲範圍 (* lower_bound, upper_bound, number_of_steps *)
type range = real * real * int
所以像fun foo y x或fun foo z y x功能可以應用到整個正方形X Y或立方體X Y * Z. SML/NJ不喜歡我下面的實現： test2.sml:7.5-22.6 Error
例如，而不是 - op =;
val it = fn : ''a * ''a -> bool
我寧願有 - op =;
val it = fn : ''a -> ''a -> bool
用於 val x = getX()
val l = getList()
val l' = if List.exists ((op =) x) l then l else x::l
很顯然，我可以
給定一個方法DoSomething，它需要一個（無參數）函數並以某種方式處理它。有沒有更好的方法來創建帶有參數的函數的「重載」而不是下面的代碼片段？ public static TResult DoSomething<TResult>(Func<TResult> func)
{
//call func() and do something else
}
public static