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