Chris Smith wrote: > > [...] static typing does ... doesn't imply any constraints on the kind > of behavioral property that's being checked; but only on the way that > the check occurs. Nice post. Marshall