The comparison with functional programming ("no glue and cuts" and "no state") is so obvious I'm surprised I've never seen it in the wild
Actually, it does occur in the wild ;):
http://www.cs.ox.ac.uk/jeremy.gibbons/publications/origami.p...
Actually, it does occur in the wild ;):
http://www.cs.ox.ac.uk/jeremy.gibbons/publications/origami.p...
Thanks!