Comment by ahf8Aithaex7Nai

16 days ago

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.

5 comments

ahf8Aithaex7Nai

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

  • ahf8Aithaex7Nai  16 days ago

    > 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  16 days ago

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