我想仅使用 sml 中的高阶函数对矩阵进行转置，但我真的很堆栈，这就是我所拥有的
fun transpose [] = []
| transpose ([]::_) = []
| transpose mat = (map hd mat)::(transpose(map tl mat));
但我不想调用转置，因为再次不允许递归。我也想摆脱案例。有什么帮助吗？
我正在尝试实现一个函数,该函数从两个int列表创建一个列表以形成对.但是当我尝试运行zip时,它告诉我这是一个未绑定的变量.是否还有其他功能在库中执行相同的工作或使用折叠程序进行zip的某些定义？