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