Things that take closures should support both paradigms, since pure function closures that cannot abort can enable certain kinds of compiler optimizations like vectorizing more easily.