c# - 如何在 C# 中为接口编写 FsCheck 生成器

Question

假设我有一个接口 IPerson，它有 2 个读取属性 age (int) 和 name (string)。

我还有一个实现 IPerson 的类 Person。

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

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;