Merge 在ML中使用foldr函数合并列表列表
如果我有一组列表，例如[[1,2,4]，[3]，[0,9,8]…]，并且假设预定义了例程“merge”，那么如何使用foldr函数将这些列表合并到一个列表中 foldr的语法是：foldr f init[…]；我不知道在这种情况下初始条件应该是什么 任何帮助都将不胜感激，Merge 在ML中使用foldr函数合并列表列表,merge,sml,fold,ml,Merge,Sml,Fold,Ml,如果我有一组列表，例如[[1,2,4]，[3]，[0,9,8]…]，并且假设预定义了例程“merge”，那么如何使用foldr函数将这些列表合并到一个列表中 foldr的语法是：foldr f init[…]；我不知道在这种情况下初始条件应该是什么 任何帮助都将不胜感激， 谢谢。使用foldr要实现这一点，您可以使用foldr（fn（xs，result）=>…）initial xss其中initial是要合并的操作数之一（它作为第一个结果，而合并的结果作为后续的结果s）。也就是说，它的类型是一个
谢谢。使用
foldrfoldr（fn（xs，result）=>…）initial xssinitial结果结果