On Tue, 2012-08-14 at 09:56 -0700, Kerim Aydin wrote: > That's why I didn't propose a fix when ais523 and I tried this. I > think the solutions that work are: > > (1) Forbidding any promise from cashing any other promise (breaks > basic functionality of allowing promises to be general currencies, > etc., so losing a lot of interesting but not-looping promise uses); > > (2) Putting specific protections on other quantities as they are > on assets (e.g. if a Switch is undetermined, it is Default). > Problematic as it may allow switching something to default when it's > otherwise not allowed. > > (3) Making any "infinite processes" (when evaluated at a "Later Time") > wholly fail, and also making Conditionals in Promises default to either > TRUE or FALSE (the way that bad conditional votes default to PRESENT). > > (4) Live with it, but make it Not Winning.
What about forbidding /non-destructive/ promise cashing from promises (i.e. you can cash a promise recursively, but only if it's destroyed in the process), and also promise creation in promises? That way, you necessarily have a limit on any recursive process, but most non-scam forms of recursion are still possible. -- ais523