News for hackers. Stuff that matters.

A comment on Spectre and the end of langsec. Parent comment

Re:Spectre and the end of langsec by scatters on Thursday January 11, 2018 @01:39PM (#16126488)
That's what fix point combinators are for. The Y combinator won't work in a language like C++, but the Z will work fine.

For example, here's Z in C++14, used to compute 5 factorial: https://godbolt.org/g/se5B8u

[ Parent | on HN ]
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 ]
Re:Spectre and the end of langsec by greiskul on Thursday January 11, 2018 @04:14PM (#16127931)
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.
[ Parent | on HN ]