Hacker News Reader

Let's pick Dhall and see if it fails any of the points. It seems closest.

Skylark also. It's essentially Python with anything more than primitive recursive functions cut out.

One point that the article is trying to make is that even something in PRF can give rise to a very long-running computation.