Я пытаюсь реализоватьАлгоритм Хорнера в SML.

fun horner(lst1:real list,x:real) = 
  let
    val i = ref 1
    val result = ref (List.last(lst1))
    in
      if (lst1) = ([]:real list) then 0.0 
      else
        while (!i <= length(lst1)-1) do
          (result:=!result*x+List.nth(lst1,length(lst1)-(!i)-1);
          i := !i+1);
          !result
      end;

Принимает {n}, коэффициент x ^ n, в качестве своего начального результата, а затем с помощью горнера оценивает полином.

Оценивается как ((a {n} * x + a {n-1}) * x + a {n-2}). Список содержит коэффициенты многочлена. Проблема заключается в части "if lst1 = [] .... else". Использование только цикла while делает программу работоспособной. Но я не могу думать ни о чем, что не так с этой частью.