"Philosophy" aside, unfortunately language design still touches the realms of 
logic, type theory and compiler technology.

Reply via email to