Ask HN: What do you _wish_ Computer Scientist's would work on more?
Riffing off [Ask HN: What are the most interesting emerging fields in computer science?](https://news.ycombinator.com/item?id=17696271) and /u/georgewsinger's observation [Almost all of the answers on this list are not fields that are "emerging" but fields that "have already emerged".](https://news.ycombinator.com/item?id=17696573)
To kick off the discussion... Here's my list.
* Programming Language Design for Automated Refactoring: The best thing I have seen so far has been [A rewriting system for Joy](http://nsl.com/papers/rewritejoy.html) and [An Algebra for Joy]( http://www.kevinalbrecht.com/code/joy-mirror/j04alg.html)
* Automated Criteria for Modularization: We all know, since Parnas, that modularizing code Is A Good Thing. But modules are made of modules, we have levels of modularization, blocks, functions, classes, files, directories, frameworks, packages, ..... and an awful horrible spaghetti tangle of syntactic and semantic and causal dependencies between them. I believe graph theory could be expanded to address these issues directly.