f# 自定义链表和引用

Question

我是这种语言的新手。为了尝试理解引用，我尝试以大学新生计算机科学的方式实现一个简单的定向列表。

type item = { 
    value:float 
    next:ref<item>
}

type list() = 
    let head:ref<item> = null // tried instantiation so many different ways and it likes none of em

    let sum i = 
        if i == null then
            0
        else 
            i.value + sum i.next // constructor not defined?

请告诉我为什么我不擅长这个

Answer 1

首先，您尝试以某种命令式的方式实现它 - 这没关系，但不是真正实用。 无论如何，您遇到的第一件事是，您不能分配 null - 如果您真的想要，您必须将 [<AllowNullLiteral>] 添加到您的 item 类型（但当然您必须将其设为类而不是记录）：

[<AllowNullLiteral>]
type Item(value, next) = 
    member this.value = value
    member this.next : Item ref = next

let head : ref<Item> = ref null

let rec sum (i : Item) = 
    if i = null then
        0.0
    else 
        i.value + sum !i.next

但这几乎不是一个好主意，所以我会这样开始：

module List =

   type Item = { value : float; next : List }
   and  List = Item option ref

   let empty : List = ref None
   let single x = { value = x; next = ref None }

   // this is how you can change the list
   let rec append x l =
      let item = single x
      match !l with
      | None -> 
         l := Some item
      | Some node ->
         append x node.next

   let rec sum (l : List) =
      match !l with
      | None      -> 0.0
      | Some item -> item.value + sum item.next

现在，如果您仔细观察，您会发现，如果您只是在前面附加，那么您实际上并不需要 refs，瞧……您得到了通常的功能列表；）

PS：你也忘记了一些其他的事情：

• 你在那里使用浮点数所以你必须使用0.0而不是0
• 您的sum-函数必须是递归的（请注意，它不是尾递归的，因此您会遇到大列表的问题！）
• 你必须取消引用 ref-cells 和!
• 你必须用ref构造ref-cells（例如ref null）
• 您的 type list() = 对我来说毫无意义，所以我将其转换为模块

PPS：请不要说它不是 F#-Way 来改变这样的东西 - 这只是为了向你展示如何做到这一点......但如果你没有，就不要这样做到