3 ms·
Can we have #include <stdcontract> #include <boost-clause> int main() { specialCase = "we fire you for any reason whatsoever and eat your baby"; return 0;
by whycombinater 8y ago
Can we have
#include <stdcontract>
#include <boost-clause>
int main() {
specialCase = "we fire you for any reason whatsoever and eat your baby";
return 0;
}
And then it's much more clear? More directly, can we have libraries of contracts, i.e. convert spaghetti legal code into properly factored legal programs?
Or are we doomed to copy and pasted, IOCC winning EULAs that say that you can only use Apple if you don't nuke stuff.
Dude I just want to program a thingy, without reading 1000 pages of "WE OWN YOUR SOUL", trying to figure out which percentages of my soul may or may not be enforceably eatable.
Fuck off.