1. 11

  2. 4

    While this is a link to a feature of a testing library, I think it’s good content for 2 reasons:

    • It’s the only information I’ve seen on that feature, anyway.
    • It’s an extremely interesting feature: given a program, generate property tests for that program.
    1. 1

      Makes me think of quickspec, which automatically derives laws a function obeys. However, this seems like a very different workflow.

      I have vague ideas around an interactive environment for exploring properties: one that would tell you which properties your function has, with counter examples for the ones it lacks.

    2. 1

      Have to give that a try, but it will be interesting how well this works for real life code