Agreed. I've not liked the contract setup for various reasons. It seems like the proponents of it are mostly there because it scratches an itch in PL PhD studies rather than being an actually useful feature.

I remain unconvinced as why this is a necessary feature over the already existing `assert` statements.

At the end, it became very clear that some of the prose came from LLMs. It's a very short survey of other objections. I wonder why he/they reached for an LLM instead of writing it manually.

The paper sounds very, very much like Claude