2 ms·
C and C++'s type systems aren't nearly as useful as they could be. Haskell's type system, for instance, makes nullable types non-default, and forces you to catc
by Rusky 16y ago
C and C++'s type systems aren't nearly as useful as they could be. Haskell's type system, for instance, makes nullable types non-default, and forces you to catch any nulls while still being easy to read- the Maybe monad.
This kind of thing - a complete absence of NullPointerExceptions and segfaults - is what's great about static type checking.
- spooneybarger 16y agoI agree that haskell's type system is far more useful than c/c++. No argument there. I don't find the type system from C# or Java to be anywhere near as useful as haskell's. That is part of the problem with the question... there are many different type systems out there that people would call 'static'.