f# - 解析/评估不是值，而是保存函数？这样解析只发生一次

Question

我正在尝试实现类似电子表格的功能，它维护变量并在其他变量或“单元格”发生变化时正确更新它们。

到目前为止，我看到的唯一实现是将输入的数据存储在一个字符串中并对其求值，但是当数据发生变化并且需要重新计算单元格时，它总是需要再次对字符串求值。

我只是想知道是否有可能将像 Cell1 = "SQUARED (4)"这样的字符串解析为 Cell1 = squared 4因此，不是将值计算到单元格中，而是在需要重新计算时需要一次又一次地运行字符串，而是可以以某种方式在某处保存实际函数和值，以便解析和评估只需要发生一次。

如果这不可能，那么我将需要创建一个代码生成器，因为我需要速度非常快并且不能承受严重的性能损失。评估、编译等的速度并不重要。这是创建所有单元格后的速度，当输入数据更改数百万次并通过重要的“电子表格”系统传播时。

所以这首先只是一个是或否的问题。如果可能的话，任何例子当然会有帮助。编辑:好吧，我想这真的很有帮助，因为我自己无法弄清楚。

Answer 1

如果您有兴趣实现电子表格之类的东西，那么有两件事可能会有所帮助。

• 首先，Cellz project是 F# 电子表格的示例实现。它包括一个简单的字符串解析器，如“=SUM(A1:A10)”，并从这些字符串构建一个表达式树(这只完成一次)。其次，它还包括一个计算表达式值的求值器。

• 其次，Luca Bolognese 就名为“Eden”的计算框架的实现进行了一些讨论，您在其中根据单元格描述计算，当单元格中的值发生变化时，变化会自动传播(并且仅依赖重新计算单元格)。他将在 TechMesh London 2012 发表演讲，但我认为这已被记录在某处(但找不到)。

Eden 背后的基本思想是，一个单元格被表示为具有当前值和值更改时触发的事件的东西:

type Cell<'T> =
  abstract Value : 'T  
  abstract Changed : IEvent<unit>

显式创建和更改的单元格具有可变的 Value 并在用户更改值时触发事件:

type MutableCell<'T>(value:'T) = 
  let mutable currentValue = value
  let event = Event<unit>()
  member x.Value 
    with get() = currentValue
    and set(v) = 
        currentValue <- v
        event.Trigger()
  interface Cell<'T> with 
    member x.Value = currentValue
    member x.Changed = event.Publish

然后您还可以构建作为某些计算结果生成的单元格。这是一个谈话或博客文章的主题，而不是一个 SO 答案，但是将一个单元格中的值映射到另一个单元格的简单转换看起来像这样:

let map f (cell:Cell<_>) =
  let currentValue = ref (f cell.Value)
  cell.Changed.Add(fun () -> currentValue := f cell.Value) 
  { new Cell<_> with
      member x.Value = currentValue.Value
      member x.Changed = cell.Changed }

您需要能够组合来自多个单元格等的值。