Re:Spectre and the end of langsec
by kibwen on Thursday January 11, 2018 @02:01PM
(#16126681)
Yeah, I specifically had combinators in mind when considering ways to sneak recursion in. :P And it occurs to me you'd have to forbid function pointers too.
[ Parent
| on HN ]
Yup, and you would probably not be able to do Object Oriented Programming either (or have to limit it horrendously), cause an object is similar to a closure, and you therefore can use it for unbounded recursion.