It seems to me that one way computer science could be divided up, is into three domains:
- What is efficient for humans to represent and comprehend
- What is efficient for computers to represent and process
- An idealized form of how computation/problems are defined that is extremely succinct, specific, and not tied to human or computer limitations
What I am most interested in, is this third domain. I believe if a lot of effort is invested there, it will drive the advancement of the other two domains.
Towards that end, I am interested in the development of an "ultimate" virtual machine. Something with a gratuitously minimal and impoverished grammar, and an extremely advanced type system.
I am wondering if anything like this exists. I am also trying to develop something like this, with the idea that it doesn't.