Seeking clarification on apparent contradictions regarding weakly typed languages

by

UPDATE: This question was the subject of my blog on the 15th of October, 2012. Thanks for the great question!

What does it really mean for a language to be “weakly typed”?

It means “this language uses a type system that I find distasteful”. A “strongly typed” language by contrast is a language with a type system that I find pleasant.

The terms are essentially meaningless and you should avoid them. Wikipedia lists eleven different meanings for “strongly typed”, several of which are contradictory. This indicates that the odds of confusion being created are high in any conversation involving the term “strongly typed” or “weakly typed”.

All that you can really say with any certainty is that a “strongly typed” language under discussion has some additional restriction in the type system, either at runtime or compile time, that a “weakly typed” language under discussion lacks. What that restriction might be cannot be determined without further context.

Instead of using “strongly typed” and “weakly typed”, you should describe in detail what kind of type safety you mean. For example, C# is a statically typed language and a type safe language and a memory safe language, for the most part. C# allows all three of those forms of “strong” typing to be violated. The cast operator violates static typing; it says to the compiler “I know more about the runtime type of this expression than you do”. If the developer is wrong, then the runtime will throw an exception in order to protect type safety. If the developer wishes to break type safety or memory safety, they can do so by turning off the type safety system by making an “unsafe” block. In an unsafe block you can use pointer magic to treat an int as a float (violating type safety) or to write to memory you do not own. (Violating memory safety.)

C# imposes type restrictions that are checked at both compile-time and at runtime, thereby making it a “strongly typed” language compared to languages that do less compile-time checking or less runtime checking. C# also allows you to in special circumstances do an end-run around those restrictions, making it a “weakly typed” language compared with languages which do not allow you to do such an end-run.

Which is it really? It is impossible to say; it depends on the point of view of the speaker and their attitude towards the various language features.

More Related Contents:

  1. Is Python slower than Java/C#? [closed]
  2. Why is Multiple Inheritance not allowed in Java or C#?
  3. C++ performance vs. Java/C#
  4. Is shifting bits faster than multiplying and dividing in Java? .NET? [closed]
  5. Calling a C# library from python
  6. How would you code an efficient Circular Buffer in Java or C#?
  7. How to load a C# dll in python?
  8. Apostrophe (‘) in XPath query
  9. Making a private method public to unit test it…good idea?
  10. Where can I find a Java to C# converter? [closed]
  11. What are major differences between C# and Java?
  12. Why aren’t variables declared in “try” in scope in “catch” or “finally”?
  13. What are checked exceptions in Java/C#?
  14. Difference between namespace in C# and package in Java
  15. What’s the method representation in memory?
  16. Is there an equivalent to the Scanner class in C# for strings?
  17. How to read a .NET Guid into a Java UUID
  18. Standalone numbers Regex?
  19. How does creating a instance of class inside of the class itself works?
  20. Why should casting be avoided? [closed]
  21. Are Java and C# regular expressions compatible?
  22. DataTable equivalent in Java [duplicate]
  23. How to call Java code from C#?
  24. How to execute a Java program from C#?
  25. How to unset a specific bit in an integer
  26. Getters, setters, and properties best practices. Java vs. C#
  27. How to find a list of wireless networks (SSID’s) in Java, C#, and/or C?
  28. RSA read PublicKey
  29. How does Java’s use-site variance compare to C#’s declaration site variance?
  30. How to install Python for .NET on Windows

Leave a Comment