this is also known in some circles as "functional core, imperative shell." I agree that it's an excellent intermediate paradigm.