3 ms·
One of the most 'nice' thing about contract systems is automating blame checking in higher-order code. They handle the lambda/method param wrapping and blame di
by lmeyerov 2y ago
One of the most 'nice' thing about contract systems is automating blame checking in higher-order code. They handle the lambda/method param wrapping and blame direction assignment for you, which is annoying to do via manual assertions.
I didn't see a link to DBC, is that in there? Or some other use of contracts that is hard via just asserts, like in test amplification?
We are always looking for ways to improve our Python codebase, and I hadn't expected to see modern investment here!
- otteromkram 2y agoIt's at the end of the article in one of those "card" links. https://gitlab.com/leogermond/python-dbc https://gitlab.com/leogermond/python-dbc
- deleted 2y ago[deleted]
- lmeyerov 2y agoAh yeah unfortunate, afaict it does not (yet?) support lambdas, which is where imo this starts supporting flows that are hard via manual asserts I was hoping something like a more modern https://dl.acm.org/doi/10.1145/581478.581484 https://dl.acm.org/doi/10.1145/581478.581484