Hungarian notation definitely has its uses. I find writing effectful! predicate? or $selector very helpful for reading code.
miniblog.
Related Posts
Assertions are a surprisingly nuanced design space. In a test, if I assert `x < y`, I really want to see the values of x and y when it fails.
Do you define an API for every possible predicate (Python's assertLess, expect.js) or try to support the native syntax (c.f. pytest)?
C-Reduce has a fun concept of "interestingness", the predicate that you are trying to preserve whilst shrinking your program: https://embed.cs.utah.edu/creduce/using/
It's a great term: previously I've used the boring "property under test".