From: Charles Mills <cmills@...>
Date: 2005-04-29T06:54:27+09:00
Subject: Re: ruby static typing


caleb clausen wrote:
> Some time ago, I wrote up some ideas I had for a comprehensive static
> typing system for ruby. I never quite finished it all, but I'd
appreciate
> it if people can look it over as it is. I'd like to clean it up and
put it
> in an RCR (or three).
>
> Looking back now, I see that everything is in there (tho the section
on
> polyparametric polymorphism could be expanded), except generic types
(aka
> templates) and the type conversion framework. I'll followup to this
thread
> with a short write-up on those when I can.
>
> Anyway, here it is. It's kind of long, so I didn't post it to the
> newsgroup, but just left it on wiki:
>
> http://www.rubygarden.org/ruby?FlexibleRubyTypes

Static typing is proposed very often on the mailing list and usually
doesn't get very far (for good reason IMHO).

Ruby does allow you to write statically typed code as is - via a C
extension.

-Charlie