> If you used both untyped languages and typed languages extensively you will know that types are intrinsically better. It's not even a contest. Anyone who still debates this stuff just lacks experience.
Or have enough experience to have lived e.g. the J2EE and C++ template hells and see where this is going.
typing can get extreme to the point where it becomes proof based typing. So I know what you mean here. I've lived through it and done it.
In general types outweigh no types EVEN with the above.