如何从F#列表中提取数据

时间:2011-01-16 10:38:22

标签: f# fparsec

跟进my previous question,我慢慢得到了FParsec(尽管我觉得特别难以理解)。

我的下一个新手F#问题是,如何从解析器创建的列表中提取数据?

例如,我将上一个问题中的示例代码加载到一个名为Parser.fs的模块中,并在一个单独的模块中添加了一个非常简单的单元测试(带有相应的引用)。我正在使用XUnit:

open Xunit

[<Fact>]
let Parse_1_ShouldReturnListContaining1 () =
    let interim = Parser.parse("1")
    Assert.False(List.isEmpty(interim))

    let head = interim.Head // I realise that I have only one item in the list this time
    Assert.Equal("1", ???) 

交互式地,当我执行解析“1”时,响应为:

val it : Element list = [Number "1"]

通过调整有效运算符列表,我可以运行解析“1 + 1”来获取:

val it : Element list = [Number "1"; Operator "+"; Number "1"]

我需要在上面的代码段中代替我的 ??? ?我如何检查它是一个数字,而不是一个运算符等?

1 个答案:

答案 0 :(得分:7)

F#类型(包括列表)实现结构相等。这意味着如果使用=比较包含某些F#类型的两个列表,当类型具有相同的长度并包含具有相同属性的元素时,它将返回true。

假设Element类型是F#中定义的区分联合(并且不是对象类型),您应该只能写:

Assert.Equal(interim, [Number "1"; Operator "+"; Number "1"])

如果你想自己实现平等,那么你可以使用模式匹配;

let expected = [Number "1"]
match interim, expected with
| Number a, Number b when a = b -> true
| _ -> false