From: Isaac Gouy Date: 2005-09-23T04:51:40+09:00 Subject: Re: Large Ruby Apps ? Austin Ziegler wrote: > On 9/22/05, Isaac Gouy wrote: > > Ara.T.Howard wrote: > > -snip- > > > line one is an error. > > > line two core dumps. > > > line three will hang your machine. > > > > Humbly suggest that C is not the poster child for static type checking > > :-) > > iirc C is not even considered to be type safe. > > Humbly suggest that the same applies to Java (java.lang.Object, > anyone?), C++, and even C#. The only type safe statically checked > language that I've used is Ada. > > C is statically checked and weakly typed. Ara's point remains the same > -- the compiler doesn't complain about these very *obvious* > programming errors. > > -austin > -- > Austin Ziegler * halostatue@gmail.com > * Alternate: austin@halostatue.ca I'm not interested in quarreling about the meaning of phrases, so I use textbook definitions - for "type safety" and "strong typing" see p271 "Programming Languages: Application and Interpretation" http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/ Java is considered type safe; C++ (because of the C subset) is not. Ara make's a good point about C, which doesn't generalize to other statically type checked languages.