> assuming everyone would use the same hardware, same environment and same workflows They don't have to. I would ideally represent HW, OS and compiler in the L

> assuming everyone would use the same hardware, same environment and same workflows They don't have to. I would ideally represent HW, OS and compiler in the LC as well. Then primitives of the language that could be proven to be HW/OS/compiler independent could be abstracted and readily translated. For the ones that could not - well you have exact description of what the differences are.