I like the idea of atoms in that it captures the point that functions should be small and simple.

But I really think it is key that a good programming model shows a good conceptual model which is going to be well-compressed. Among other details, that points out not only why you factor code, but also why you avoid repeating it.