联盟类型的F#列表

Question

我想要一份报告清单.报告可以是详细信息或部分类型.

module Data

type Section = { Header: string;
                 Lines:  string list;
                 Total:  string }

type Detail = { State:     string;
                Divisions: string list;
                Sections:  Section list }

type Summary = { State:    string;
                 Office:   string;
                 Sections: Section list }

type Report = Detail | Summary

然后在我的代码中,我想做以下事情:

let mutable (reports:Report list) = []

...

reports <- detail::reports
// or
reports <- summary::reports

编译器在第一种情况下抱怨:"表达式应该具有类型报告,但这里有类型详细信息",并且在第二种情况下适当地类似.

我不想做这样的事情吗？我应该以不同的方式思考问题吗？由于报表是详细信息或摘要,因此报表列表不应接受详细信息或摘要？什么是报告列表,如果不是详细信息或摘要列表？

谢谢.

Answer 1

你的语法有点错误:

type Report = Detail of Detail | Summary of Summary

reports <- (Detail detail)::reports
// or
reports <- (Summary summary)::reports

在您的代码中,您基本上只是将Report类型定义为具有两个可能值的枚举Details或Summary(这些类似于标签,而不是此上下文中不同子类型的类型).F#中的歧视联合会被明确标记,因此您还必须使用其中一个联合构造函数来创建要放入列表的实例.