3 ms·Let's pick Dhall and see if it fails any of the points. It seems closest.by nine_k 2y agoLet's pick Dhall and see if it fails any of the points. It seems closest.talideon 2y agoSkylark also. It's essentially Python with anything more than primitive recursive functions cut out.extrabajs 2y agoOne point that the article is trying to make is that even something in PRF can give rise to a very long-running computation.