El De-dog-lo

A totally different proposal that only requires struct methods to perform similar tasks: ```vyper # NOTE: Could be defined as an internal library type struct Ledger(HashMap[address, uint256]): # NOTE: could...

> Using dataclasses, a library maintainer could essentially define what special functions are allowed in the context of such a struct. this is kinda of what Python protocols can do,...

Would like to note that [this original comment](https://github.com/vyperlang/vyper/issues/3716#issuecomment-1873545832), while proposing a different way of implementing the same feature in OP, was also trying to point out some of the difficulties...

Direct feedback: the "intrinsic sign" is very hard to understand, and using operators seems quite likely to be overlooked when auditing. Would at least suggest using some sort of built-in...

This VIP is deferred because the accepted practice is to assume the 2300 gas stipend on Ether transfers from contracts (to which we add 0 additional gas to the default...

too hard to evalulate changes until it's rebased on the module work

We have the `UNREACHABLE` modifier for `assert` and `revert` statements, which injects the `0xFE` opcode used by many FV tooling such as Symbolic Execution engines to detect invariant violations. It's...

I think it is noted, but exposing an API to get the AST for a given source program would be quite handy for Step 1. For Step 3, my wishlist...

Really cool extra for `hypothesis` that can generate strategies for a `lark` grammar: https://hypothesis.readthedocs.io/en/latest/extras.html#hypothesis-lark

Thanks to @iamdefinitelyahuman for helping us achieve Step 2 here!