alt.hn

8/18/2026 at 10:22:41 PM

Programmable Property-Based Testing

 https://dl.acm.org/doi/10.1145/3828685

by matt_d

8/19/2026 at 1:50:59 AM

Possibly of interest since it seems vaguely similar: I wrote my own property-testing framework for TypeScript that allows you to write arbitrary code provided that it's deterministic, so you don't need to mess with combinators as much. (Somewhat inspired by how React does it.)

Example:

   const point = arb.from((pick) => {
      const x = pick(arb.int(0, 100));
      const y = pick(arb.int(0, 100));
      return { x, y };
   });
https://github.com/skybrian/repeat-test/blob/0567a73f07ada6e...

It also lets you parse objects instead of generating them if you define a Domain instead of an Arbitrary, which I haven't actually needed much, but seems neat.

It does some shrinking without having to implement anything extra, but I haven't done anything with code coverage-guided generation. I'd like to try that sometime.

by skybrian

8/19/2026 at 12:44:05 AM

Author here! Let me know if I can contribute to the discussion.

by alpaylan

8/19/2026 at 1:48:33 AM

[dead]

by jkhdigital

8/20/2026 at 3:53:34 AM

[flagged]

by shidesheng