Comment by DRMacIver
16 days ago
> To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel.
Looks like the mods deleted the last long thread about this, so best not to relitigate, but short version: Yes, we know. We liked the name and thought it was funny so we kept it.
> Otherwise: Congratulations on the QuickCheck-style testing in Rust. At work, I’m always surprised that property-based testing is so little known and so rarely used outside of functional programming.
Actually, it's Hypothesis-style testing in Rust. There was already QuickCheck style.
Property-based testing is in fact far more widely used in Python than in functional programming (probably not as a percentage of users, but in terms of raw numbers), which I'm always surprised that the functional programming community seems mostly unaware of.
> We liked the name and thought it was funny so we kept it.
It is funny, and I really like the reference.
> ... , which I'm always surprised that the functional programming community seems mostly unaware of.
Oh, I should have clicked on the Hypothesis link in the first paragraph. Thanks for pointing that out!
Edit: And it makes me smile that there was a long thread about it.