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 comprehendWhat is efficient for computers to represent and processAn idealized form of how computation/problems are defined that is extremely succinct, specific, and not tied to human or computer limitationsWhat 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.
The ultimate virtual machine
programming languages;language design