如何在C＃中为接口编写FsCheck生成器

Question

假设我有一个带有2个读取属性age（int）和name（string）的接口IPerson。

我还有一个实施IPerson的人员。

如何编写用于生成IPerson类型实例的FsCheck生成器？

Answer 1

以下内容应该有效：

Gen<IPerson> gen = from age in Arb.Default.Int32().Generator
                   from name in Arb.Default.String().Generator
                   select new Person(age, name) as IPerson;