From: gabriele renzi <surrender_it@...1.vip.ukl.yahoo.com>
Date: 2004-05-14T07:13:50+09:00
Subject: Re: [OT]Is Ruby Top 1 of Programming Languages that are Loved?

il 13 May 2004 07:50:24 -0700, ser@germane-software.com (Sean Russell)
ha scritto::

>This is exactly correct.  This is the sort of type checking that some
>languages, like Haskell, have.  Of course, in Haskell you can get much
>more strict, because Haskell doesn't have Objects, and functions are
>strongly typed. 


yet, ocaml is OO and can do type inference anyway. In the end we don't
really need to determine what an object is, we just want to check if
it implements something..
More than this, it is interesting the paper from latest Pycon about
starkiller, a python compiler that make use of type inference to run
python (somtimes) faster than equivalent C code.

> The best you can do in Ruby is guess at the
>duck-typing and ignore issues of self-modifying code.  In Ruby, type
>checking must be optional, and be considered a debugging tool rather
>than a language feature; 

It would be nice even if this was just some kind of tool. 
Say, ruby -rcheck/static myprog

But I'm way too stupid to really understand this kind of problems