A high-level computer programming language designed to support structured programming and used in teaching, applications, and systems programming.
The next step would be to support more structured programming concepts like loops, ie. translate them to this continuation passing style using macros.