3 ms·
I totally agree, but the reality is that in order to write contracts that are sure to be correct, you need a level of expertise that involves much more work tha
by wyager 10y ago
I totally agree, but the reality is that in order to write contracts that are sure to be correct, you need a level of expertise that involves much more work than just learning how to write programs. Knowing the syntax and usage of a rigorously-typed language like Agda is the easy part.
- kowdermeister 10y agoThen the platform is flawed. Average programmers should be able to understand it easily. It's not that hard, some wants X and some wants Y in exchange. I'm not a lawyer but I write contracts with my clients. If you keep things simple it should fit most people. making g smart contracts complicated you keep it in the area of a small elite who are knowledgeable of playing safe with it. I wold go as far as make it as simple as HTML.
- wyager 10y agoThat's what standardized contracts are for. Tellers don't write the legalese on your credit card receipt. They just print it out.