list - ML 一个实数列表返回一个实数

Question

我目前正在从事一个 ML 小型项目并学习如何使用它，但这里有一些我面临的问题，但在网上找不到任何来源。

我想要一个函数来返回列表的最后一个数字，这是一个实数列表。我写了一个代码来返回一个单元素实数列表，但我希望它是一个实数而不是一个列表。这是我的代码：

fun last [] = nil
  | last(head::nil) = [head]
  | last(head::list) = last(list)

我想

last(head::nil)=head

将有助于获得真实数字，但它只会给我一个错误：

operator domain: 'Z list list
operand:         real list

谢谢！

score 0 · Accepted Answer

正如 melpomene 所说，它不是realnil类型的值，因此它不能是空列表的返回类型。实际上是不能返回任何值的，因为列表是空的！这使得函数局部化。您要避免使用部分函数，因为它们可能会在运行时崩溃。您可以定义一个替代函数，：lastlastOpt

fun lastOpt [] = NONE
  | lastOpt [x] = SOME x
  | lastOpt (_::xs) = lastOpt xs

例如，

- lastOpt [1,2,3];
> val it = SOME 3 : int option
- lastOpt [];
> val it = NONE : 'a option

这会将处理空列表的责任明确地传递给lastOpt.

内置函数List.last不安全，但有以下例外：

fun last [] = raise Empty
  | last [x] = x
  | last (_::xs) = last xs

我不建议使用这个。

1 回答 1