如何在SML中实现LPT(最长处理时间)调度算法功能

您可以使用尾部递归助手函数:

fun lpt xs = let 
    fun lpt' ([],l1,l2,s1,s2) = (rev l1, rev l2)
    |   lpt' (x::xs,l1,l2,s1,s2) = 
            if s1 <= s2 then lpt' (xs,x::l1,l2,s1+x,s2)
            else lpt' (xs,l1,x::l2,s1,s2+x)
    in
        lpt' (xs,[],[],0,0)
    end;

helper函数获取源列表和正在构建的列表,以及它们的和,并将源列表的头部固定到适当的列表上,调整适当的和,然后使用这些调整后的列表/和递归地在列表的尾部调用自己。这种构建列表的方法向后构造它们(在定义尾部递归列表构造函数时并不罕见),因此,没有任何剩余处理的基本情况会使它们反向。main函数只调用具有正确初始化的列表/和的helper函数。