To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel.
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.
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.
yeah where did that come from? It's like attributing the cartesian coordinate plane to Descartes -- when actually it was a textbook author who came up with the modern one...
Comments
To all you amateur Hegel enthusiasts out there: there is no synthesis in Hegel.
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.
The correct name would've been Fichte.
https://en.wikipedia.org/wiki/Johann_Gottlieb_Fichte
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.
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.
It is funny, and I really like the reference.
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.
yeah where did that come from? It's like attributing the cartesian coordinate plane to Descartes -- when actually it was a textbook author who came up with the modern one...
“Synthesis” is the purposiveness in the force of the Concept.