3 ms·
The secret (heh) is that any function defined on non-secret arguments can automatically be applied to secret arguments as well, and just returns a secret value
by yccs27 4y ago
The secret (heh) is that any function defined on non-secret arguments can automatically be applied to secret arguments as well, and
just returns a secret value now - without having to think about mapping/monads/whatever.
- mumblemumble 4y agoI think that it's actually something like the opposite of that. Rune disallows conditional branching on secrets, which would imply that passing secrets into the subset of functions defined on non-secrets that branch control flow based on an argument's value would be a compiler error.