F# - 将 char[] 转换为字符串的最佳方法是什么?

F# - What is the best way to convert a char[] to a string?

有没有一种简单的方法可以在 F# 中将 char[] 转换为字符串而无需显式遍历数组?我试过了:

let char_arr = [|'a','b','c'|]
let str = new String(char_arr)

但这不起作用。建议?

数组元素之间用';'分隔

let char_arr = [|'a';'b';'c'|]
let str = new string(char_arr)
str |> printfn "%A"

Link: http://ideone.com/scp7qb