为什么我不能在F#中打印这个数组？

Question

我在C#中有这个列表:

List<string> words = new List<string> { "how", "are", "you" };

我可以轻松地打印列表的内容:

foreach(string word in words)
   Debug.WriteLine(word);

现在我想在F#中做同样的事情(我从这里了解到a List<T>类似于ResizeArray):

let words = ResizeArray<string>()
words.Add("how")
words.Add("are")
words.Add("you")

for word in words do
    Debug.WriteLine(sprintf "%s" word) 

现在的问题是,在for循环中word变为null.我在这做错了什么？

编辑:这是完整的代码.我按照建议把它改成了printf.不幸的是,当在for循环中时,我仍然会得到null:

let myFunction =
    let words = ResizeArray<string>()
    words.Add("how")
    words.Add("are")
    words.Add("you")

    for word in words do
        printf "%s" word // <-- word becomes null
    words

[<EntryPoint>]
let main argv = 
    ignore myFunction
    0 // return an integer exit code

Answer 1

我知道您希望您的代码看起来像 C#。但 F# 是一种函数式语言（严格来说不是，但这是主要范式），这些功能体现了该语言的力量。首先是你的收藏。更惯用的类型是列表。它是不可变的，这是该语言的功能特征之一。

let words = ["how"; "are"; "you"]

由于它是不可变的，因此您可以通过创建新集合来扩展它。您可以在开头附加一个项目：

let moreWords = "Hello" :: words

或将一个列表与另一个列表连接：

let evenMore = moreWords @ ["I"; "am"; "fine"]

然后迭代。For 循环是纯粹的命令式构造。由于我们切换到函数式集合，因此使用内置 List 函数之一进行迭代：

let prnt lst = lst |> List.iter (fun x -> printfn "%s" x)

这需要一个清单。逐项迭代它。(fun x -> printfn "%s" x)并在每个项目上执行该函数。

或者您可以尝试一下并编写自己的函数来遍历所有元素并对每个元素执行一个函数。一种方法是使用递归和列表匹配：

let rec loopFn lst fn =
    match lst with
    | [] -> fn
    | head::tail ->
        fn head
        loopFn tail fn

该函数接受一个列表和另一个函数作为参数。与列表匹配。如果为空 ( | []) - 执行该功能。否则将列表拆分为 head，其余 ( ) 对( )head::tail执行该函数，并在剩余项目 ( ) 上进一步循环。headfn headloopFn tail fn

要打印项目，请将单词列表和打印函数传递给函数：

loopFn words (fun x -> printfn "%s" x)

或者因为printfn它本身就是一个函数，所以您可以稍微简化调用：

loopFn words (printfn "%s")

Answer 2

我怀疑这是由于 F# 的惰性求值性质造成的。因此，word只有在语句使用它之前，它才被实际分配printf，因此您无法在调试器中看到该值。

如果您在循环中添加另一个语句并在那里设置断点，您将看到分配的 value 的值word。请参阅下面的片段 -

let myFunction =
let words = ResizeArray<string>()
words.Add("how")
words.Add("are")
words.Add("you")

for word in words do
    printf "%s" word // 
    printf "%s" word // <-- SET A BREAKPOINT HERE AND VERIFY THE VALUE OF 'word'

words