This is great well done. I have been thinking a lot about similar stuff. I would love to see a new IDE/language emerge that elevates us from "a program is a bu

This is great well done. I have been thinking a lot about similar stuff. I would love to see a new IDE/language emerge that elevates us from "a program is a bunch of directories and files" to "a program is a data structure that can be compiled/interpreted and executed". I want a "tree viewer" on the side that lets me view the components of my program not just files on a filesystem. Imagine when your IDE could be 100% aware of all different elements of your program in a reliable way. You could "attach" comments and tests to your code. Your IDE could show you hints about which components lack documentation and tests. You could navigate your program in powerful ways. The IDE could give you a UI for changing parameters and configuration. So much potential. Right now we have some of this stuff but it's done in a hacky way built on top of shaky conventions that are not academically sound or correct (comments as ad-hoc pieces of ignored string sprinkled in a file, test naming conventions , annotations etc). It would be nice to acknowledge a program for what it really is, a data structure.