ユーザーがカスタマイズできるパラメーター化された関数に基づいて、GenString長さのランダムな文字列を返す関数を作成したいと考えています。[0 .. 100]GenChar
つまり、あるユーザーがすべてas の文字列を生成したい場合、常に を返す関数を渡すことでそれを行うことができ、別のユーザーは、ランダムなヘブライ文字を返すaカスタム関数を渡すことで、ランダムなアルファベットのヘブライ語を生成することができます。GenChar
補題 1: 渡された関数が返すGenArray型の配列を生成する関数を書きたい。GenThing : sometypeこれはフリー パスカルで実行できますか。
補題 2: 私がやろうとしているのは、QuickCheckを Free Pascal に移植することです。