我想编写一个函数,该函数根据用户可以自定义的参数化函数GenString返回一个随机长度的字符串。[0 .. 100]GenChar
也就是说,如果一个用户想要生成一个全a是 s 的字符串,他可以通过传入一个总是返回 的函数来实现a,而另一个用户可以通过传入一个GenChar返回随机希伯来字母的自定义函数来生成随机的希伯来字母单词。
引理 1:我想编写一个函数GenArray,它生成一个传入函数GenThing : sometype返回的任何类型的数组。这可以在 Free Pascal 中完成吗?
引理 2:我正在尝试将QuickCheck移植到 Free Pascal。