f#中的缩进问题(vs2010 beta1)

Question

我只是在学习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)处开始的上下文越位.尝试进一步缩进此标记或使用标准格式约定"for"if"

• "表达式中此点或之前的不完整结构化构造",用于最后一行(结果).

我补充一点,我不得不把汗有点注释类型,因为某种原因不明给我的编译器能够正确地推断出第一列表,但对于第二类型总是推断为单位还有,我的原始版本没有绑定名称结果,但只是"返回表达式",就像在

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"下留下一个错误,说"此表达式具有类型单位但在此处使用类型为double",并且"if"可能错误地缩进.

我认为,当我看到解决方案时,我会感到愚蠢,但我已经被困在这么简单的问题上超过一个小时,所以我要求你的帮助.

提前致谢!

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

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

Answer 1

你的问题是这样的

let result = yvalues.Head

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

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

Answer 2

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)