Are you sure you mean HOP? Higher-order programming has to do with using functions as arguments, not with more abstraction or "higher level" anything. You might have more abstraction when using these techniques, but not necessarily.