[ahf8Aithaex7Nai]

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.

[user____name]

The correct name would've been Fichte.

https://en.wikipedia.org/wiki/Johann_Gottlieb_Fichte

[DRMacIver]

> 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.

[ahf8Aithaex7Nai]

> 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.

[dr_dshiv]

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...

[DiscourseFan]

“Synthesis” is the purposiveness in the force of the Concept.