Yes, this transformation has occurred to me before. The order is reversed, but Forth programs have nearly the same kind of homoiconicity — higher-order functions need to be quoted in some manner, and the arity of predicates has to be known, but in exchange you drop the brackets.