| ▲ | ZuLuuuuuu 7 hours ago | |||||||
This reminds me the "Design by Contract" concept from Eiffel programming language: https://en.wikipedia.org/wiki/Design_by_contract https://www.eiffel.com/values/design-by-contract/introductio... | ||||||||
| ▲ | gavinray 7 hours ago | parent | next [-] | |||||||
If you enjoy this style of programming, I wrote a bit on why contracts and capabilities (ie "allocates memory", "performs i/o") are going to become essential for LLM generated code: https://gavinray97.github.io/blog/design-by-contract-and-eff... | ||||||||
| ||||||||
| ▲ | dionian 5 hours ago | parent | prev [-] | |||||||
First thing that popped into my mind as well I read the entire book on this and I really enjoy the philosophy | ||||||||