If you go a bit further with this, it becomes documentation-driven development :-) Also fits the first point of Simon Peyton Jones’s talk on writing a research paper: https://www.microsoft.com/en-us/research/academic-program/wr...