4 ms·
I really wonder how software verification works in the case of Code Valley, e.g. if you order List.append a b, how do you know it won't return List.append b a?
by justusw 10y ago
I really wonder how software verification works in the case of Code Valley, e.g. if you order List.append a b, how do you know it won't return List.append b a?
This could perhaps be a great application for Idris-Style dependent types. For example, you could create an RFP for "List.append" with a few constraints, `len(append(a+b)) == len(a) + len(b)` and so on and then know that the market will create something you can automatically verify to a certain degree.
- jlovisa 10y agoHi, I'm one part of the Code Valley team. Happy to answer questions. Any developer can vet suppliers before they automate an agent to contract them. For example, you could contract the agent you're looking to vet, hit 'build' and be returned a small program to carry out List.append a b. If the program works as you expect, you have then verified (in that instant of time) that the supplier is sound, and can proceed to building your own agent to contract it.