If the code writes itself due to type declarations, it must be mindless drivel, not something containing "hard problems". For instance, if we just declare some

If the code writes itself due to type declarations, it must be mindless drivel, not something containing "hard problems". For instance, if we just declare some data structures for computational geometry, like points, line segments and whatnot, code for, say, intersecting two meshes is not effing going to write itself! The author is living in some CRUD world of pulling things from one API or database, converting to a different data model, and stuffing them into another API, with maybe some HTML generation sprinkled on top.