Hacker News Reader

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.