Firstly, a very entertaining and engaging discussion. Nice work Charles!
Secondly, as someone who has done a fair bit of Smalltalk, C#, Java and F#, I and can contribute from my experience.
Smalltalk certainly has the cleanest syntax that I have seen. It is a pleasure to work in that language (unfortunately it was all but wiped out by Java). It think it is the most stress free language that I can think of.
Now I work mostly work in F# and I believe that I am better off than when I was working in either Smalltalk (or C# or Java).
F# (or OCaml) has strong *type inference* so most of the time it does not *feel* that you are working in a strongly typed language. If you make a change, the types automatically propagate through. If there is a type conflict, the error gets flagged and you can fix it.
While nothing is perfect, F# strikes a good balance between the extremes of Smalltalk and Haskell.