From: gabriele renzi <rff_rff@...>
Date: 2005-01-10T01:06:24+09:00
Subject: Re: Type inference in ruby

Premshree Pillai ha scritto:
> On Sun, 9 Jan 2005 04:16:36 +0900, Eric Anderson <eric@afaik.us> wrote:
> 
>>Trevor Andrade wrote:
>>
>>>I was wondering whether it would be possible to have a type inference system
>>>in ruby.  My question was asked before
>>
>>I am sure it is possible to implement but I think most people end up
>>wondering why do it? If you want a typed system (strong or weak) there
>>are plenty of languages that support it natively. For me that is one of
> 
> 
> Your sentence seems ambiguous. What exactly do you mean by it? _All_
> languages are either strong typed or weak typed.
> 
> 
>>the reasons I left those other languages. For me a type system has too
> 
> 
> I think that's the same reason most people love dynamic languages like
> Python and Ruby. Both of them are also strong typed. I like that.
> However, a lot of people favor static typing. There has been
> discussion going around to implement optional static typing in Python.
> There's also pychecker (http://pychecker.sf.net/) for Python for
> syntax error checking and stuff that wouldn't have been caught by the
> interpreter itself. Wonder if there's something like this for Ruby.
> :-w

well, a guy did CheckR as its thesis, IIRC, but nothing has been 
published as far as I know.