mark

wow, as a Chinese myself, I agree on everything you said. Well put!

Thanks

moving too slow...

You must be joking!

Finally! without the additional type information, it's almost impossible to do any meaningful refactoring...

Not true...

Totally agreed, using dynamic languages, all became a guessing game, everyone is guessing, the IDE is guessing, the programmer is guessing what's inside this variable?

Strange. I'm just asking the Lisp system:

    CL-USER 1 > (class-of *standard-output*)
    #<STANDARD-CLASS EDITOR::RUBBER-STREAM 40E035A2E3>

Oh, the class of the value of

    *standard-output*

is EDITOR:RUBBER-STREAM... From there I can find the source, find the applicable methods, the slots, the super classes...

With declared types programmer is still guessing the meaning and IDE doesn't care anymore.

I think that's the reason dynamic languages work because guessing types is easy for people. Guessing meaning is the hard part.