“[Languages] should be treated as a part of a modelling theory. Up to now I don’t think we had sufficient incentive to make sure that our languages are close to scientific models. It’s only with the onset of computation as a global phenomenon that modelling those interactions becomes so scientifically important that it is bound to have its effect on programming languages.”
— Milner (3 Sep 2003, In interview conducted by Martin Berger)
Categories
Tags