Linked by Eugenia Loli-Queru on Wed 14th Sep 2005 15:07 UTC, submitted by Michał Moskal
Thread beginning with comment 31084
To read all comments associated with this story, please click here.
To read all comments associated with this story, please click here.
Nope. Type declarations are a part of the language, and a good compiler will issue the requisite errors and warnings. SBCL/CMUCL is particularly good about this, and will do enough type inference to catch many type errors even without declarations. I don't usually bother to put type-declarations in my code, yet the only type errors (that I make, anyway), and that the compiler misses are polymorphism-related errors that wouldn't be caught 'till runtime in C# anyway.






Member since:
One such feature missing in Lisp is possibility of static type checks and type inference.