From: "David A. Black" <dblack@...>
Date: 2005-04-29T07:05:59+09:00
Subject: Re: ruby static typing

Hi --

On Fri, 29 Apr 2005, 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

Please look at: http://www.rcrchive.net/rejected.html#rcr120.  The
title of the RCR is, "Should Ruby have static typing?"  Under "reason
for rejection", Matz wrote, "No, it should not."

The link also has other comments, as well as links to other
discussions (though there have been many more here on ruby-talk since
then).


David

-- 
David A. Black
dblack@wobblini.net