Weighted boolean Lassi Kortela (05 May 2020 13:39 UTC)
(missing)
Weighted alphabets Lassi Kortela (05 May 2020 13:47 UTC)
Re: Weighted boolean Marc Nieper-Wißkirchen (05 May 2020 13:49 UTC)
Re: Weighted boolean John Cowan (05 May 2020 15:09 UTC)
Re: Weighted boolean Bradley Lucier (05 May 2020 19:27 UTC)
Re: Weighted boolean John Cowan (05 May 2020 21:15 UTC)

Re: Weighted boolean Marc Nieper-Wißkirchen 05 May 2020 13:48 UTC

Am Di., 5. Mai 2020 um 15:39 Uhr schrieb Lassi Kortela <xxxxxx@lassi.io>:

> Should `make-random-boolean-generator` take an optional argument giving
> the probability with which #t is returned?
>
> For the string and char generators you can do the weighting yourself by
> giving some characters multiple times, but for booleans I don't see an
> equally easy way to roll your own weighting.

Even for strings and characters, you would be limited to rational weights.