Re: type safety

  Both you[Corky] and Matthias seem to want to throw 
  out static typing because it will never be complete.

Greg, with all due respect, that's plain silly and you know it. 

Our intention is to discern the role of "safe" vs "type" and to 
understand how we can improve programs, with type systems and 
other approaches. 

-- Matthias