This wonderful article has helped me help a great many people over the years and I'm glad he's rehosted it again after the original domain got snatched. There

This wonderful article has helped me help a great many people over the years and I'm glad he's rehosted it again after the original domain got snatched. There is only one thing I find missing — I think it would be prudent to avoid the use of "typed" or "typing" wherever possible. I much prefer to refer to properties being "typechecked" or systems using "typechecking" — it's otherwise quite easy it forget that the types are only manifest when and where they are observed.