I didn't take your post as criticism, but rather a spark, or conversation starter, to think about self-imposed limits in art via tools or physical handicaps.
I had immediately thought of the demoscene, especially Inigo Quilez [1], and his creation Shadertoy [2]. It is amazing to see what people create with these tools.
Thanks for the link on 'first-order jails'. I thought I had the gist of it, until I read your link. I especially like the back and forth about higher order vs. first order re: Haskell and graphical user interfaces. I am curious how it applies to Praxis, which has a node editor, but you can hop into the code which is in Java. It is built from the ground up for distributed, non-glitch livecoding.
I am an experimenter, and although I fancy myself reading about logic and computing, I am only passingly familiar with it WRT your reference. I learn a lot about it from my studies with Shen [3], and recently Idris. [4]
Extempore, and its programmng language xtlang, are driven by livecoding needs, but it is basically a general systems programming language at this point. I believe Andrew started with S7 scheme like CM (Common Music) did. The original creator, Andrew Sorensen, and Ben Swift who works on it too, are courting, or are being courted by the HPC world. The need to have a language that could handle time well, or 'temporal recursion' for music creation, lends itself well to HPC concerns. Xtlang is fast. C fast. It uses LLVM in the back.
Blender3D has a nice node editor for building up procedural textures and shaders too as in this tutorial. [5]
I find that the node/gui approach keeps me focused on what I am trying to emulate or build. I don't like it for programming like in LabView though, and I don't like node-based programming in the few incarnations I have seen. OTOH, Brainfuck is TC, but I wouldn't want to be in that 'first order jail'-free environment either ;)
REVELATION: I do like J, which some people say looks like line noise! [6]
[1] http://iquilezles.org
[2] https://www.shadertoy.com/
[3] http://shenlanguage.org/
[4] http://www.idris-lang.org/
[5] http://www.chocofur.com/6-shadersamptextures.html
[6] jsoftware.com