Hi Alan, a few questions:
1. Do you have any recommended books to read?
2. Why do you think current programming paradigms are bad?
3. What changes to current operating systems need to happen?
[2] My view is you want to pass terse but informative information to a compiler in order for optimizations to take effect and there are three roads programming languages take: abstract away by layering which burdens the programmer to unravel everything (C++), abstract away from the hardware so much that specifics are hidden (most high level languages) or something similar to C.