SML - 未捕获的异常为空答案

【问题标题】：SML - uncaught exception emptySML - 未捕获的异常为空
【发布时间】：2012-09-28 00:54:11
【问题描述】：

我正在尝试编写一个 SML 程序来检查矩阵是否是奇异的。矩阵已表示为列表列表。示例 [[1,2],[3,4],[15,50]] 是有效的，但 [[1,2],[1,2,3]] 不是。

fun remove (l,r)= 
    let fun iter(front,l,i)= 
      if i=r then front@tl(l) 
      else
        iter(front@[hd(l)],tl(l),i+1)
    in 
    iter([],l,1) end;

fun removed (l,r)=
    let fun iter(l,m)=if tl(l)=[] 
      then m@[remove (hd(l),r)] 
      else iter(tl(l),m@[remove (hd(l),r)])
    in
    iter(tl(l),[]) end;

fun nth (l,i)=let fun iter(l,c)=if i=c then hd(l) else iter(tl(l),c+1) in iter(l,1) end;

fun deter (l)=let fun iter(det,i,j)=if i=(length l)+1 then det else iter (det+j*(nth (hd(l),i))*(deter (removed(l,i))),i+1,j*(~1))
                 in iter(0,1,1) end

deter 函数被定义，但是当我给它一个输入时，会发生未捕获异常为空的错误。请帮我调试一下。

谢谢

【问题讨论】：

请在发布之前清理您的代码，以便人们真正阅读它。你的错误很可能是调用nth，因为你最终试图在一个空列表上调用nth。

标签： sml

【解决方案1】：

问题源于尝试在空列表上调用 hd 或 tl。

避免此类问题的最佳方法是尽可能避免使用这些功能。 100 次中有 99 次，您可以使用模式匹配代替，然后编译器将检查您是否同时处理非空列表和空列表。

要在列表上使用模式匹配，您可以使用类似于以下模式的内容：

而不是

fun f ls = ... (* code where you use hd ls, tl ls *)

使用

fun f (x::xs) = ... (* non-empty list; x = the head, xs = the tail *)
  | f []      = ... (* empty list *)

【讨论】：