2 ms·
I want a language for safe collaboration. Suppose I create a GPL-licensed library for decoding mpeg4 that I publish somewhere. Someone should be able to fix a b
by bjourne 4y ago
I want a language for safe collaboration. Suppose I create a GPL-licensed library for decoding mpeg4 that I publish somewhere. Someone should be able to fix a bug in that library and publish a new with minimal involvement from my side and minimal overhead work. I shouldn't have to review pull requests or anything. It should all be automatic and the language should protect against malicious users inserting flawed code.
Copyright would be handled using a block chain so every commit's author would be publicly visible to users of the library.
The "source code" would be stored as a call-flow graph and perhaps nodes would have different permissions to sandbox the effect of untrusted contributors changes.
- OneWingedShark 4y agoHonestly, Ada fits a LOT of that bill. The type-system and forced spec/implementation split both work well to catch errors; you can go further with SPARK [proving] and using Pre- and Post-conditions, type-invariants.
- mynameismon 4y ago> Copyright would be handled using a block chain so every commit's author would be publicly visible to users of the library. I think you might not want a blockchain: what you need is a merkle tree, which is basically what backs both git and blockchain