如何在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;