> In fact, Milner has supposedly made the claim that "well typed programs cannot go wrong". Hmmm... That quote from Milner is from his 1978 paper "A Theory of

> In fact, Milner has supposedly made the claim that "well typed programs cannot go wrong". Hmmm... That quote from Milner is from his 1978 paper "A Theory of Type Polymorphism in Programming". The actual quote is about a technical property of some type systems called "preservation". In his paper, "wrong" is a value without a type that no program evaluates to. Milner's statement that well-typed programs don't go wrong is a technical statement, not the title of an editorial piece. Edit: here's a link to the paper: http://www.research.ed.ac.uk/portal/files/15143545/1_s2.0_0022000078900144_main.pdf http://www.research.ed.ac.uk/portal/files/15143545/1_s2.0_00...