4 ms·

Yeah quickcheck (and smart check which minimizes the counterexamples) seem like places where mathematica could shine bright for software debs. I would absolute

• taliesinb 12y ago
  There's the beginnings of an algebraic type system hiding in 10 (do Get["TypeSystem`"], then try RandomData[Vector[Atom[Integer]]). So generating synthetic data for a function with a given signature is already possible. Now we need to be able to express invariants etc, and then minimize counterexamples.