3 ms·
Your heart is in the right place, but you're stuck with a bad example still. C is hardly a good representative for an statically typed language. Read Luca Card
by mahmud 13y ago
Your heart is in the right place, but you're stuck with a bad example still.
C is hardly a good representative for an statically typed language. Read Luca Cardelli's "Typeful Programming"[1] to get an overview of what typed programming is all about, and see for yourself how brain-dead C and C++ are in comparison. After that go to Benjamin Pierce's canon, "Types and Programming Languages".
[1]http://www.daimi.au.dk/~madst/tool/papers/typeful.pdf http://www.daimi.au.dk/~madst/tool/papers/typeful.pdf
- nly 13y agoI don't think it's fair to call C++s type system 'brain-dead' when it was developed pragmatically to be largely source compatible with C. It introduced stronger array types, eliminated Cs automatic void* -> T* conversion and, most importantly, put higher-order functions and types on the table. It might be a warty syntactical abomination, but it can still hold its own against some of the languages of type extremism.
- marshray 13y agoSo what would you consider to be the "good representatives for an statically typed language"?
- mahmud 13y agoA language with a statically enforced type system? Anything in the ML family for starters, but more popularly, Java, C#, the Pascal family, etc.