这个 F# 代码有什么问题？

Question

我想使用有区别的联合来表示文件和目录。 然后给定一个目录，我想列出其中的所有文件（递归）。

但是在List.iter makeFileList行内

我明白了：

类型不匹配。期待一个 FileOrDir -> 单元，但给定一个 FileOrDir -> 字符串列表。 “单位”类型不 匹配类型“字符串列表”

type FileOrDir = 
| File of string
| Directory of string * FileOrDir list

let example = Directory("Directory1",[File("file1.txt"); File("file2.txt"); Directory("EmptyDir",[])])

let rec makeFileList fad =
    [     
    match fad with 
    | File(name) -> yield name
    | Directory(name,listOfFiles) 
        ->  listOfFiles |> List.iter  makeFileList                          
    ]            

我将不胜感激解释和解决方案。

Answer 1

List.iter 接受一个没有返回值的函数 ('unit') 并运行它以获得它的副作用。

我认为您想要 List.map，并且想要“屈服！”结果。

哦，实际上你想要 List.collect，它类似于 map，但连接所有结果（每个结果都是一个列表）。

请注意，'yield' 会将单个结果生成到一个序列中，而 'yield!'将结果序列生成到序列中。

编辑：

代码：

type FileOrDir = 
| File of string
| Directory of string * FileOrDir list

let example = 
    Directory("Directory1",
        [File("file1.txt"); 
         File("file2.txt"); 
         Directory("EmptyDir",[])])

let rec makeFileList fad =
    [     
    match fad with 
    | File(name) -> yield name
    | Directory(name,listOfFiles) 
        ->  yield! listOfFiles |> List.collect makeFileList
    ]            

printfn "%A" (makeFileList example)