4

我只是在学习 f#，所以可能我正在做一些非常愚蠢的事情。随时向我指出相关文档，我已经搜索但无法找到。我在 Windows 7 (.Net 4.0) 上使用 Visual Studio 2010 beta。

我的第一个 f# 项目一切顺利。嗯..几乎所有东西。特别是我正在编写一个非常简单的线性插值函数，代码如下：

let linterp (x:double) (xvalues:double list) (yvalues:double list) =
    let num_els = xvalues.Length
    if x <= xvalues.Head then 
        let result = yvalues.Head
    elif x >= (List.rev xvalues).Head then 
        let result = (List.rev yvalues).Head
    else for idx in [0 .. num_els] do 
        if List.nth xvalues idx >= x then 
            let x0 = xvalues.Item idx
            let y0 = yvalues.Item idx
            let x1 = xvalues.Item (idx+1)
            let y1 = yvalues.Item (idx+1)
            let result = y0 + (y1-y0)/(x1-x0)*(x - x0)
    result

我收到了一系列完全无法理解的错误。

这是错误和警告列表：

  • “此'let'的返回表达式中的错误。第一个，第二个和最后一个“let”的可能正确缩进”。

  • “可能不正确的缩进：此标记超出了从位置 (39:10) 开始的上下文。尝试进一步缩进此标记或使用标准格式约定”作为“如果”

  • 最后一行（结果）的“表达式中此点处或之前的不完整结构化构造”。

我要补充一点，我不得不花点时间来注释类型，因为由于某种我不知道的原因，编译器能够正确推断第一个列表，但对于第二个列表，类型总是被推断为单元另外，我的原始版本没有绑定名称结果，而只是“返回表达式”，如

if x <= xvalues.Head then 
    yvalues.Head

或在

else for idx in [0 .. num_els] do 
    if List.nth xvalues idx >= x then 
        let x0 = xvalues.Item idx
        let y0 = yvalues.Item idx
        let x1 = xvalues.Item (idx+1)
        let y1 = yvalues.Item (idx+1)
        y0 + (y1-y0)/(x1-x0)*(x - x0)

这会在“for”下留下一个错误，说“这个表达式的类型为 unit，但在这里与 double 类型一起使用”，并且“if”可能缩进不正确。

我想当我看到这个问题的解决方案时，我会觉得很傻，但是我已经被这样一个简单的问题困住了一个多小时，所以我请求你的帮助。

提前致谢！

ps：我已经检查了选项卡在工具->选项->....-> F#->选项卡菜单中被正确解释为空格

pps：这是我关于 SO 的第一个问题 :-)

4

2 回答 2

5

你的问题是这样的

let result = yvalues.Head

不是一个完整的表达式，因此它不能形成一个if块的一个分支的主体。您的初始方法是正确的，只是for ... do循环没有返回有意义的值（它返回()，这是 type 的唯一值unit，正如编译器试图解释的那样；这类似于voidC# 等语言）。而不是for循环，您将需要使用具有您要查找的值的表达式。对代码的最小更改是使用您在循环中强制设置的可变值。更惯用的方法是使用像 List.fold 这样的内置函数将列表压缩为单个值。这很复杂，因为您需要访问列表中的连续条目（并且您需要同时对 xvalues 和 yvalues 进行操作），这意味着您可能需要使用 List.zip 和 Seq.pairwise，这可能降低不习惯 F# 的人的清晰度。

此外，您还可以应用一些其他更改来使您的代码更加地道。例如，let x0 = xvalues.Item idx通常会写成let x0 = xvalues.[idx]. 但是请注意，F# 列表是不可变的链表，因此不支持快速随机访问。这是支持使用内置List运算符的方法的另一个原因。

于 2009-08-20T01:43:10.827 回答
5 
let linterp x (xvalues:double list) (yvalues:double list) =
    if x <= xvalues.Head then 
        yvalues.Head
    elif x >= (List.rev xvalues).Head then 
        (List.rev yvalues).Head
    else
        let idx = List.findIndex (fun e -> e >= x) xvalues
        let x0 = xvalues.Item idx
        let y0 = yvalues.Item idx
        let x1 = xvalues.Item (idx+1)
        let y1 = yvalues.Item (idx+1)
        y0 + (y1-y0)/(x1-x0)*(x - x0)
于 2009-08-20T02:07:36.117 回答